helyese(1,[[1]]);
helyese(1,[[0]]);
helyese(2,[[1,2,3,4],[3,4,2,1],[2,1,4,3],[4,3,1,2]]);
helyese(2,[[1,2,3,4],[3,4,2,1],[2,1,4,3],[4,3,2,1]]);
helyese(3,[[7,2,3,4,1,6,5,8,0],[6,7,8,0,0,9,0,2,1],[0,6,5,7,2,0,0,3,9],[0,8,2,9,6,1,0,4,0],[0,9,0,5,0,4,0,1,0],[0,6,0,2,7,3,9,5,0]]);
helyese(3,[[6,2,3,4,1,9,5,8,7],[9,7,8,3,5,6,4,2,1],[1,4,5,7,2,8,6,3,9],[5,8,2,9,6,1,7,4,3],[3,9,7,5,8,4,2,1,6],[4,6,1,2,7,3,9,5,8]]);
helyese(3,[[0,9,0,0,0,0,1,6,8],[1,8,0,0,9,6,4,2,3],[6,0,0,0,1,8,7,9,5],[8,7,2,3,6,9,5,1,4],[3,6,1,8,4,5,2,7,9],[9,4,5,1,7,2,3,8,6],[4,5,9,7,0,1,6,3,2],[7,3,8,6,2,4,9,4,1],[0,1,6,0,0,0,8,5,7]]);
helyese(3,[[0,9,0,0,0,0,1,6,8],[1,8,0,6,9,0,4,2,3],[6,0,0,0,1,8,7,9,5],[8,7,2,3,6,9,5,1,4],[3,6,1,8,4,5,2,7,9],[9,4,5,1,7,2,3,8,6],[4,5,9,7,8,1,6,3,2],[7,3,8,5,2,6,9,4,1],[2,1,6,9,3,4,8,5,7]]);
helyese(3,[[0,9,0,0,0,0,1,6,8],[0,8,0,6,9,0,4,2,3],[6,0,0,0,0,8,7,9,5],[8,7,2,3,6,9,5,1,4],[3,6,1,8,4,5,2,7,9],[9,4,5,1,7,2,3,8,6],[1,5,9,7,8,4,6,3,2],[7,3,8,5,2,6,9,4,1],[4,2,6,9,1,3,8,5,7]]);
helyese(4,[[2,11,9,5,8,16,13,4,12,3,14,7,10,6,15,1],[4,12,15,10,3,6,9,11,13,5,8,1,16,7,14,2],[1,14,6,7,15,2,5,12,11,9,10,16,3,13,8,4],[16,13,8,3,14,1,10,7,4,6,2,15,9,11,5,12],[12,2,16,9,10,14,15,13,8,1,5,3,6,4,11,7],[6,7,1,11,5,12,8,16,9,15,4,2,14,10,3,13],[14,5,4,13,6,11,1,3,16,12,7,10,8,9,2,15],[3,8,10,15,4,7,2,9,6,14,13,11,1,12,16,5],[13,9,2,16,7,8,14,10,3,4,15,6,12,5,1,11],[5,4,14,6,2,13,12,1,10,16,11,8,15,3,7,9],[7,1,11,12,16,4,3,15,5,13,9,14,2,8,10,6],[10,15,3,8,9,5,11,6,2,7,1,12,4,14,13,16],[11,10,13,14,1,9,7,8,15,2,6,4,5,16,12,3],[15,3,7,4,12,10,6,5,1,8,16,13,11,2,9,14],[8,6,5,1,13,3,16,2,14,11,12,9,7,15,4,10],[9,16,12,2,11,15,4,14,7,10,3,5,13,1,6,8]]);

(* Megoldasok
> val it = true : bool
> val it = true : bool
> val it = true : bool
> val it = false : bool
> val it = false : bool
> val it = true : bool
> val it = false : bool
> val it = true : bool
> val it = true : bool
> val it = true : bool
*)