kanren_kkr2016_1000