kante(1,0,0,cat:s,[],[cat:s,cat:s],[]). kante(2,0,0,cat:s,[],[cat:x],[]). kante(3,0,1,cat:x,[x],[],[]). kante(4,0,1,cat:s,[cat:x],[],[[2,3]]). kante(5,0,1,cat:s,[cat:s],[cat:s],[[1,4]]). kante(6,1,1,cat:s,[],[cat:s,cat:s],[]). kante(7,1,1,cat:s,[],[cat:x],[]). kante(8,1,2,cat:x,[x],[],[]). kante(9,1,2,cat:s,[cat:x],[],[[7,8]]). kante(10,0,2,cat:s,[cat:s,cat:s],[],[[5,9]]). kante(11,0,2,cat:s,[cat:s],[cat:s],[[1,10]]). kante(12,2,2,cat:s,[],[cat:s,cat:s],[]). kante(13,2,2,cat:s,[],[cat:x],[]). kante(14,1,2,cat:s,[cat:s],[cat:s],[[6,9]]). kante(15,2,3,cat:x,[x],[],[]). kante(16,2,3,cat:s,[cat:x],[],[[13,15]]). kante(18,0,3,cat:s,[cat:s],[cat:s],[[1,17]]). kante(19,3,3,cat:s,[],[cat:s,cat:s],[]). kante(20,3,3,cat:s,[],[cat:x],[]). kante(21,2,3,cat:s,[cat:s],[cat:s],[[12,16]]). kante(22,1,3,cat:s,[cat:s,cat:s],[],[[14,16]]). kante(17,0,3,cat:s,[cat:s,cat:s],[],[[11,16],[5,22]]). kante(23,1,3,cat:s,[cat:s],[cat:s],[[6,22]]).