ertekek(s(1, [[0]]), 1, 1, L).
ertekek(s(1, [[1]]), 1, 1, L).
ertekek(s(2, [[3,0,0,2], [4,1,2,3]]), 3, 1, L).
ertekek(s(2, [[0,2,3,4], [2,3,4,1], [0,4,0,2], [4,0,2,3]]), 1, 3, L).
ertekek(s(2, [[1,2,3,0], [2,3,4,0], [3,0,0,0], [4,1,0,3]]), 4, 3, L).
ertekek(s(3, [[0,8,0,0,2,0,4,5,6], [8,9,1,2,3,4,5,6,7], [9,1,2,3,4,5,6,7,8]]), 7, 1, L).
ertekek(s(3, [[1,2,3,4,5,6,7,8,9], [2,3,4,5,6,7,8,9,1], [3,4,5,6,7,8,9,1,2], [4,5,6,7,8,9,1,2,3], [5,6,7,8,9,1,2,3,4], [6,7,8,9,1,2,3,4,5], [7,8,9,1,2,3,4,5,6], [8,9,1,2,3,4,5,6,7], [9,1,2,3,4,5,6,7,8]]), 4, 7, L).
ertekek(s(3, [[1,2,3,4,5,6,7,0,0], [2,3,4,5,6,7,0,0,1], [3,4,5,6,7,0,0,1,2], [4,5,6,0,0,0,1,2,3], [5,6,7,0,0,1,2,3,4], [6,7,8,9,1,2,3,4,5], [7,8,9,1,2,3,4,5,6], [8,9,1,2,3,4,5,6,0], [9,1,2,3,4,5,6,0,8]]), 8, 4, L).
ertekek(s(4, [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16], [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,1], [3,4,5,6,7,8,9,10,11,12,13,14,0,16,1,2], [4,5,6,7,8,9,10,11,12,13,14,15,16,1,2,3], [5,6,7,8,9,10,11,12,13,14,15,16,1,2,3,4], [6,7,8,9,10,11,12,13,14,15,16,1,0,3,4,5], [7,8,9,10,11,12,13,14,15,16,1,2,3,4,5,6], [8,9,10,11,12,13,14,15,16,1,2,3,4,5,6,7], [9,10,11,12,13,14,15,16,1,2,3,4,0,6,7,8], [10,11,12,13,14,15,16,1,2,3,4,5,6,7,8,9], [11,12,13,14,15,16,1,2,3,4,5,6,7,8,9,10], [12,13,14,15,16,1,2,3,4,5,6,7,8,9,10,11], [13,14,0,16,1,0,3,4,0,6,7,8,0,10,11,0], [14,15,16,1,2,3,4,5,6,7,8,0,10,11,0,13], [15,16,1,2,3,4,5,6,7,8,0,10,11,0,13,14], [16,1,2,3,4,5,6,7,8,0,10,11,0,13,14,0]]), 13, 13, L).
ertekek(s(4, [[5,6,7,8,9,10,11,0,13,14,15,16], [6,7,8,9,10,11,12,13,14,15,16,1], [7,8,9,10,11,12,13,0,15,16,1,2], [8,9,10,11,12,13,14,15,16,1,2,3], [9,10,11,12,13,14,15,16,1,2,3,4], [10,11,12,13,14,15,16,0,2,3,4,5], [11,12,13,14,15,16,1,2,3,4,5,6], [12,13,14,15,16,1,2,3,4,5,6,7], [13,14,15,16,1,2,3,4,5,6,7,8], [14,15,16,1,2,3,4,5,6,7,8,9], [15,16,1,2,3,4,5,6,7,8,9,10], [16,1,2,3,4,5,6,7,8,9,10,11], [0,2,3,4,5,6,7,8,9,10,11,0], [2,3,4,5,6,7,8,9,10,11,12,13], [3,4,5,6,7,8,9,10,11,12,13,14], [4,5,6,7,8,9,10,11,12,13,14,15]]), 8, 13, L).