assignment(4,14,1,[-1,-1,-1,-1,3,-1,-1,-1,-1,-1,-1,-1,-1,3,-1,-1]). assignment(4,14,2,[-1,-1,-1,-1,-1,-1,-1,-1,-1,2,-1,-1,0,-1,-1,-1]). assignment(4,14,3,[-1,-1,-1,2,-1,-1,-1,-1,-1,3,-1,-1,-1,-1,-1,-1]). assignment(4,14,4,[-1,-1,2,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,-1,-1,-1]). assignment(4,14,5,[-1,-1,-1,3,-1,-1,-1,-1,-1,-1,-1,-1,2,-1,-1,-1]). assignment(4,14,6,[-1,-1,-1,-1,3,-1,-1,-1,-1,3,-1,-1,-1,-1,-1,-1]). assignment(4,14,7,[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,2,-1,-1,-1,-1,3]). assignment(4,14,8,[-1,-1,-1,2,-1,-1,-1,-1,2,-1,-1,-1,-1,-1,-1,-1]). assignment(4,14,9,[-1,-1,0,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,-1,-1,-1]). assignment(4,14,10,[-1,-1,-1,-1,1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1]). assignment(4,14,11,[-1,-1,-1,-1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0]). assignment(4,14,12,[-1,-1,-1,-1,-1,-1,3,-1,-1,-1,-1,-1,-1,2,-1,-1]). assignment(4,14,13,[3,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,3,-1,-1,-1,-1]). assignment(4,14,14,[-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,-1,-1,0]). assignment(4,14,15,[-1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,3,-1,-1,-1]). assignment(4,14,16,[-1,3,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,-1]). assignment(4,14,17,[-1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1]). assignment(4,14,18,[-1,-1,-1,-1,-1,-1,-1,3,-1,-1,3,-1,-1,-1,-1,-1]). assignment(4,14,19,[3,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,3]). assignment(4,14,20,[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,-1,-1,-1]). assignment(4,14,21,[-1,-1,-1,2,-1,-1,-1,-1,-1,-1,-1,-1,2,-1,-1,-1]). assignment(4,14,22,[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,-1,0,-1,-1,-1]). assignment(4,14,23,[-1,2,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,3]). assignment(4,14,24,[-1,-1,-1,-1,-1,-1,1,-1,-1,-1,-1,-1,-1,0,-1,-1]). assignment(4,14,25,[-1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1]). assignment(8,40,1,[-1,-1,3,7,-1,-1,5,-1,4,-1,-1,5,-1,0,-1,-1,-1,7,-1,-1,-1,-1,-1,0,-1,-1,4,-1,7,3,-1,-1,-1,1,-1,4,3,2,-1,-1,3,-1,-1,-1,1,-1,-1,4,2,-1,-1,-1,-1,-1,0,1,-1,2,5,-1,-1,-1,4,-1]). assignment(8,40,2,[-1,1,-1,5,-1,4,-1,-1,-1,-1,-1,-1,-1,5,3,7,4,-1,1,-1,-1,6,-1,-1,5,-1,-1,0,6,-1,-1,-1,-1,6,2,-1,5,-1,-1,-1,-1,4,5,-1,-1,-1,-1,3,-1,-1,-1,2,-1,-1,4,6,6,-1,-1,-1,3,-1,1,-1]). assignment(8,40,3,[-1,-1,7,-1,-1,4,2,-1,1,-1,-1,4,-1,-1,-1,7,5,-1,4,-1,7,-1,-1,-1,-1,-1,-1,-1,2,7,1,-1,7,0,-1,-1,4,-1,-1,-1,-1,2,-1,-1,-1,5,-1,3,-1,6,3,0,-1,-1,-1,-1,-1,-1,6,-1,-1,-1,0,4]). assignment(8,40,4,[-1,-1,-1,6,-1,-1,2,7,-1,6,2,3,-1,-1,-1,-1,2,7,-1,-1,-1,3,-1,-1,-1,-1,1,-1,6,2,-1,-1,-1,2,-1,-1,-1,-1,3,5,-1,-1,5,-1,-1,-1,6,0,5,-1,-1,1,-1,6,-1,-1,1,-1,6,-1,3,-1,-1,-1]). assignment(8,40,5,[-1,3,0,-1,-1,-1,-1,7,3,0,-1,-1,5,7,-1,-1,-1,-1,2,0,-1,-1,7,-1,-1,-1,3,-1,-1,5,-1,4,-1,-1,-1,3,4,0,-1,-1,-1,-1,5,6,-1,-1,-1,-1,-1,6,-1,-1,2,-1,3,-1,4,-1,-1,-1,-1,-1,6,0]). assignment(8,40,6,[4,-1,-1,-1,-1,-1,3,5,-1,-1,4,-1,0,5,-1,-1,-1,-1,-1,0,-1,6,7,-1,-1,-1,3,-1,4,-1,-1,6,-1,4,-1,3,-1,-1,-1,1,-1,-1,-1,-1,6,2,4,-1,0,6,1,-1,-1,-1,-1,-1,1,7,-1,4,-1,-1,-1,-1]). assignment(8,40,7,[-1,0,-1,-1,-1,-1,-1,3,4,-1,-1,-1,-1,1,0,6,-1,-1,-1,-1,3,6,-1,0,-1,5,0,-1,7,-1,-1,-1,0,-1,-1,1,-1,5,-1,-1,7,-1,-1,0,-1,-1,4,-1,-1,-1,5,6,-1,-1,7,-1,-1,6,7,-1,4,-1,-1,-1]). assignment(8,40,8,[7,-1,-1,2,-1,4,-1,6,-1,-1,-1,-1,0,-1,-1,4,-1,5,-1,-1,4,-1,7,-1,-1,0,-1,4,-1,7,-1,-1,-1,6,1,-1,-1,-1,5,-1,2,-1,-1,-1,-1,6,-1,3,-1,-1,7,-1,1,-1,3,-1,1,-1,6,0,-1,-1,-1,-1]). assignment(8,40,9,[1,7,6,-1,-1,-1,-1,-1,2,-1,-1,0,-1,6,-1,-1,-1,-1,3,-1,7,0,-1,-1,-1,-1,-1,5,2,-1,-1,0,-1,0,-1,-1,-1,-1,7,6,-1,-1,-1,1,-1,-1,5,7,7,-1,2,-1,-1,-1,0,-1,-1,2,-1,-1,6,5,-1,-1]). assignment(8,40,10,[3,-1,-1,-1,-1,1,4,-1,-1,-1,-1,-1,6,-1,7,2,-1,0,-1,4,7,-1,-1,-1,-1,4,1,6,-1,-1,-1,-1,-1,7,0,5,-1,-1,-1,-1,7,-1,-1,-1,-1,5,-1,4,-1,-1,7,-1,3,4,-1,-1,2,-1,-1,-1,-1,-1,1,5]). assignment(8,40,11,[-1,-1,0,-1,4,3,-1,-1,-1,3,5,-1,-1,-1,-1,1,-1,-1,-1,5,-1,1,-1,6,4,5,-1,-1,-1,-1,1,-1,2,-1,-1,-1,7,5,3,-1,-1,-1,3,-1,-1,-1,-1,0,5,-1,-1,3,1,-1,-1,-1,-1,4,-1,7,-1,-1,6,-1]). assignment(8,40,12,[1,7,4,-1,6,-1,-1,-1,-1,2,5,-1,-1,-1,1,-1,6,-1,-1,-1,-1,3,-1,5,0,-1,-1,1,-1,-1,-1,-1,-1,3,-1,2,0,-1,-1,-1,-1,-1,1,-1,-1,-1,3,4,-1,-1,-1,-1,2,4,6,-1,-1,-1,-1,4,-1,5,-1,7]). assignment(8,40,13,[-1,-1,-1,1,-1,4,2,-1,-1,-1,-1,5,-1,-1,7,3,4,-1,5,-1,0,-1,-1,-1,0,4,6,-1,-1,-1,-1,-1,-1,7,-1,-1,3,0,-1,-1,-1,-1,2,-1,4,-1,-1,7,1,-1,-1,-1,-1,-1,3,0,-1,5,-1,2,-1,1,-1,-1]). assignment(8,40,14,[-1,-1,-1,3,5,-1,-1,0,-1,1,-1,-1,-1,6,-1,7,-1,3,-1,6,2,-1,-1,-1,-1,-1,1,-1,-1,4,2,-1,-1,-1,2,-1,-1,1,-1,6,1,-1,-1,5,0,-1,-1,-1,2,-1,3,-1,-1,-1,6,-1,0,5,-1,-1,-1,-1,3,-1]). assignment(8,40,15,[0,1,-1,-1,-1,-1,3,-1,-1,-1,-1,-1,4,3,-1,5,-1,-1,-1,-1,0,6,-1,2,-1,-1,6,-1,-1,-1,1,0,5,-1,-1,4,-1,1,-1,-1,6,4,-1,-1,1,-1,-1,-1,-1,-1,4,6,-1,-1,5,-1,-1,0,3,1,-1,-1,-1,-1]). assignment(8,40,16,[-1,2,0,-1,-1,-1,-1,3,0,-1,-1,-1,2,6,-1,-1,-1,-1,7,0,-1,-1,-1,6,-1,6,-1,-1,-1,4,2,-1,7,-1,-1,-1,6,-1,-1,4,-1,7,-1,-1,-1,1,5,-1,2,-1,-1,6,7,-1,-1,-1,-1,-1,6,3,-1,-1,7,-1]). assignment(8,40,17,[2,-1,5,1,-1,-1,-1,-1,-1,-1,-1,-1,2,5,-1,7,-1,-1,2,-1,-1,0,4,-1,-1,-1,4,-1,-1,-1,1,0,5,-1,6,7,-1,-1,-1,-1,-1,1,-1,0,-1,-1,-1,5,6,-1,-1,-1,5,-1,0,-1,-1,7,-1,-1,4,1,-1,-1]). assignment(8,40,18,[0,5,3,-1,-1,-1,-1,-1,-1,-1,-1,1,-1,6,4,-1,4,-1,5,-1,0,-1,-1,-1,-1,-1,-1,4,-1,2,-1,5,-1,-1,7,-1,2,0,-1,-1,-1,4,-1,0,-1,-1,7,-1,-1,-1,-1,-1,6,-1,3,0,5,6,-1,-1,-1,-1,-1,7]). assignment(8,40,19,[-1,-1,3,-1,2,-1,-1,6,-1,-1,2,3,-1,1,-1,-1,5,0,-1,-1,1,-1,-1,-1,-1,-1,5,7,-1,-1,-1,4,-1,-1,-1,-1,-1,3,6,1,7,-1,-1,0,-1,-1,5,-1,-1,2,-1,-1,-1,6,3,-1,3,7,-1,-1,4,-1,-1,-1]). assignment(8,40,20,[4,-1,-1,0,-1,-1,-1,2,-1,5,-1,-1,2,-1,4,-1,-1,-1,-1,-1,3,-1,5,6,6,-1,5,-1,1,-1,-1,-1,-1,-1,-1,3,-1,0,-1,7,5,-1,6,-1,-1,3,-1,-1,-1,2,7,-1,-1,-1,0,-1,-1,4,-1,7,-1,2,-1,-1]). assignment(8,40,21,[-1,7,-1,-1,1,-1,2,-1,-1,4,-1,-1,3,1,-1,-1,3,-1,-1,4,-1,-1,-1,7,-1,2,1,-1,-1,-1,3,-1,-1,-1,7,-1,-1,-1,1,6,2,-1,-1,-1,6,3,-1,-1,6,-1,-1,1,-1,-1,-1,3,-1,-1,2,3,-1,7,-1,-1]). assignment(8,40,22,[-1,0,-1,4,-1,7,-1,-1,-1,-1,6,-1,-1,-1,2,0,2,-1,-1,-1,7,-1,3,-1,7,-1,-1,2,-1,-1,-1,5,1,-1,7,-1,-1,-1,-1,2,-1,-1,-1,1,-1,5,7,-1,4,-1,-1,-1,0,1,-1,-1,-1,7,0,-1,3,-1,-1,-1]). assignment(8,40,23,[-1,-1,4,-1,-1,6,5,-1,0,-1,-1,4,-1,-1,6,-1,3,2,-1,-1,4,-1,-1,-1,-1,0,-1,-1,5,-1,-1,4,-1,-1,3,2,-1,0,-1,-1,7,-1,2,-1,-1,-1,-1,6,-1,1,-1,-1,-1,4,-1,3,4,-1,-1,7,-1,-1,2,-1]). assignment(8,40,24,[5,-1,-1,-1,3,4,-1,-1,-1,5,-1,3,-1,-1,-1,7,0,-1,-1,-1,-1,5,4,-1,-1,-1,-1,-1,7,-1,2,4,-1,-1,7,-1,6,-1,-1,5,-1,-1,0,-1,4,3,-1,-1,6,4,-1,-1,-1,-1,5,-1,-1,3,4,0,-1,-1,-1,-1]). assignment(8,40,25,[7,-1,5,-1,3,-1,-1,-1,-1,-1,-1,4,-1,3,0,-1,-1,-1,-1,7,-1,-1,4,0,6,-1,2,-1,4,-1,-1,-1,5,1,-1,-1,-1,7,-1,-1,-1,0,-1,-1,7,-1,-1,2,-1,-1,-1,-1,-1,6,7,4,-1,5,7,-1,-1,4,-1,-1]). assignment(12,75,1,[5,9,-1,-1,2,-1,-1,7,-1,4,-1,11,9,-1,-1,-1,0,-1,5,-1,11,10,-1,8,-1,-1,11,-1,3,-1,-1,2,-1,-1,6,5,7,8,4,10,-1,-1,-1,6,3,-1,-1,-1,-1,3,-1,9,-1,-1,-1,-1,-1,7,1,6,-1,-1,3,-1,-1,0,2,11,-1,-1,-1,7,8,7,-1,2,-1,9,-1,0,-1,-1,3,-1,-1,1,10,-1,7,-1,8,-1,-1,9,5,-1,3,-1,0,8,-1,7,-1,-1,1,-1,9,-1,-1,-1,9,0,5,8,-1,10,6,-1,-1,-1,-1,0,-1,-1,4,2,6,-1,10,1,-1,-1,10,-1,-1,11,-1,4,1,-1,-1,6,0,-1]). assignment(12,75,2,[-1,6,0,3,8,-1,-1,-1,9,-1,-1,2,-1,0,5,-1,9,1,-1,-1,6,11,-1,-1,1,2,-1,-1,-1,-1,4,5,-1,-1,9,11,9,-1,-1,4,-1,-1,2,-1,3,-1,-1,5,-1,1,-1,-1,4,8,-1,7,-1,5,10,-1,-1,9,10,-1,-1,-1,1,-1,-1,3,8,7,6,-1,3,9,5,4,-1,-1,-1,-1,7,-1,10,-1,-1,-1,2,7,8,3,-1,-1,-1,-1,11,-1,-1,-1,10,-1,-1,-1,8,4,3,1,-1,-1,-1,8,-1,6,9,0,5,-1,-1,3,-1,-1,1,2,-1,3,-1,-1,-1,10,6,-1,8,-1,2,5,-1,-1,0,6,1,-1,-1,-1]). assignment(12,75,3,[-1,-1,7,-1,5,6,-1,-1,0,1,2,-1,2,3,-1,-1,11,-1,10,-1,7,-1,-1,1,7,-1,0,6,2,-1,5,3,-1,-1,-1,-1,-1,-1,1,-1,9,-1,-1,6,-1,2,3,-1,-1,1,-1,4,-1,0,-1,8,10,5,-1,-1,-1,8,-1,1,6,4,-1,-1,9,-1,-1,7,10,-1,-1,8,-1,7,4,-1,-1,9,1,-1,5,9,-1,11,-1,-1,1,-1,6,-1,-1,8,-1,7,-1,3,-1,8,6,-1,-1,4,-1,0,3,-1,8,-1,-1,-1,-1,1,-1,0,7,5,-1,5,-1,-1,8,-1,3,7,-1,-1,-1,9,6,-1,2,-1,-1,5,-1,4,-1,-1,8,-1]). assignment(12,75,4,[8,-1,-1,2,0,11,10,-1,-1,1,-1,-1,-1,-1,1,-1,-1,-1,-1,5,-1,11,2,8,-1,-1,-1,8,10,-1,11,9,1,-1,-1,2,2,6,-1,-1,-1,9,1,-1,4,-1,11,-1,0,-1,2,4,6,10,-1,-1,5,-1,-1,-1,9,-1,-1,-1,-1,-1,7,1,-1,4,5,10,1,5,-1,7,-1,-1,2,-1,-1,-1,9,3,-1,8,11,-1,-1,7,-1,-1,3,9,-1,-1,-1,1,-1,-1,11,5,-1,2,-1,10,-1,-1,4,2,-1,6,1,-1,-1,11,10,-1,-1,-1,-1,-1,0,10,9,-1,-1,4,-1,7,-1,11,-1,10,9,-1,-1,-1,3,-1,7,-1,6,1]). assignment(12,75,5,[-1,0,7,-1,-1,11,1,4,-1,-1,6,-1,4,-1,-1,-1,9,10,2,-1,1,-1,-1,-1,-1,10,-1,4,-1,0,3,8,-1,6,-1,-1,10,1,9,-1,-1,-1,-1,-1,5,2,7,-1,0,-1,-1,3,8,6,-1,-1,-1,7,-1,5,2,-1,-1,6,-1,-1,-1,7,4,-1,8,-1,-1,6,10,-1,-1,-1,-1,-1,11,5,-1,0,-1,-1,6,-1,3,-1,10,5,-1,1,-1,9,-1,9,-1,5,2,7,-1,10,0,-1,-1,-1,11,-1,0,-1,-1,-1,5,-1,7,-1,2,4,-1,-1,4,0,10,5,-1,-1,-1,11,-1,1,6,2,-1,-1,0,-1,-1,1,-1,-1,5,7]). assignment(12,75,6,[9,-1,3,-1,7,5,-1,-1,-1,0,-1,10,-1,0,-1,6,-1,-1,3,8,9,-1,-1,-1,8,-1,-1,4,3,-1,7,-1,10,6,-1,-1,-1,-1,6,3,8,10,0,-1,-1,-1,1,-1,0,-1,-1,-1,11,-1,-1,-1,4,5,7,-1,5,-1,7,-1,-1,0,-1,-1,8,3,-1,1,7,5,-1,0,-1,-1,-1,2,-1,-1,10,-1,-1,6,11,10,-1,3,-1,-1,-1,-1,9,4,-1,1,-1,-1,-1,-1,9,0,-1,8,11,7,2,10,0,-1,-1,-1,-1,3,-1,-1,4,6,-1,-1,5,-1,-1,2,4,9,1,10,-1,-1,-1,3,-1,8,9,-1,5,6,11,-1,-1,-1]). assignment(12,75,7,[3,5,-1,-1,-1,0,-1,10,-1,7,-1,4,-1,7,-1,10,-1,8,1,-1,11,-1,5,-1,6,-1,1,8,-1,-1,-1,-1,-1,-1,7,9,-1,10,4,-1,2,-1,-1,-1,-1,1,6,0,2,-1,7,-1,11,1,-1,6,-1,-1,-1,10,9,2,-1,-1,6,-1,-1,0,-1,3,-1,11,7,-1,-1,-1,8,10,3,4,2,-1,-1,-1,10,9,11,-1,-1,-1,0,-1,-1,-1,8,-1,-1,-1,2,0,-1,7,8,-1,6,-1,9,-1,-1,-1,5,-1,-1,-1,10,3,9,8,-1,7,-1,1,-1,9,-1,2,-1,-1,10,11,4,-1,-1,-1,-1,2,9,-1,7,8,1,-1,-1,-1]). assignment(12,75,8,[-1,-1,11,-1,-1,-1,3,-1,-1,10,0,2,4,5,-1,-1,-1,-1,-1,6,3,-1,8,11,7,6,-1,-1,11,4,-1,-1,-1,1,3,-1,3,-1,7,6,-1,2,-1,-1,-1,-1,-1,10,-1,11,-1,8,0,5,-1,3,-1,6,-1,-1,-1,4,-1,-1,7,-1,8,10,0,2,-1,-1,-1,3,9,0,8,-1,6,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,3,-1,-1,6,11,7,8,9,-1,8,-1,3,10,7,-1,-1,-1,5,-1,-1,-1,0,2,-1,6,9,7,-1,-1,-1,5,-1,0,-1,7,-1,-1,-1,-1,2,9,6,3,10,-1,6,-1,2,-1,4,8,11,-1,-1,-1]). assignment(12,75,9,[-1,8,7,-1,4,-1,-1,-1,0,10,-1,6,-1,11,-1,9,-1,6,4,-1,-1,-1,-1,2,2,-1,5,-1,1,-1,8,6,-1,11,-1,-1,3,-1,2,7,-1,10,5,-1,6,-1,-1,-1,5,-1,-1,-1,-1,-1,-1,11,9,0,3,7,-1,6,9,-1,-1,7,-1,10,11,-1,1,-1,-1,-1,-1,0,-1,9,10,7,-1,4,-1,1,-1,10,-1,-1,0,5,-1,-1,4,-1,7,-1,7,9,0,6,-1,-1,-1,-1,-1,-1,11,3,-1,-1,-1,-1,5,-1,-1,8,2,-1,6,11,8,7,-1,-1,3,-1,0,2,-1,-1,9,-1,6,-1,-1,3,9,11,7,-1,-1,2,-1,-1]). assignment(12,75,10,[5,-1,6,-1,7,-1,1,-1,-1,8,-1,-1,-1,-1,10,-1,9,2,8,-1,4,-1,-1,-1,2,5,0,-1,-1,-1,-1,1,-1,4,-1,9,9,11,7,-1,-1,-1,-1,-1,-1,-1,6,4,0,8,-1,7,-1,9,-1,-1,-1,5,-1,1,-1,6,-1,-1,3,-1,9,11,7,-1,-1,5,-1,-1,5,8,-1,-1,7,0,10,-1,4,-1,8,4,-1,-1,11,-1,-1,10,-1,3,-1,0,-1,-1,-1,6,1,5,11,-1,3,-1,0,-1,6,9,-1,5,-1,10,-1,4,-1,-1,1,-1,-1,-1,8,-1,4,1,-1,9,5,-1,3,-1,-1,-1,-1,2,-1,-1,0,-1,1,6,9,11]). assignment(12,75,11,[3,9,10,8,-1,-1,-1,6,5,-1,-1,-1,-1,-1,-1,10,9,4,11,-1,-1,-1,6,3,5,1,8,-1,-1,9,-1,11,-1,-1,-1,0,10,8,-1,11,-1,-1,3,-1,0,-1,-1,4,-1,-1,4,5,-1,-1,10,3,1,-1,9,-1,-1,-1,0,-1,5,1,-1,8,-1,3,10,-1,1,-1,-1,-1,7,-1,9,4,-1,0,-1,-1,-1,6,-1,1,-1,-1,-1,-1,11,10,8,5,4,-1,-1,-1,-1,8,5,-1,-1,6,3,9,-1,2,9,-1,-1,-1,8,-1,-1,-1,5,10,-1,10,11,-1,0,3,-1,2,-1,5,-1,-1,9,-1,-1,-1,11,10,-1,-1,4,8,-1,-1]). assignment(12,75,12,[9,10,-1,-1,-1,7,-1,3,2,-1,1,-1,0,-1,6,8,11,-1,-1,7,-1,2,-1,-1,8,-1,2,3,9,-1,-1,-1,-1,11,-1,0,2,-1,-1,-1,-1,10,4,-1,9,-1,6,-1,-1,-1,10,9,6,-1,8,-1,11,-1,-1,-1,4,11,-1,5,-1,2,-1,8,6,-1,-1,-1,-1,8,3,4,-1,-1,0,-1,-1,-1,7,11,-1,6,-1,-1,4,-1,-1,5,-1,9,2,7,-1,4,-1,2,5,-1,11,-1,-1,3,9,-1,-1,-1,9,-1,-1,11,-1,4,-1,-1,10,5,-1,-1,11,-1,-1,5,6,9,3,10,-1,-1,-1,9,-1,-1,-1,3,2,-1,0,4,-1,6]). assignment(12,75,13,[1,11,-1,-1,-1,-1,-1,3,-1,7,9,10,3,10,-1,5,-1,-1,-1,8,-1,4,-1,-1,7,-1,1,-1,-1,-1,8,-1,0,-1,6,4,-1,6,-1,7,11,-1,3,1,-1,-1,2,-1,-1,4,-1,1,0,3,7,-1,-1,-1,-1,-1,5,-1,3,8,-1,-1,-1,-1,11,6,-1,9,-1,-1,2,6,5,8,-1,-1,4,-1,11,-1,-1,-1,-1,-1,1,5,-1,7,-1,0,-1,6,11,7,-1,-1,8,0,-1,6,-1,-1,-1,2,-1,8,6,-1,-1,-1,10,-1,2,-1,7,3,6,-1,7,10,-1,-1,5,-1,1,11,-1,-1,-1,-1,5,-1,10,4,6,-1,7,3,-1,-1]). assignment(12,75,14,[-1,-1,0,-1,-1,3,8,-1,-1,10,2,9,-1,6,-1,3,10,5,-1,4,-1,-1,1,-1,5,0,-1,-1,9,-1,-1,2,11,1,-1,-1,-1,4,-1,-1,-1,-1,-1,7,9,5,0,3,6,5,4,-1,-1,0,-1,-1,-1,-1,7,8,0,-1,3,-1,5,-1,10,8,6,-1,-1,-1,1,-1,5,11,-1,-1,-1,-1,-1,-1,4,10,3,-1,9,0,-1,1,-1,-1,-1,-1,-1,7,-1,-1,-1,2,8,11,-1,9,1,-1,-1,0,-1,1,2,6,-1,-1,0,-1,10,9,-1,-1,8,3,-1,-1,0,9,11,-1,-1,2,-1,-1,-1,-1,-1,-1,6,-1,1,0,-1,3,9,-1]). assignment(12,75,15,[5,2,-1,-1,-1,-1,4,8,-1,9,7,-1,-1,-1,-1,2,-1,5,11,-1,10,-1,1,0,-1,6,-1,-1,11,2,-1,7,8,-1,3,-1,-1,-1,2,8,-1,4,1,11,7,-1,-1,-1,7,-1,-1,-1,8,11,-1,-1,9,-1,-1,5,8,10,3,-1,5,-1,-1,0,-1,7,-1,-1,-1,7,10,-1,-1,8,0,-1,-1,1,-1,2,-1,-1,-1,5,-1,-1,8,2,4,11,9,-1,0,-1,1,-1,2,-1,-1,5,-1,8,-1,-1,11,-1,0,9,-1,-1,-1,-1,-1,2,-1,7,9,11,-1,7,1,-1,-1,-1,-1,-1,2,8,-1,-1,5,10,-1,1,7,-1,0,-1,-1,11]). assignment(12,75,16,[-1,5,2,7,3,-1,-1,-1,10,9,-1,-1,5,-1,-1,-1,11,8,-1,-1,-1,6,-1,0,-1,-1,-1,-1,6,0,5,-1,-1,11,1,9,-1,6,-1,-1,0,1,-1,4,7,-1,-1,10,-1,8,4,5,-1,-1,-1,10,-1,-1,9,-1,-1,9,7,-1,-1,-1,11,3,4,-1,-1,-1,2,-1,-1,8,-1,3,9,-1,-1,4,0,-1,4,-1,-1,-1,10,-1,3,7,8,0,-1,-1,3,-1,11,6,-1,-1,-1,-1,-1,10,4,1,-1,3,1,0,9,-1,10,-1,-1,-1,2,-1,1,-1,-1,3,-1,6,-1,-1,9,-1,10,2,-1,4,0,-1,-1,-1,6,11,1,-1,-1,7]). assignment(12,75,17,[11,7,-1,6,10,-1,0,1,-1,-1,-1,-1,10,-1,2,7,-1,5,9,-1,0,-1,-1,-1,8,-1,-1,-1,6,7,-1,9,-1,11,-1,-1,-1,-1,8,9,5,-1,4,-1,1,2,-1,-1,-1,8,-1,-1,0,11,-1,6,2,7,-1,-1,-1,9,-1,-1,8,-1,3,-1,-1,4,0,6,-1,4,-1,8,-1,1,-1,11,-1,-1,-1,5,9,2,11,-1,-1,-1,-1,10,6,-1,-1,7,-1,-1,7,1,-1,-1,-1,-1,4,-1,11,10,-1,-1,-1,0,3,2,11,-1,-1,10,1,-1,3,0,-1,-1,-1,-1,-1,2,8,-1,5,1,2,-1,5,-1,-1,4,-1,-1,-1,8,6,0]). assignment(12,75,18,[-1,2,10,-1,-1,-1,-1,-1,3,0,9,4,2,8,-1,-1,9,5,-1,-1,-1,-1,-1,3,8,-1,6,5,-1,-1,-1,1,7,-1,4,-1,7,-1,-1,2,6,10,11,-1,-1,-1,1,-1,-1,7,0,4,-1,8,-1,3,2,-1,-1,-1,-1,3,-1,-1,1,0,-1,-1,10,-1,-1,8,3,-1,-1,-1,0,-1,-1,10,-1,8,2,5,-1,-1,5,10,-1,4,3,6,-1,-1,-1,7,-1,-1,2,0,8,-1,7,-1,-1,-1,-1,6,-1,-1,8,3,-1,-1,4,-1,6,7,0,-1,5,-1,-1,-1,3,-1,2,-1,0,10,8,-1,0,9,-1,-1,-1,3,8,7,-1,2,-1,-1]). assignment(12,75,19,[10,-1,4,-1,-1,-1,-1,5,1,-1,-1,9,-1,4,-1,9,-1,-1,-1,7,8,2,0,-1,-1,8,-1,6,-1,9,-1,-1,-1,-1,3,5,-1,-1,-1,-1,7,8,2,-1,4,5,6,-1,2,-1,11,8,-1,-1,6,-1,-1,7,-1,-1,-1,-1,0,3,-1,7,-1,6,9,-1,-1,11,-1,-1,-1,5,4,11,-1,8,-1,10,9,-1,6,-1,8,2,-1,-1,-1,-1,-1,9,5,1,-1,5,3,-1,8,-1,9,11,-1,1,-1,-1,11,9,-1,-1,-1,1,3,4,-1,-1,-1,8,3,7,-1,-1,0,-1,8,-1,5,-1,11,-1,4,6,-1,-1,9,2,10,-1,-1,-1,-1,7]). assignment(12,75,20,[1,-1,10,0,11,-1,3,-1,-1,-1,8,-1,11,9,-1,-1,-1,2,0,6,-1,-1,10,-1,-1,-1,-1,8,1,-1,-1,-1,3,5,6,9,-1,0,-1,-1,-1,6,-1,3,4,8,-1,-1,-1,2,-1,10,-1,-1,-1,0,-1,4,-1,3,8,6,-1,5,-1,-1,9,2,10,-1,-1,-1,-1,-1,11,7,-1,-1,-1,8,2,-1,3,0,0,10,-1,-1,4,-1,6,-1,-1,-1,9,5,-1,-1,4,-1,10,0,-1,-1,-1,9,7,8,5,-1,6,-1,-1,3,8,-1,11,0,-1,-1,3,-1,-1,-1,2,-1,4,10,-1,11,-1,-1,-1,5,2,6,3,1,-1,-1,8,-1,-1,-1]). assignment(12,75,21,[8,3,-1,-1,9,-1,-1,-1,-1,2,1,4,7,-1,-1,-1,10,0,-1,4,-1,-1,2,3,-1,7,-1,9,-1,11,-1,5,0,-1,8,-1,-1,1,-1,7,-1,3,-1,10,8,-1,-1,-1,-1,8,7,-1,-1,-1,1,-1,-1,9,10,0,9,-1,8,11,-1,-1,-1,7,-1,1,0,-1,11,0,5,-1,-1,-1,4,-1,10,-1,-1,-1,10,-1,1,-1,-1,2,-1,6,-1,3,-1,8,-1,-1,-1,-1,7,9,8,-1,4,-1,3,-1,4,-1,3,8,6,10,-1,-1,-1,7,-1,-1,-1,5,-1,4,8,-1,10,9,1,-1,-1,-1,-1,-1,-1,10,1,-1,3,-1,7,5,-1,9]). assignment(12,75,22,[-1,3,-1,9,-1,-1,6,2,8,-1,10,-1,-1,6,-1,7,-1,-1,2,-1,0,-1,11,5,-1,-1,5,-1,-1,3,9,-1,-1,10,8,2,10,-1,-1,6,-1,11,0,-1,2,-1,7,-1,1,-1,-1,2,11,-1,-1,3,-1,5,-1,-1,-1,11,6,8,-1,-1,-1,5,-1,-1,0,10,6,-1,-1,5,7,4,-1,11,-1,2,-1,-1,-1,-1,4,-1,3,-1,-1,8,5,-1,-1,9,5,4,-1,-1,-1,-1,-1,0,10,11,-1,-1,2,8,1,-1,10,-1,-1,-1,-1,0,9,-1,-1,-1,10,-1,-1,9,5,-1,4,6,-1,11,9,-1,2,-1,6,8,4,-1,-1,-1,-1,3]). assignment(12,75,23,[2,-1,10,-1,-1,-1,3,4,-1,-1,-1,6,-1,-1,-1,2,9,-1,4,3,7,-1,10,-1,-1,8,6,-1,-1,10,7,1,0,-1,-1,-1,-1,5,-1,-1,6,3,-1,-1,10,1,-1,7,-1,4,-1,-1,-1,7,9,11,-1,-1,1,2,-1,6,0,8,-1,-1,10,-1,-1,3,7,-1,-1,3,-1,1,11,-1,6,-1,-1,9,-1,-1,9,-1,11,7,8,-1,-1,5,-1,-1,-1,-1,-1,-1,2,4,0,-1,-1,-1,-1,7,5,11,8,-1,-1,-1,-1,9,-1,7,1,11,-1,3,3,-1,-1,-1,4,8,-1,-1,5,0,11,-1,11,-1,8,3,-1,6,-1,-1,9,-1,-1,5]). assignment(12,75,24,[11,5,6,-1,-1,2,-1,-1,10,1,-1,-1,-1,0,-1,9,-1,-1,-1,7,-1,10,11,-1,-1,-1,-1,5,-1,0,11,10,8,-1,2,-1,1,8,7,-1,-1,10,-1,11,9,-1,-1,-1,-1,10,-1,6,-1,-1,9,2,-1,4,-1,-1,4,-1,9,-1,10,-1,-1,-1,0,-1,5,2,-1,2,-1,1,6,11,0,8,-1,-1,-1,-1,-1,-1,-1,0,3,-1,6,-1,-1,-1,8,4,8,-1,2,-1,-1,-1,3,-1,4,6,-1,11,-1,-1,-1,-1,4,3,10,-1,-1,2,7,5,7,6,8,2,-1,5,-1,-1,-1,-1,-1,10,9,-1,-1,-1,8,-1,-1,0,5,-1,10,6]). assignment(12,75,25,[7,2,1,-1,-1,-1,-1,-1,-1,-1,4,0,8,5,-1,0,-1,-1,6,-1,-1,4,3,-1,5,-1,-1,-1,-1,3,0,9,-1,-1,10,6,0,10,4,-1,-1,-1,-1,-1,6,11,-1,-1,-1,-1,-1,-1,7,11,8,3,2,-1,0,-1,-1,0,8,3,11,-1,-1,6,-1,-1,-1,2,9,-1,5,1,6,-1,-1,10,-1,-1,-1,11,-1,-1,-1,4,0,8,-1,-1,10,-1,1,9,-1,-1,0,-1,5,-1,1,4,-1,-1,11,-1,-1,7,9,6,-1,-1,-1,-1,0,1,-1,4,-1,9,-1,-1,-1,0,3,2,1,10,-1,-1,2,-1,-1,11,8,7,-1,-1,5,3,-1,-1]). assignment(16,118,1,[-1,4,0,-1,5,6,-1,2,-1,-1,-1,-1,-1,9,14,3,14,-1,-1,-1,4,3,8,1,9,-1,12,15,-1,-1,-1,6,-1,7,9,13,-1,2,14,3,0,-1,4,-1,-1,1,-1,-1,12,8,-1,9,-1,4,2,-1,-1,11,-1,3,-1,6,0,-1,-1,15,6,-1,7,13,-1,-1,-1,-1,-1,5,9,14,-1,0,9,14,7,11,-1,-1,15,-1,10,0,-1,2,-1,-1,4,-1,-1,-1,-1,2,8,-1,5,13,-1,6,9,-1,14,11,10,-1,-1,-1,4,14,-1,5,-1,-1,1,-1,2,-1,15,-1,11,10,11,0,2,-1,-1,1,13,-1,-1,5,-1,-1,10,-1,9,4,10,-1,-1,1,6,8,-1,-1,12,9,-1,0,4,13,-1,-1,3,-1,12,-1,15,-1,0,9,7,10,-1,-1,-1,-1,2,8,13,-1,-1,5,1,-1,-1,-1,-1,-1,10,-1,0,12,3,2,-1,10,-1,-1,-1,15,9,11,-1,-1,3,14,-1,-1,12,5,2,-1,8,-1,0,-1,-1,14,5,12,-1,13,6,-1,-1,11,0,1,-1,-1,9,-1,-1,-1,3,2,6,4,13,-1,-1,-1,-1,5,15,4,-1,-1,-1,7,13,-1,0,12,3,2,-1,-1]). assignment(16,118,2,[15,-1,14,-1,8,2,-1,13,10,7,-1,5,-1,-1,-1,3,-1,9,6,8,-1,0,13,4,-1,3,-1,12,-1,-1,11,-1,1,13,-1,-1,-1,-1,-1,5,-1,10,14,11,12,3,-1,-1,-1,-1,-1,-1,10,3,2,11,5,1,-1,-1,7,8,13,-1,14,4,12,7,0,-1,-1,-1,-1,11,-1,9,-1,-1,15,-1,-1,15,5,3,-1,-1,7,8,-1,-1,4,2,-1,1,-1,12,-1,7,-1,-1,-1,15,10,-1,4,-1,1,8,-1,0,5,-1,13,-1,-1,5,7,11,-1,-1,14,12,15,-1,-1,-1,10,9,-1,0,-1,11,-1,1,15,-1,12,-1,2,-1,-1,7,-1,6,-1,-1,7,15,11,-1,-1,14,0,-1,-1,-1,2,6,1,10,0,-1,-1,2,-1,12,14,7,11,-1,8,-1,13,-1,4,-1,2,11,-1,-1,13,-1,-1,15,3,-1,-1,-1,1,12,-1,7,-1,-1,2,10,1,6,0,-1,-1,-1,9,-1,4,5,7,-1,11,6,-1,-1,-1,-1,12,-1,-1,0,3,7,-1,15,8,-1,8,-1,9,-1,12,14,-1,-1,1,5,-1,10,15,-1,-1,2,3,1,0,-1,15,-1,5,9,-1,-1,11,-1,14,-1,-1,4]). assignment(16,118,3,[-1,-1,3,2,-1,-1,4,15,-1,-1,7,-1,10,6,5,1,12,-1,-1,-1,13,2,-1,3,4,5,-1,8,6,-1,1,-1,0,6,7,-1,-1,-1,1,10,15,-1,-1,5,-1,-1,8,11,-1,5,6,-1,12,10,13,8,-1,-1,1,11,-1,2,-1,-1,6,7,13,8,1,-1,10,-1,-1,-1,5,9,-1,-1,-1,-1,10,-1,9,1,-1,13,-1,-1,6,-1,2,-1,7,-1,12,15,-1,9,-1,-1,-1,0,3,-1,11,-1,4,12,5,-1,-1,6,-1,2,12,5,-1,-1,11,-1,10,6,-1,-1,1,0,13,-1,-1,-1,10,4,7,-1,6,-1,-1,11,15,-1,-1,12,-1,14,11,-1,-1,3,15,-1,-1,9,7,-1,-1,6,-1,10,14,-1,1,3,0,12,2,15,-1,-1,13,-1,11,-1,-1,-1,-1,4,-1,11,-1,-1,-1,1,12,2,-1,14,-1,-1,4,-1,9,5,9,-1,11,-1,-1,6,-1,5,14,1,-1,-1,12,15,10,-1,15,14,-1,-1,5,7,-1,-1,-1,3,10,4,-1,11,-1,0,-1,10,-1,15,11,-1,-1,13,-1,8,12,1,14,7,-1,-1,-1,-1,-1,-1,10,14,15,-1,1,2,-1,7,-1,3,0,-1]). assignment(16,118,4,[-1,8,14,0,-1,-1,-1,2,-1,5,11,-1,-1,-1,6,12,-1,-1,0,-1,12,8,-1,5,11,6,13,7,-1,2,-1,-1,-1,-1,4,5,2,7,-1,1,-1,-1,-1,0,6,-1,-1,3,-1,7,15,-1,-1,3,-1,0,-1,-1,6,-1,14,12,2,4,4,10,-1,3,5,0,1,-1,8,-1,-1,14,-1,-1,11,-1,12,11,-1,-1,-1,-1,-1,3,4,-1,10,5,7,8,-1,15,5,-1,7,11,-1,2,9,-1,14,-1,1,-1,-1,4,0,-1,14,-1,8,1,-1,-1,4,-1,-1,10,-1,2,15,-1,3,11,-1,-1,13,-1,0,-1,12,-1,2,-1,-1,-1,9,1,7,5,-1,-1,1,-1,-1,5,0,-1,-1,8,3,15,-1,13,-1,10,2,-1,6,7,8,12,11,15,-1,-1,-1,9,5,-1,-1,-1,6,2,-1,-1,-1,-1,14,11,9,4,0,-1,12,-1,8,-1,-1,13,-1,12,14,4,-1,-1,15,7,-1,6,-1,-1,-1,8,9,15,-1,-1,7,-1,3,-1,13,2,-1,-1,-1,6,10,1,13,-1,-1,-1,10,6,-1,-1,-1,-1,15,8,4,5,12,-1,0,4,-1,6,3,-1,8,12,-1,13,-1,-1,1,14,-1,-1]). assignment(16,118,5,[-1,-1,0,3,9,2,6,5,-1,15,-1,8,-1,10,-1,-1,11,1,4,-1,6,-1,5,14,-1,-1,-1,-1,9,12,-1,3,8,-1,-1,1,7,3,-1,-1,-1,9,15,14,13,-1,-1,-1,3,12,-1,14,15,-1,-1,-1,8,0,5,-1,10,-1,-1,-1,9,5,-1,10,-1,-1,8,13,-1,-1,12,6,-1,-1,4,-1,-1,6,13,15,-1,-1,-1,12,-1,-1,7,-1,11,4,1,8,15,8,-1,-1,-1,0,1,4,5,3,-1,-1,12,-1,-1,-1,-1,15,-1,6,11,4,-1,-1,0,12,10,-1,-1,-1,-1,9,2,-1,10,-1,12,-1,3,11,-1,-1,-1,4,5,-1,7,-1,10,-1,-1,-1,1,15,-1,0,4,7,-1,-1,-1,14,2,6,5,-1,-1,-1,3,11,-1,6,-1,-1,2,12,4,8,10,-1,-1,10,8,-1,-1,1,-1,-1,15,13,-1,2,14,-1,3,7,7,-1,9,4,13,-1,0,-1,6,-1,3,1,-1,-1,-1,10,-1,-1,12,11,-1,-1,15,-1,9,-1,8,10,-1,2,13,1,-1,4,14,-1,-1,-1,-1,-1,12,10,1,9,-1,13,11,5,-1,11,-1,9,-1,5,13,-1,10,4,-1,-1,6,7,12,-1]). assignment(16,118,6,[12,-1,-1,10,14,-1,-1,-1,-1,0,9,3,13,-1,1,5,-1,-1,7,11,-1,2,-1,10,12,-1,8,-1,4,5,14,-1,13,14,9,-1,7,-1,-1,-1,4,-1,10,15,11,-1,-1,-1,8,-1,3,12,6,-1,1,-1,-1,10,-1,-1,-1,13,7,4,-1,12,-1,-1,1,10,-1,8,-1,-1,13,11,-1,7,-1,3,0,-1,-1,14,12,9,-1,13,5,15,-1,2,-1,10,-1,-1,-1,-1,13,-1,-1,11,14,-1,-1,1,-1,12,10,4,15,0,5,-1,-1,-1,-1,7,9,15,-1,12,3,14,2,8,-1,-1,-1,10,2,15,11,-1,4,12,0,-1,-1,-1,-1,3,9,-1,-1,6,-1,-1,-1,3,-1,-1,11,4,7,-1,8,0,-1,10,15,9,4,-1,8,-1,12,14,10,-1,2,-1,-1,-1,-1,-1,2,7,-1,6,-1,-1,5,1,9,3,-1,-1,12,-1,-1,14,11,-1,-1,-1,5,1,8,-1,6,-1,-1,4,-1,-1,10,9,-1,4,14,-1,-1,5,-1,-1,15,6,12,10,-1,-1,3,2,-1,3,5,1,-1,12,2,0,-1,14,4,-1,-1,9,-1,-1,9,-1,-1,4,0,-1,10,-1,-1,-1,-1,8,1,-1,5,12]). assignment(16,118,7,[10,5,7,15,4,-1,6,-1,-1,13,-1,1,-1,14,-1,-1,-1,-1,15,-1,-1,4,-1,7,10,-1,1,14,-1,3,5,9,-1,-1,-1,12,14,-1,0,4,-1,-1,6,11,1,-1,-1,13,8,1,-1,0,-1,-1,-1,5,7,-1,15,10,-1,-1,11,-1,12,-1,14,2,-1,9,1,-1,-1,3,-1,-1,-1,-1,13,6,5,-1,-1,9,15,-1,-1,8,6,-1,11,12,13,-1,-1,-1,-1,4,-1,-1,2,1,15,9,-1,-1,12,-1,3,-1,14,0,-1,0,9,11,8,10,12,-1,13,4,-1,-1,-1,-1,2,-1,4,-1,-1,3,10,-1,-1,-1,1,8,-1,13,-1,11,9,7,-1,-1,4,-1,-1,-1,10,15,-1,5,2,0,6,1,-1,11,-1,12,-1,-1,-1,13,9,3,4,11,-1,15,-1,-1,1,-1,-1,2,12,-1,-1,5,-1,11,-1,14,13,-1,10,6,15,-1,2,11,5,1,-1,-1,-1,-1,14,9,-1,-1,7,12,-1,10,-1,14,0,-1,12,3,-1,-1,5,-1,4,6,8,9,-1,-1,3,-1,-1,10,-1,-1,5,14,9,-1,-1,-1,12,-1,0,4,15,-1,3,-1,13,2,11,-1,-1,6,-1,-1,14,0,-1,8]). assignment(16,118,8,[-1,5,-1,2,0,8,-1,15,9,-1,1,-1,7,-1,-1,-1,-1,-1,-1,15,14,3,-1,2,0,-1,6,-1,-1,-1,5,8,0,-1,12,-1,1,-1,10,7,-1,14,-1,6,-1,15,-1,3,9,0,-1,-1,-1,5,3,-1,14,-1,-1,-1,6,1,10,7,-1,-1,15,-1,4,-1,13,14,-1,-1,-1,3,0,10,2,-1,15,-1,14,6,-1,11,-1,-1,-1,3,10,5,-1,-1,13,9,-1,-1,8,-1,-1,-1,0,3,5,1,4,9,-1,-1,-1,14,5,6,-1,8,-1,-1,2,10,-1,15,-1,0,-1,-1,-1,4,2,10,-1,3,-1,4,15,-1,-1,5,14,11,13,-1,-1,-1,8,7,2,4,3,-1,-1,-1,-1,-1,-1,1,10,13,9,-1,7,-1,6,-1,11,0,8,-1,15,-1,-1,13,9,-1,12,-1,-1,-1,-1,-1,-1,10,-1,5,8,9,0,4,2,6,-1,-1,-1,15,-1,-1,-1,-1,12,-1,3,7,2,-1,4,14,0,1,-1,3,-1,7,-1,12,-1,-1,13,0,8,-1,-1,4,6,2,4,-1,7,0,10,6,-1,9,-1,-1,13,-1,8,3,-1,-1,-1,8,0,13,2,-1,4,-1,10,6,-1,-1,-1,7,1,-1]). assignment(16,118,9,[15,11,-1,3,10,4,7,8,-1,12,-1,-1,6,-1,-1,-1,5,13,9,6,14,-1,-1,2,-1,-1,-1,-1,-1,11,8,12,-1,-1,-1,8,-1,11,6,15,5,9,-1,1,2,-1,7,-1,-1,4,-1,2,12,-1,14,-1,-1,-1,7,11,1,8,-1,5,10,-1,-1,-1,-1,-1,-1,6,12,14,9,0,-1,2,-1,3,-1,-1,3,12,15,-1,-1,-1,6,8,11,2,-1,0,-1,-1,-1,2,6,-1,-1,5,15,-1,1,-1,8,-1,-1,-1,10,11,7,-1,11,4,-1,12,-1,-1,15,-1,-1,9,-1,14,3,8,-1,3,7,-1,-1,-1,1,5,-1,-1,4,8,0,-1,-1,10,0,-1,15,-1,-1,14,2,12,7,3,-1,6,-1,-1,5,-1,-1,14,-1,-1,13,8,9,3,10,7,-1,-1,4,-1,-1,15,-1,-1,13,10,-1,2,0,7,8,-1,12,15,-1,-1,4,-1,4,-1,-1,1,6,-1,-1,-1,-1,5,14,-1,15,7,-1,2,-1,9,-1,-1,2,-1,-1,-1,-1,0,-1,3,5,4,1,6,8,-1,5,14,1,-1,-1,-1,11,15,2,-1,-1,10,6,-1,6,1,2,-1,-1,0,10,14,-1,-1,3,-1,8,15,-1,-1]). assignment(16,118,10,[-1,-1,2,12,5,-1,14,-1,8,-1,6,1,13,11,-1,-1,-1,-1,-1,15,7,0,9,-1,14,12,13,4,-1,-1,-1,2,-1,-1,9,14,10,-1,-1,12,13,-1,15,3,-1,-1,-1,0,-1,-1,0,-1,-1,-1,12,6,4,-1,-1,11,7,10,2,15,3,-1,15,6,14,-1,-1,-1,-1,1,0,10,9,-1,-1,5,12,10,-1,0,-1,9,5,-1,7,-1,-1,-1,15,-1,-1,3,6,-1,-1,-1,-1,12,4,15,-1,3,-1,-1,2,7,5,-1,1,15,-1,2,-1,3,-1,0,10,14,-1,-1,6,-1,7,-1,0,8,11,-1,2,-1,1,-1,-1,4,12,-1,-1,-1,-1,6,-1,12,-1,10,6,15,-1,5,-1,-1,11,-1,14,1,9,-1,14,6,5,-1,12,13,-1,2,-1,-1,-1,-1,1,8,0,-1,-1,14,3,-1,-1,10,15,-1,-1,2,-1,6,-1,5,12,-1,-1,-1,14,7,15,11,-1,-1,-1,5,4,-1,10,-1,1,12,7,1,10,9,-1,-1,-1,4,2,-1,14,5,-1,-1,-1,-1,-1,9,-1,-1,-1,2,13,-1,5,15,1,-1,-1,12,4,14,15,4,-1,-1,-1,-1,6,14,1,-1,-1,7,-1,3,11,10]). assignment(16,118,11,[7,-1,1,-1,-1,15,-1,-1,-1,9,8,-1,0,13,3,2,12,1,-1,-1,15,-1,3,-1,7,-1,5,-1,11,-1,2,4,-1,-1,-1,4,-1,-1,-1,9,-1,15,3,2,7,0,12,1,10,9,-1,-1,2,-1,13,14,-1,0,15,-1,-1,11,1,-1,-1,0,-1,3,6,10,-1,8,-1,-1,-1,5,1,7,-1,-1,-1,-1,5,-1,9,11,-1,-1,15,2,14,-1,-1,-1,10,6,11,-1,-1,1,-1,6,12,10,4,-1,-1,9,15,-1,-1,3,-1,2,9,12,-1,5,6,15,-1,-1,13,7,3,-1,-1,-1,0,10,-1,5,1,4,-1,-1,13,-1,-1,-1,-1,12,14,15,-1,15,0,-1,4,3,-1,5,9,12,-1,-1,6,-1,7,-1,13,-1,-1,10,-1,-1,9,-1,14,3,12,0,4,-1,-1,-1,-1,4,10,13,12,2,1,0,-1,-1,-1,15,-1,-1,-1,-1,15,-1,8,2,11,-1,-1,-1,10,-1,-1,-1,9,3,4,-1,-1,12,11,-1,-1,14,0,-1,-1,7,4,3,-1,5,-1,8,6,-1,15,-1,14,-1,-1,12,0,-1,1,11,-1,4,-1,9,4,5,12,6,-1,-1,8,11,-1,1,-1,-1,-1,-1,-1,14]). assignment(16,118,12,[8,15,-1,-1,-1,11,10,-1,0,12,14,-1,-1,-1,13,9,7,10,-1,14,-1,-1,6,13,-1,15,5,0,-1,-1,-1,-1,9,-1,-1,-1,5,13,-1,6,8,-1,4,-1,-1,-1,15,12,0,6,-1,-1,-1,15,2,-1,-1,7,10,-1,-1,-1,9,11,12,13,0,-1,15,-1,3,9,10,-1,-1,-1,4,-1,-1,8,-1,4,9,-1,1,-1,5,-1,15,6,-1,-1,-1,12,0,-1,-1,14,-1,7,-1,-1,-1,15,-1,0,-1,8,10,-1,4,6,-1,-1,7,2,6,3,15,-1,14,9,-1,12,-1,8,-1,-1,-1,-1,-1,-1,13,-1,-1,7,2,-1,12,11,6,0,8,4,11,3,-1,-1,-1,0,12,-1,1,5,7,-1,-1,10,14,-1,-1,9,14,-1,0,4,-1,10,-1,1,6,13,3,-1,-1,-1,-1,-1,1,0,-1,9,-1,14,-1,-1,-1,4,2,13,6,3,4,8,12,6,11,-1,-1,5,-1,-1,-1,-1,9,-1,3,-1,-1,-1,8,3,2,-1,-1,-1,6,10,9,14,0,1,-1,-1,6,-1,11,15,14,12,-1,-1,-1,-1,-1,9,8,4,-1,10,14,-1,10,8,-1,6,13,12,-1,-1,-1,-1,15,9,-1,1]). assignment(16,118,13,[-1,-1,2,9,6,-1,0,7,-1,8,-1,15,-1,-1,4,-1,-1,-1,0,2,11,-1,9,-1,-1,-1,14,7,15,6,5,-1,-1,15,-1,-1,1,2,7,-1,-1,-1,3,9,-1,4,13,11,-1,0,9,-1,-1,4,-1,-1,3,-1,13,12,8,10,-1,-1,-1,8,-1,4,9,15,5,10,-1,-1,-1,11,12,-1,7,-1,6,14,-1,13,-1,-1,8,9,-1,-1,12,-1,-1,-1,10,2,-1,7,15,-1,14,5,12,3,8,11,-1,-1,-1,0,-1,-1,2,-1,7,-1,-1,8,-1,4,9,-1,-1,3,10,13,0,-1,13,-1,-1,1,5,10,-1,12,11,6,7,-1,-1,-1,-1,-1,3,1,-1,8,-1,-1,4,-1,2,7,5,-1,-1,12,-1,14,-1,-1,12,-1,-1,3,-1,0,6,9,-1,14,5,-1,8,13,5,-1,14,7,-1,-1,13,-1,10,4,8,-1,1,-1,-1,3,7,-1,10,-1,4,9,-1,-1,0,-1,-1,5,6,-1,-1,15,15,4,-1,-1,7,-1,-1,-1,-1,5,0,-1,11,9,2,12,10,5,6,0,-1,-1,-1,13,-1,2,15,-1,-1,-1,-1,9,4,6,-1,5,0,-1,-1,2,7,-1,-1,-1,-1,11,12,8]). assignment(16,118,14,[0,-1,12,10,9,2,-1,5,4,3,7,-1,-1,-1,-1,-1,-1,8,-1,-1,-1,15,0,-1,-1,-1,14,12,1,13,10,3,10,-1,8,-1,7,-1,14,-1,9,-1,13,-1,2,15,3,-1,-1,11,14,9,-1,13,6,-1,-1,0,-1,-1,5,-1,-1,2,11,-1,-1,1,14,-1,-1,-1,-1,10,6,-1,8,2,7,-1,-1,10,-1,8,3,14,13,0,-1,-1,-1,11,6,1,-1,-1,-1,-1,-1,-1,0,-1,-1,10,7,14,2,-1,11,3,1,-1,15,3,-1,14,-1,7,-1,2,-1,8,-1,10,12,-1,-1,0,14,12,5,15,11,-1,1,3,-1,-1,-1,4,-1,7,-1,-1,-1,-1,2,13,-1,5,-1,6,15,1,-1,14,-1,-1,11,10,3,4,-1,-1,2,-1,10,-1,8,-1,12,5,-1,14,-1,13,-1,14,10,-1,-1,-1,3,7,0,-1,-1,-1,13,4,5,9,4,-1,1,-1,-1,10,-1,8,12,-1,11,3,-1,-1,15,14,-1,-1,-1,0,10,12,7,11,-1,-1,4,-1,9,-1,6,-1,9,5,-1,-1,13,-1,-1,-1,10,12,-1,8,-1,6,-1,11,-1,13,0,4,-1,-1,-1,-1,1,7,5,-1,-1,-1,2,8]). assignment(16,118,15,[10,-1,-1,12,-1,-1,8,9,3,-1,-1,5,6,1,-1,-1,-1,-1,1,-1,6,14,12,-1,9,5,3,8,-1,-1,-1,15,-1,-1,-1,15,12,5,11,-1,-1,-1,-1,13,1,14,2,4,8,15,-1,-1,-1,2,-1,3,14,-1,-1,6,-1,11,4,-1,7,13,-1,8,-1,-1,10,-1,0,-1,14,-1,15,-1,9,-1,-1,7,-1,0,9,13,-1,8,15,14,11,-1,-1,6,-1,-1,6,9,13,-1,15,3,-1,-1,-1,1,4,-1,8,-1,-1,11,-1,5,-1,13,3,-1,-1,1,-1,15,-1,11,-1,9,14,8,14,-1,0,9,-1,10,-1,-1,-1,6,-1,15,12,7,8,-1,-1,0,10,-1,14,7,5,12,-1,-1,1,9,-1,15,-1,-1,1,3,8,-1,0,11,9,-1,-1,-1,15,-1,14,-1,-1,5,13,14,-1,-1,-1,-1,1,15,8,-1,-1,4,-1,5,-1,10,-1,-1,4,11,-1,9,-1,-1,1,10,-1,-1,2,8,15,-1,-1,-1,12,5,11,-1,15,-1,-1,0,7,-1,-1,-1,1,14,15,10,6,-1,-1,-1,13,0,4,-1,5,-1,-1,-1,3,7,-1,-1,15,10,5,-1,-1,2,11,7,8,12,4,-1,-1,-1]). assignment(16,118,16,[-1,-1,-1,4,13,5,3,-1,14,-1,2,9,15,-1,-1,11,-1,8,9,10,11,-1,2,14,4,-1,15,-1,-1,-1,-1,-1,11,-1,0,1,-1,-1,6,-1,-1,-1,8,-1,9,2,14,5,-1,-1,-1,7,3,-1,9,-1,-1,-1,4,2,11,8,13,14,4,10,-1,14,-1,7,-1,-1,8,12,-1,-1,-1,13,11,-1,10,-1,5,8,-1,-1,-1,7,6,1,-1,-1,14,-1,3,4,15,-1,2,-1,8,13,14,-1,7,10,-1,-1,4,-1,-1,-1,-1,-1,12,-1,6,14,-1,8,-1,4,1,-1,0,3,-1,9,2,1,-1,6,-1,9,4,3,5,-1,-1,-1,-1,12,-1,7,14,9,8,-1,-1,-1,-1,4,-1,11,-1,1,12,-1,-1,3,-1,3,-1,-1,5,8,-1,2,13,15,-1,12,-1,11,4,-1,13,14,3,-1,-1,6,11,5,-1,-1,-1,8,-1,15,12,-1,6,11,-1,-1,15,-1,-1,13,2,-1,3,14,-1,-1,0,-1,-1,-1,4,3,-1,-1,12,-1,-1,0,5,6,10,14,7,-1,-1,5,-1,-1,-1,11,-1,1,-1,2,0,4,7,-1,9,-1,12,-1,-1,5,1,3,15,-1,9,6,7,-1,-1,-1,-1,13]). assignment(16,118,17,[7,13,14,-1,9,4,3,-1,2,5,-1,-1,8,-1,-1,-1,10,-1,-1,-1,-1,-1,-1,1,8,11,9,14,-1,15,12,-1,15,-1,2,-1,-1,13,11,-1,-1,14,-1,3,12,-1,-1,10,-1,9,15,-1,-1,-1,1,6,-1,0,5,11,10,7,-1,-1,1,-1,5,10,0,-1,-1,-1,3,9,13,-1,4,-1,-1,-1,-1,11,-1,9,-1,15,5,2,-1,-1,12,4,-1,3,-1,8,-1,0,-1,14,-1,2,4,-1,7,-1,-1,8,1,-1,-1,15,9,14,-1,13,-1,-1,-1,-1,15,-1,11,6,5,-1,2,7,0,-1,-1,6,15,-1,-1,5,-1,7,-1,9,-1,12,8,13,-1,8,-1,15,1,9,0,14,-1,3,-1,-1,-1,11,13,-1,-1,-1,3,7,-1,0,-1,13,-1,-1,15,1,11,-1,14,6,-1,-1,9,3,14,7,-1,4,1,-1,-1,-1,-1,10,5,2,6,10,-1,4,7,1,15,-1,-1,12,-1,-1,-1,-1,3,-1,8,-1,6,-1,5,-1,-1,-1,14,-1,7,-1,9,0,-1,1,-1,3,0,-1,13,6,-1,10,4,-1,1,-1,-1,8,9,-1,3,-1,-1,-1,6,-1,9,12,11,-1,-1,-1,15,2,0,14]). assignment(16,118,18,[10,-1,-1,-1,15,6,-1,0,-1,14,8,7,-1,-1,9,-1,-1,9,0,12,-1,-1,4,1,-1,-1,11,-1,-1,14,-1,7,15,4,8,0,5,-1,10,7,12,-1,1,-1,-1,-1,-1,-1,-1,-1,12,8,13,9,-1,5,-1,0,-1,15,-1,-1,-1,10,5,-1,-1,13,2,12,1,15,11,-1,-1,-1,14,-1,0,-1,9,5,-1,-1,-1,-1,8,-1,15,-1,7,6,-1,3,14,2,-1,1,15,-1,8,2,7,-1,0,10,-1,-1,11,-1,13,-1,-1,-1,4,1,-1,14,13,9,2,-1,-1,-1,-1,5,8,11,-1,-1,2,15,-1,8,-1,-1,-1,5,-1,11,7,1,6,3,1,3,-1,10,-1,15,-1,11,-1,-1,6,-1,-1,2,7,13,6,-1,10,-1,7,-1,-1,-1,-1,3,14,12,15,0,-1,5,2,6,-1,-1,-1,-1,-1,-1,9,-1,0,3,5,8,-1,12,13,-1,11,-1,-1,3,6,12,10,9,15,-1,-1,-1,4,-1,4,-1,9,14,-1,-1,3,-1,-1,11,12,2,8,-1,-1,-1,-1,13,-1,7,11,1,-1,-1,3,-1,-1,0,9,-1,-1,14,-1,12,-1,-1,3,-1,14,8,1,6,-1,-1,4,15,5,-1]). assignment(16,118,19,[14,13,3,8,7,11,9,5,-1,-1,-1,-1,-1,-1,-1,-1,8,-1,12,10,14,-1,11,-1,-1,-1,-1,-1,7,15,-1,13,-1,-1,-1,1,6,-1,0,13,2,-1,8,3,-1,11,-1,4,-1,10,-1,6,-1,15,-1,2,7,3,-1,9,-1,13,14,-1,1,3,-1,4,8,12,-1,-1,-1,-1,-1,10,-1,7,2,11,0,-1,10,12,-1,1,13,-1,11,2,3,4,-1,-1,-1,-1,-1,0,1,-1,5,-1,-1,15,-1,-1,2,13,3,-1,11,7,-1,2,6,-1,-1,8,14,12,4,0,-1,-1,-1,-1,7,-1,2,4,-1,-1,15,-1,3,-1,6,11,-1,-1,10,1,8,-1,10,6,-1,3,2,-1,4,-1,12,-1,-1,15,13,-1,-1,0,-1,-1,2,-1,-1,6,-1,10,14,5,9,-1,-1,-1,0,8,-1,-1,8,2,-1,-1,10,3,-1,7,14,-1,1,12,-1,-1,12,-1,-1,-1,-1,5,-1,14,9,1,0,-1,-1,2,10,3,7,-1,11,9,-1,-1,-1,-1,1,-1,10,12,2,14,-1,-1,-1,1,4,-1,3,7,2,-1,-1,9,15,14,12,-1,-1,-1,13,-1,-1,-1,12,9,-1,-1,-1,4,-1,6,5,10,3,2]). assignment(16,118,20,[8,-1,-1,-1,7,9,1,13,12,15,-1,4,-1,-1,-1,-1,15,-1,12,-1,10,-1,-1,4,2,-1,8,9,-1,6,14,-1,4,-1,-1,11,2,-1,6,-1,7,-1,-1,3,9,-1,15,13,14,6,13,8,-1,10,-1,-1,-1,-1,-1,2,-1,-1,12,3,11,12,-1,-1,-1,0,4,9,-1,13,14,-1,-1,8,-1,-1,13,4,-1,10,-1,6,-1,8,14,3,-1,-1,7,5,-1,-1,6,-1,-1,-1,-1,-1,-1,15,11,-1,5,8,10,13,3,-1,-1,8,9,15,14,-1,12,-1,-1,-1,-1,5,13,-1,11,7,-1,14,3,-1,6,-1,2,10,-1,-1,1,-1,11,4,-1,15,-1,-1,-1,2,-1,15,5,-1,13,6,-1,12,0,3,4,-1,0,-1,2,6,13,11,-1,12,-1,14,-1,15,-1,-1,-1,5,-1,13,5,4,3,-1,11,-1,-1,-1,9,-1,12,15,6,-1,3,2,6,-1,-1,14,-1,-1,-1,-1,15,-1,8,12,-1,10,-1,3,-1,-1,-1,5,-1,11,8,2,13,-1,-1,7,10,1,-1,-1,8,13,-1,-1,-1,6,15,12,0,-1,-1,-1,2,4,-1,15,-1,7,12,13,8,-1,6,11,4,-1,3,-1,-1,-1]). assignment(16,118,21,[8,14,0,-1,2,4,-1,12,-1,-1,1,5,-1,-1,-1,-1,9,-1,11,-1,4,5,-1,-1,12,2,-1,15,7,-1,0,-1,-1,2,-1,8,-1,-1,11,5,6,13,-1,-1,4,1,-1,-1,-1,5,4,13,12,2,10,8,-1,-1,-1,0,-1,-1,-1,1,-1,-1,-1,-1,3,14,0,13,9,-1,7,-1,-1,15,6,5,6,7,-1,-1,-1,-1,-1,0,-1,1,8,-1,-1,12,3,15,-1,12,5,11,-1,-1,1,14,0,10,15,-1,2,-1,-1,-1,11,9,-1,15,8,-1,13,6,5,-1,-1,14,-1,4,-1,-1,15,4,-1,3,-1,-1,9,-1,14,-1,-1,8,11,5,13,-1,-1,10,15,-1,6,9,-1,-1,-1,5,12,-1,-1,11,14,8,5,-1,-1,6,-1,11,-1,-1,-1,15,4,13,14,-1,9,12,14,0,13,5,-1,-1,-1,-1,-1,-1,9,1,12,2,-1,6,2,-1,3,12,-1,-1,14,4,1,-1,-1,-1,-1,-1,5,7,12,-1,-1,-1,5,1,-1,-1,-1,7,-1,10,3,0,15,-1,-1,-1,-1,-1,15,6,12,-1,3,-1,-1,11,13,-1,10,2,-1,-1,6,-1,10,0,5,-1,-1,12,13,-1,9,14,-1,11]). assignment(16,118,22,[-1,5,14,7,-1,1,0,9,-1,-1,-1,10,-1,-1,11,12,-1,-1,15,-1,-1,6,5,-1,12,0,-1,13,2,-1,7,-1,13,10,0,-1,-1,-1,-1,-1,-1,-1,11,7,-1,9,12,4,-1,-1,11,-1,10,12,7,15,-1,-1,-1,-1,8,4,6,14,1,-1,-1,-1,7,-1,9,14,8,3,12,-1,11,0,-1,-1,5,-1,3,8,-1,2,4,1,-1,13,0,-1,-1,-1,15,-1,-1,12,-1,3,2,-1,-1,-1,-1,-1,13,5,15,11,14,-1,7,3,8,-1,9,-1,-1,12,-1,5,-1,-1,1,-1,-1,6,3,14,-1,15,5,-1,12,13,11,6,7,-1,-1,-1,-1,-1,-1,7,9,-1,-1,3,-1,4,0,-1,10,-1,5,13,-1,11,-1,0,-1,11,6,9,-1,5,1,-1,-1,12,-1,-1,3,13,6,1,4,13,-1,-1,-1,-1,10,11,-1,9,-1,-1,-1,15,12,-1,-1,-1,4,-1,3,11,5,7,2,-1,0,6,-1,-1,-1,4,5,-1,-1,13,-1,-1,15,-1,9,2,3,10,1,-1,-1,-1,-1,9,13,10,6,-1,-1,2,-1,15,7,5,-1,3,11,-1,-1,0,12,4,15,-1,3,-1,6,-1,-1,-1,13,-1]). assignment(16,118,23,[1,15,-1,8,12,13,5,2,3,-1,-1,-1,-1,-1,-1,0,-1,4,-1,-1,5,14,11,-1,-1,9,10,-1,7,0,1,-1,14,9,6,5,-1,-1,-1,1,7,-1,13,-1,2,-1,-1,8,-1,12,4,-1,2,-1,3,-1,5,-1,-1,1,11,13,15,-1,4,11,-1,-1,6,-1,-1,-1,1,15,-1,2,-1,9,-1,13,5,-1,-1,-1,9,7,14,11,15,-1,-1,3,-1,1,-1,4,-1,7,-1,12,-1,-1,9,13,-1,3,5,15,-1,-1,11,2,13,-1,15,1,-1,8,7,-1,0,-1,11,4,-1,3,-1,-1,15,-1,14,-1,-1,2,-1,-1,-1,8,3,-1,12,11,6,7,-1,2,9,15,-1,5,-1,10,-1,11,7,-1,1,-1,-1,-1,11,-1,0,3,15,-1,-1,-1,14,5,-1,7,-1,2,-1,1,-1,1,-1,13,3,4,-1,14,12,-1,-1,11,-1,-1,7,-1,-1,-1,8,7,-1,-1,-1,15,2,-1,14,6,5,-1,-1,10,12,-1,-1,-1,-1,-1,0,7,-1,1,4,-1,-1,14,2,9,7,-1,12,-1,13,15,-1,3,-1,14,-1,9,0,-1,4,-1,-1,0,-1,9,-1,10,15,-1,-1,13,-1,-1,14,4,5,-1]). assignment(16,118,24,[2,10,5,-1,0,-1,3,-1,11,7,-1,6,-1,12,-1,-1,7,-1,-1,-1,5,-1,13,15,3,0,-1,-1,11,-1,1,10,-1,5,1,-1,7,-1,10,12,-1,-1,13,2,-1,-1,-1,14,-1,15,4,2,-1,9,-1,-1,14,-1,11,-1,-1,10,-1,5,-1,-1,10,-1,-1,7,2,4,6,13,-1,12,8,0,-1,-1,-1,2,-1,-1,8,-1,0,6,-1,1,5,-1,7,-1,13,9,10,3,6,0,-1,15,-1,-1,-1,11,-1,9,-1,1,-1,-1,8,-1,12,9,-1,2,7,14,-1,-1,1,-1,-1,5,-1,13,9,-1,-1,14,13,5,-1,-1,1,-1,-1,15,3,8,11,-1,-1,1,11,-1,-1,8,15,-1,0,10,-1,4,6,-1,-1,3,12,8,-1,-1,6,-1,4,-1,7,-1,15,5,9,-1,0,-1,15,7,-1,4,-1,3,-1,-1,2,5,-1,-1,12,-1,-1,1,-1,-1,8,12,-1,-1,-1,9,-1,2,4,-1,-1,7,3,6,3,-1,-1,10,2,-1,1,11,5,-1,0,-1,-1,4,12,-1,-1,9,13,-1,-1,4,-1,10,-1,-1,-1,7,5,15,2,12,-1,-1,-1,5,4,1,-1,0,-1,8,7,-1,2,-1,10,-1]). assignment(16,118,25,[-1,3,-1,-1,-1,11,-1,-1,-1,14,10,5,12,2,9,4,-1,10,-1,13,5,-1,6,1,3,-1,-1,0,-1,-1,14,-1,6,-1,12,11,2,7,14,-1,8,-1,-1,-1,1,-1,10,-1,-1,-1,4,15,-1,6,0,7,1,-1,-1,-1,10,8,-1,9,12,-1,3,2,15,-1,1,9,-1,6,-1,-1,-1,-1,7,-1,7,14,0,8,9,5,-1,-1,2,-1,1,6,-1,-1,-1,-1,15,-1,-1,6,1,-1,-1,11,0,4,-1,14,-1,-1,3,2,13,0,15,7,-1,-1,-1,-1,-1,-1,9,8,6,-1,2,12,3,-1,7,-1,-1,2,11,13,-1,9,-1,15,5,-1,-1,6,-1,9,-1,3,13,-1,-1,-1,-1,7,-1,-1,15,12,8,5,-1,15,10,-1,0,-1,-1,12,13,2,4,-1,-1,-1,5,-1,-1,-1,-1,-1,-1,0,9,14,-1,15,-1,1,2,3,-1,11,10,8,-1,-1,6,4,15,2,9,-1,5,-1,-1,7,-1,-1,-1,6,2,-1,-1,15,-1,8,-1,-1,7,-1,-1,0,12,14,9,2,14,12,-1,-1,5,-1,-1,0,15,7,-1,1,-1,-1,14,-1,-1,-1,-1,3,2,-1,7,-1,6,4,11,13,-1,15]). :- use_module(library(clpfd)). qwh(N, Assignment, Sol) :- NN is N*N, length(Matrix, NN), N2 is N-1, domain(Matrix, 0, N2), q_constraint(N, Matrix), assign_constraint(Matrix, Assignment), labeling([], Matrix), Sol = Matrix. assign_constraint([], []). assign_constraint([_|T], [-1|TT]) :- assign_constraint(T, TT). assign_constraint([H|T], [HH|TT]) :- HH \= -1, H #= HH, assign_constraint(T, TT). write_solution(N, Sol) :- NN is N - 1, write_solution(N, NN, Sol, 0). write_solution(_, _, [], _). write_solution(N, NN, [H|T], A) :- M is A mod N, write(H), (M = NN, write('\n') ; M \= NN, write(' ')), AA is A + 1, write_solution(N, NN, T, AA). select_column(N, ColId, Matrix, Col) :- select_column(N, ColId, Matrix, Col, 0). select_column(_, _, [], [], _). select_column(N, ColId, [H|T], [H|CT], A) :- ColId is A mod N, AA is A + 1, select_column(N, ColId, T, CT, AA). select_column(N, ColId, [_|T], CT, A) :- Mod is A mod N, Mod \= ColId, AA is A + 1, select_column(N, ColId, T, CT, AA). select_row(N, RowId, Matrix, Row) :- BoundL is RowId*N, BoundH is (RowId+1)*N-1, select_row(N, Matrix, Row, 0, BoundL, BoundH). select_row(_, [], [], _, _, _) :- !. select_row(_, _, [], A, _, BH) :- BH < A, !. select_row(N, [H|T], [H|RT], A, BL, BH) :- A >= BL, A =< BH, AA is A + 1, !, select_row(N, T, RT, AA, BL, BH). select_row(N, [_|T], RT, A, BL, BH) :- A < BL, AA is A + 1, !, select_row(N, T, RT, AA, BL, BH). q_constraint(N, Matrix) :- q_constraint(N, Matrix, 0). q_constraint(N, _, M) :- M >= N, !. q_constraint(N, Matrix, A) :- A < N, select_row(N, A, Matrix, Row), select_column(N, A, Matrix, Col), all_different(Row), all_different(Col), AA is A + 1, !, q_constraint(N, Matrix, AA).