matrix((1, [[1]]), 1, 1);
matrix((1, [[1]]), 2, 3);
matrix((2, [[3,4,1,2], [4,1,2,3]]), 3, 1);
matrix((2, [[1,2,3,4], [2,3,4,1], [3,4,1,2], [4,1,2,3]]), 1, 3);
matrix((2, [[1,2,3,4], [2,3,4,1], [3,4,1,2], [4,1,2,3]]), 4, 3);
matrix((3, [[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]]), 7, 1);
matrix((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);
matrix((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]]), 8, 4);
matrix((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,15,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,2,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,5,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,15,16,1,2,3,4,5,6,7,8,9,10,11,12], [14,15,16,1,2,3,4,5,6,7,8,9,10,11,12,13], [15,16,1,2,3,4,5,6,7,8,9,10,11,12,13,14], [16,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]]), 13, 13);
matrix((4, [[5,6,7,8,9,10,11,12,13,14,15,16], [6,7,8,9,10,11,12,13,14,15,16,1], [7,8,9,10,11,12,13,14,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,1,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], [1,2,3,4,5,6,7,8,9,10,11,12], [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);

(* Megoldasok
> val it = [1] : int list
> val it = [] : int list
> val it = [1, 2, 2, 3] : int list
> val it = [3, 4, 4, 1] : int list
> val it = [] : int list
> val it = [4, 5, 6, 5, 6, 7, 6, 7, 8] : int list
> val it = [1, 2, 3, 2, 3, 4, 3, 4, 5] : int list
> val it = [] : int list
> val it = [9, 10, 11, 12, 10, 11, 12, 13, 11, 12, 13, 14, 12, 13, 14, 15] : int list
> val it = [8, 9, 10, 11, 9, 10, 11, 12, 10, 11, 12, 13, 11, 12, 13, 14] : int list
*)