#
#  Sudoku instances for sudoku_sat.py
#
#  The collection was taken from http://hakank.org/picat/sudoku.pi
#  Mostly it's from Gecode's collection
#  http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#


#----------------------------------------------------------------------
# Sample data
#----------------------------------------------------------------------

all_sudoku_problems = {
  "p1":
    [
    [0, 0, 2, 0, 0, 5, 0, 7, 9],
    [1, 0, 5, 0, 0, 3, 0, 0, 0],
    [0, 0, 0, 0, 0, 0, 6, 0, 0],
    [0, 1, 0, 4, 0, 0, 9, 0, 0],
    [0, 9, 0, 0, 0, 0, 0, 8, 0],
    [0, 0, 4, 0, 0, 9, 0, 1, 0],
    [0, 0, 9, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 1, 0, 0, 3, 0, 6],
    [6, 8, 0, 3, 0, 0, 4, 0, 0]],


   "p2":
 [
    [0, 0, 3, 0, 0, 8, 0, 0, 6],
    [0, 0, 0, 4, 6, 0, 0, 0, 0],
    [0, 0, 0, 1, 0, 0, 5, 9, 0],
    [0, 9, 8, 0, 0, 0, 6, 4, 0],
    [0, 0, 0, 0, 7, 0, 0, 0, 0],
    [0, 1, 7, 0, 0, 0, 9, 5, 0],
    [0, 2, 4, 0, 0, 1, 0, 0, 0],
    [0, 0, 0, 0, 4, 6, 0, 0, 0],
    [6, 0, 0, 5, 0, 0, 8, 0, 0]],

"p3":
 [
    [0, 0, 0, 9, 0, 0, 0, 0, 0],
    [0, 0, 7, 0, 6, 0, 5, 0, 0],
    [0, 0, 3, 5, 0, 0, 0, 7, 9],
    [4, 0, 5, 0, 0, 9, 0, 0, 1],
    [8, 0, 0, 0, 0, 0, 0, 0, 7],
    [1, 0, 0, 6, 0, 0, 9, 0, 8],
    [6, 4, 0, 0, 0, 8, 7, 0, 0],
    [0, 0, 9, 0, 1, 0, 2, 0, 0],
    [0, 0, 0, 0, 0, 7, 0, 0, 0]],

"p4":
 [
    [0, 5, 0, 0, 0, 1, 4, 0, 0],
    [2, 0, 3, 0, 0, 0, 7, 0, 0],
    [0, 7, 0, 3, 0, 0, 1, 8, 2],
    [0, 0, 4, 0, 5, 0, 0, 0, 7],
    [0, 0, 0, 1, 0, 3, 0, 0, 0],
    [8, 0, 0, 0, 2, 0, 6, 0, 0],
    [1, 8, 5, 0, 0, 6, 0, 9, 0],
    [0, 0, 2, 0, 0, 0, 8, 0, 3],
    [0, 0, 6, 4, 0, 0, 0, 7, 0]],

# Problems 5-8 are harder, taken from
# http://www2.ic-net.or.jp/~takaken/auto/guest/bbs46.html
"p5": [
    [0, 9, 8, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 0, 7, 0, 0, 0, 0],
    [0, 0, 0, 0, 1, 5, 0, 0, 0],
    [1, 0, 0, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 2, 0, 0, 0, 0, 9],
    [0, 0, 0, 9, 0, 6, 0, 8, 2],
    [0, 0, 0, 0, 0, 0, 0, 3, 0],
    [5, 0, 1, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 4, 0, 0, 0, 2, 0]],

"p6":
[
    [0, 0, 1, 0, 2, 0, 7, 0, 0],
    [0, 5, 0, 0, 0, 0, 0, 9, 0],
    [0, 0, 0, 4, 0, 0, 0, 0, 0],
    [0, 8, 0, 0, 0, 5, 0, 0, 0],
    [0, 9, 0, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 0, 6, 0, 0, 0, 2],
    [0, 0, 2, 0, 0, 0, 0, 0, 0],
    [0, 0, 6, 0, 0, 0, 0, 0, 5],
    [0, 0, 0, 0, 0, 9, 0, 8, 3]],

"p7":
[
    [1, 0, 0, 0, 0, 0, 0, 0, 0],
    [0, 0, 2, 7, 4, 0, 0, 0, 0],
    [0, 0, 0, 5, 0, 0, 0, 0, 4],
    [0, 3, 0, 0, 0, 0, 0, 0, 0],
    [7, 5, 0, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 0, 0, 9, 6, 0, 0],
    [0, 4, 0, 0, 0, 6, 0, 0, 0],
    [0, 0, 0, 0, 0, 0, 0, 7, 1],
    [0, 0, 0, 0, 0, 1, 0, 3, 0]],

"p8":
[
    [1, 0, 4, 0, 0, 0, 0, 0, 0],
    [0, 0, 2, 7, 4, 0, 0, 0, 0],
    [0, 0, 0, 5, 0, 0, 0, 0, 0],
    [0, 3, 0, 0, 0, 0, 0, 0, 0],
    [7, 5, 0, 0, 0, 0, 0, 0, 0],
    [0, 0, 0, 0, 0, 9, 6, 0, 0],
    [0, 4, 0, 0, 0, 6, 0, 0, 0],
    [0, 0, 0, 0, 0, 0, 0, 7, 1],
    [0, 0, 0, 0, 0, 1, 0, 3, 0]],


# BBC Focus magazine October 2005
"p9":
[
    [0, 6, 0, 3, 2, 0, 0, 7, 0],
    [4, 7, 0, 0, 0, 0, 0, 3, 2],
    [0, 0, 0, 9, 0, 0, 1, 4, 6],
    [2, 4, 0, 8, 0, 0, 0, 0, 0],
    [0, 0, 8, 0, 0, 0, 2, 0, 1],
    [1, 0, 0, 0, 0, 2, 0, 0, 0],
    [0, 0, 2, 4, 7, 6, 8, 0, 0],
    [6, 8, 9, 0, 0, 0, 0, 5, 4],
    [0, 0, 0, 0, 8, 0, 0, 0, 0]],

"p10":
[
    [1, 8, 2, 7, 5, 0, 3, 0, 9],
    [9, 5, 6, 0, 3, 0, 0, 8, 0],
    [3, 4, 7, 0, 0, 9, 0, 5, 0],
    [2, 0, 3, 0, 4, 0, 0, 9, 8],
    [4, 0, 8, 9, 0, 2, 5, 0, 3],
    [5, 7, 9, 3, 6, 8, 1, 2, 4],
    [0, 2, 0, 4, 9, 0, 8, 3, 0],
    [0, 3, 0, 0, 2, 0, 9, 0, 5],
    [0, 9, 0, 0, 0, 3, 0, 1, 0]],

#
#  These are from J:s sudoku.ijs
#
# Roger Huis example
"p11":
[
       [2,0,0,6,7,0,0,0,0],
       [0,0,6,0,0,0,2,0,1],
       [4,0,0,0,0,0,8,0,0],
       [5,0,0,0,0,9,3,0,0],
       [0,3,0,0,0,0,0,5,0],
       [0,0,2,8,0,0,0,0,7],
       [0,0,1,0,0,0,0,0,4],
       [7,0,8,0,0,0,6,0,0],
       [0,0,0,0,5,3,0,0,8]],


# This puzzle is the evil puzzle from
# Perl's Games::Sudoku examples
"p12":
[
       [0,7,6,4,0,0,5,0,0],
       [0,0,0,0,0,5,0,0,4],
       [0,0,0,0,7,0,0,6,9],
       [5,0,0,0,0,2,0,9,0],
       [0,3,1,0,0,0,2,5,0],
       [0,6,0,5,0,0,0,0,1],
       [6,2,0,0,4,0,0,0,0],
       [8,0,0,3,0,0,0,0,0],
       [0,0,5,0,0,7,4,3,0]],



# From https://groups.google.com/d/topic/comp.lang.prolog/sTSzJMflBDw/discussion
"p13":
[
       [0,0,0,0,0,0,0,1,2],
       [0,0,0,0,0,0,0,0,3],
       [0,0,2,3,0,0,4,0,0],
       [0,0,1,8,0,0,0,0,5],
       [0,6,0,0,7,0,8,0,0],
       [0,0,0,0,0,9,0,0,0],
       [0,0,8,5,0,0,0,0,0],
       [9,0,0,0,4,0,5,0,0],
       [4,7,0,0,0,6,0,0,0]],

# First problem from Project Euler #96:
# http://projecteuler.net/problem=96
"p14":
[
[0,0,3,0,2,0,6,0,0],
[9,0,0,3,0,5,0,0,1],
[0,0,1,8,0,6,4,0,0],
[0,0,8,1,0,2,9,0,0],
[7,0,0,0,0,0,0,0,8],
[0,0,6,7,0,8,2,0,0],
[0,0,2,6,0,9,5,0,0],
[8,0,0,2,0,3,0,0,9],
[0,0,5,0,1,0,3,0,0]
],


# http://blag.nullteilerfrei.de/2014/07/03/why-someone-thought-that-sudoku-might-not-be-boring-while-actually-you-should-learn-how-to-properly-implement-backtracking/
"p15":
 [
  [0, 0, 0, 0, 6, 0, 0, 8, 0],
  [0, 2, 0, 0, 0, 0, 0, 0, 0],
  [0, 0, 1, 0, 0, 0, 0, 0, 0],
  [0, 7, 0, 0, 0, 0, 1, 0, 2],
  [5, 0, 0, 0, 3, 0, 0, 0, 0],
  [0, 0, 0, 0, 0, 0, 4, 0, 0],
  [0, 0, 4, 2, 0, 1, 0, 0, 0],
  [3, 0, 0, 7, 0, 0, 6, 0, 0],
  [0, 0, 0, 0, 0, 0, 0, 5, 0]
],



#
# Note: These 6 problems are from
# SICStus distribution ./library/clpfd/examples/suudoku.pl
#
"sicstus1": # shokyuu
    [[1,0,0,8,0,4,0,0,0],
       [0,2,0,0,0,0,4,5,6],
       [0,0,3,2,0,5,0,0,0],
       [0,0,0,4,0,0,8,0,5],
       [7,8,9,0,5,0,0,0,0],
       [0,0,0,0,0,6,2,0,3],
       [8,0,1,0,0,0,7,0,0],
       [0,0,0,1,2,3,0,8,0],
       [2,0,5,0,0,0,0,0,9]],

"sicstus2":  # shokyuu
    [[0,0,2,0,3,0,1,0,0],
       [0,4,0,0,0,0,0,3,0],
       [1,0,5,0,0,0,0,8,2],
       [0,0,0,2,0,0,6,5,0],
       [9,0,0,0,8,7,0,0,3],
       [0,0,0,0,4,0,0,0,0],
       [8,0,0,0,7,0,0,0,4],
       [0,9,3,1,0,0,0,6,0],
       [0,0,7,0,6,0,5,0,0]],

"sicstus3":  # chuukyuu
    [[0,0,0,0,0,0,3,0,0],
       [0,0,0,8,5,0,0,1,0],
       [0,0,2,0,0,4,0,0,9],
       [0,3,0,0,0,2,0,0,4],
       [8,0,0,0,6,0,0,0,1],
       [7,0,0,9,0,0,0,5,0],
       [1,0,0,6,0,0,7,0,0],
       [0,9,0,0,2,3,0,0,0],
       [0,0,4,0,0,0,0,0,0]],

"sicstus4":  # joukyuu
    [[0,7,9,0,0,0,0,0,1],
       [6,0,0,0,0,0,3,8,0],
       [0,0,0,0,4,2,0,0,0],
       [0,0,3,9,0,0,0,0,0],
       [7,8,0,0,0,0,0,2,5],
       [0,0,0,0,0,4,8,0,0],
       [0,0,0,3,1,0,0,0,0],
       [0,5,6,0,0,0,0,0,7],
       [2,0,0,0,0,0,4,3,0]],

"sicstus5":  # shokyuu; from Mr. Horai
    [[0,5,0,7,0,1,0,4,0],
       [7,0,3,0,0,0,1,0,2],
       [0,8,0,4,0,6,0,9,0],
       [9,0,4,0,6,0,8,0,3],
       [0,0,0,8,0,7,0,0,0],
       [1,0,8,0,5,0,6,0,9],
       [0,1,0,6,0,3,0,8,0],
       [5,0,6,0,0,0,7,0,1],
       [0,3,0,5,0,9,0,2,0]],

"sicstus6": # Hard: suudoku2 99 (1989)
    [[8,0,0,0,0,5,0,0,0],
       [0,1,2,3,0,0,6,0,0],
       [0,4,5,6,0,0,0,2,0],
       [0,7,8,0,0,0,0,0,1],
       [0,0,0,0,9,0,0,0,0],
       [9,0,0,0,0,0,8,7,0],
       [0,2,0,0,0,6,5,4,0],
       [0,0,4,0,0,3,2,1,0],
       [0,0,0,1,0,0,0,0,9]],



#
# The following 91 problems are from
# Gecode's Sudoku model:
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Solving 9 x 9 and 16 x 16 puzzle is very fast, with mostly
# 0 or 1 backtracks.
# However the 25 x 25 problems are much slower.
#

#
# This problem is problem 0 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"0":
[
[ 0, 0, 0, 2, 0, 5, 0, 0, 0],
[ 0, 9, 0, 0, 0, 0, 7, 3, 0],
[ 0, 0, 2, 0, 0, 9, 0, 6, 0],
[ 2, 0, 0, 0, 0, 0, 4, 0, 9],
[ 0, 0, 0, 0, 7, 0, 0, 0, 0],
[ 6, 0, 9, 0, 0, 0, 0, 0, 1],
[ 0, 8, 0, 4, 0, 0, 1, 0, 0],
[ 0, 6, 3, 0, 0, 0, 0, 8, 0],
[ 0, 0, 0, 6, 0, 8, 0, 0, 0]],


#
# This problem is problem 1 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"1":

[
[ 3, 0, 0, 9, 0, 4, 0, 0, 1],
[ 0, 0, 2, 0, 0, 0, 4, 0, 0],
[ 0, 6, 1, 0, 0, 0, 7, 9, 0],
[ 6, 0, 0, 2, 4, 7, 0, 0, 5],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 2, 0, 0, 8, 3, 6, 0, 0, 4],
[ 0, 4, 6, 0, 0, 0, 2, 3, 0],
[ 0, 0, 9, 0, 0, 0, 6, 0, 0],
[ 5, 0, 0, 3, 0, 9, 0, 0, 8]],


#
# This problem is problem 2 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"2":

[
[ 0, 0, 0, 0, 1, 0, 0, 0, 0],
[ 3, 0, 1, 4, 0, 0, 8, 6, 0],
[ 9, 0, 0, 5, 0, 0, 2, 0, 0],
[ 7, 0, 0, 1, 6, 0, 0, 0, 0],
[ 0, 2, 0, 8, 0, 5, 0, 1, 0],
[ 0, 0, 0, 0, 9, 7, 0, 0, 4],
[ 0, 0, 3, 0, 0, 4, 0, 0, 6],
[ 0, 4, 8, 0, 0, 6, 9, 0, 7],
[ 0, 0, 0, 0, 8, 0, 0, 0, 0]],


#
# This problem is problem 3 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"3":

[
[ 0, 0, 4, 0, 0, 3, 0, 7, 0],
[ 0, 8, 0, 0, 7, 0, 0, 0, 0],
[ 0, 7, 0, 0, 0, 8, 2, 0, 5],
[ 4, 0, 0, 0, 0, 0, 3, 1, 0],
[ 9, 0, 0, 0, 0, 0, 0, 0, 8],
[ 0, 1, 5, 0, 0, 0, 0, 0, 4],
[ 1, 0, 6, 9, 0, 0, 0, 3, 0],
[ 0, 0, 0, 0, 2, 0, 0, 6, 0],
[ 0, 2, 0, 4, 0, 0, 5, 0, 0]],


#
# This problem is problem 4 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"4":

[
[ 0, 4, 3, 0, 8, 0, 2, 5, 0],
[ 6, 0, 0, 0, 0, 0, 0, 0, 0],
[ 0, 0, 0, 0, 0, 1, 0, 9, 4],
[ 9, 0, 0, 0, 0, 4, 0, 7, 0],
[ 0, 0, 0, 6, 0, 8, 0, 0, 0],
[ 0, 1, 0, 2, 0, 0, 0, 0, 3],
[ 8, 2, 0, 5, 0, 0, 0, 0, 0],
[ 0, 0, 0, 0, 0, 0, 0, 0, 5],
[ 0, 3, 4, 0, 9, 0, 7, 1, 0]],


#
# This problem is problem 5 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"5":

[
[ 0, 0, 0, 0, 0, 3, 0, 6, 0],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0],
[ 0, 9, 7, 5, 0, 0, 0, 8, 0],
[ 0, 0, 0, 0, 9, 0, 2, 0, 0],
[ 0, 0, 8, 0, 7, 0, 4, 0, 0],
[ 0, 0, 3, 0, 6, 0, 0, 0, 0],
[ 0, 1, 0, 0, 0, 2, 8, 9, 0],
[ 0, 4, 0, 0, 0, 0, 0, 0, 0],
[ 0, 5, 0, 1, 0, 0, 0, 0, 0]],


#
# This problem is problem 6 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"6":

[
[ 1, 0, 0, 9, 0, 7, 0, 0, 3],
[ 0, 8, 0, 0, 0, 0, 0, 7, 0],
[ 0, 0, 9, 0, 0, 0, 6, 0, 0],
[ 0, 0, 7, 2, 0, 9, 4, 0, 0],
[ 4, 1, 0, 0, 0, 0, 0, 9, 5],
[ 0, 0, 8, 5, 0, 4, 3, 0, 0],
[ 0, 0, 3, 0, 0, 0, 7, 0, 0],
[ 0, 5, 0, 0, 0, 0, 0, 4, 0],
[ 2, 0, 0, 8, 0, 6, 0, 0, 9]],


#
# This problem is problem 7 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"7":

[
[ 0, 0, 0, 3, 0, 2, 0, 0, 0],
[ 0, 5, 0, 7, 9, 8, 0, 3, 0],
[ 0, 0, 7, 0, 0, 0, 8, 0, 0],
[ 0, 0, 8, 6, 0, 7, 3, 0, 0],
[ 0, 7, 0, 0, 0, 0, 0, 6, 0],
[ 0, 0, 3, 5, 0, 4, 1, 0, 0],
[ 0, 0, 5, 0, 0, 0, 6, 0, 0],
[ 0, 2, 0, 4, 1, 9, 0, 5, 0],
[ 0, 0, 0, 8, 0, 6, 0, 0, 0]],


#
# This problem is problem 8 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"8":

[
[ 0, 0, 0, 8, 0, 0, 0, 0, 6],
[ 0, 0, 1, 6, 2, 0, 4, 3, 0],
[ 4, 0, 0, 0, 7, 1, 0, 0, 2],
[ 0, 0, 7, 2, 0, 0, 0, 8, 0],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0],
[ 0, 1, 0, 0, 0, 6, 2, 0, 0],
[ 1, 0, 0, 7, 3, 0, 0, 0, 4],
[ 0, 2, 6, 0, 4, 8, 1, 0, 0],
[ 3, 0, 0, 0, 0, 5, 0, 0, 0]],


#
# This problem is problem 9 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"9":

[
[ 3, 0, 5, 0, 0, 4, 0, 7, 0],
[ 0, 7, 0, 0, 0, 0, 0, 0, 1],
[ 0, 4, 0, 9, 0, 0, 0, 3, 0],
[ 4, 0, 0, 0, 5, 1, 0, 0, 6],
[ 0, 9, 0, 0, 0, 0, 0, 4, 0],
[ 2, 0, 0, 8, 4, 0, 0, 0, 7],
[ 0, 2, 0, 0, 0, 7, 0, 6, 0],
[ 8, 0, 0, 0, 0, 0, 0, 9, 0],
[ 0, 6, 0, 4, 0, 0, 2, 0, 8]],


#
# This problem is problem 10 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"10":

[
[ 0, 0, 0, 7, 0, 0, 3, 0, 0],
[ 0, 6, 0, 0, 0, 0, 5, 7, 0],
[ 0, 7, 3, 8, 0, 0, 4, 1, 0],
[ 0, 0, 9, 2, 8, 0, 0, 0, 0],
[ 5, 0, 0, 0, 0, 0, 0, 0, 9],
[ 0, 0, 0, 0, 9, 3, 6, 0, 0],
[ 0, 9, 8, 0, 0, 7, 1, 5, 0],
[ 0, 5, 4, 0, 0, 0, 0, 6, 0],
[ 0, 0, 1, 0, 0, 9, 0, 0, 0]],


#
# This problem is problem 11 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"11":

[
[ 0, 0, 0, 6, 0, 0, 0, 0, 4],
[ 0, 3, 0, 0, 9, 0, 0, 2, 0],
[ 0, 6, 0, 8, 0, 0, 7, 0, 0],
[ 0, 0, 5, 0, 6, 0, 0, 0, 1],
[ 6, 7, 0, 3, 0, 1, 0, 5, 8],
[ 9, 0, 0, 0, 5, 0, 4, 0, 0],
[ 0, 0, 6, 0, 0, 3, 0, 9, 0],
[ 0, 1, 0, 0, 8, 0, 0, 6, 0],
[ 2, 0, 0, 0, 0, 6, 0, 0, 0]],


#
# This problem is problem 12 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"12":

[
[ 8, 0, 0, 0, 0, 1, 0, 4, 0],
[ 2, 0, 6, 0, 9, 0, 0, 1, 0],
[ 0, 0, 9, 0, 0, 6, 0, 8, 0],
[ 1, 2, 4, 0, 0, 0, 0, 0, 9],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 9, 0, 0, 0, 0, 0, 8, 2, 4],
[ 0, 5, 0, 4, 0, 0, 1, 0, 0],
[ 0, 8, 0, 0, 7, 0, 2, 0, 5],
[ 0, 9, 0, 5, 0, 0, 0, 0, 7]],


#
# This problem is problem 13 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"13":

[
[ 6, 5, 2, 0, 4, 8, 0, 0, 7],
[ 0, 7, 0, 2, 0, 5, 4, 0, 0],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 0, 6, 4, 1, 0, 0, 0, 7, 0],
[ 0, 0, 0, 0, 8, 0, 0, 0, 0],
[ 0, 8, 0, 0, 0, 4, 5, 6, 0],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 0, 0, 8, 6, 0, 7, 0, 2, 0],
[ 2, 0, 0, 8, 9, 0, 7, 5, 1]],


#
# This problem is problem 14 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"14":

[
[ 0, 0, 6, 0, 0, 2, 0, 0, 9],
[ 1, 0, 0, 5, 0, 0, 0, 2, 0],
[ 0, 4, 7, 3, 0, 6, 0, 0, 1],
[ 0, 0, 0, 0, 0, 8, 0, 4, 0],
[ 0, 3, 0, 0, 0, 0, 0, 7, 0],
[ 0, 1, 0, 6, 0, 0, 0, 0, 0],
[ 4, 0, 0, 8, 0, 3, 2, 1, 0],
[ 0, 6, 0, 0, 0, 1, 0, 0, 4],
[ 3, 0, 0, 4, 0, 0, 9, 0, 0]],


#
# This problem is problem 15 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"15":

[
[ 0, 0, 4, 0, 5, 0, 9, 0, 0],
[ 0, 0, 0, 0, 7, 0, 0, 0, 6],
[ 3, 7, 0, 0, 0, 0, 0, 0, 2],
[ 0, 0, 9, 5, 0, 0, 0, 8, 0],
[ 0, 0, 1, 2, 0, 4, 3, 0, 0],
[ 0, 6, 0, 0, 0, 9, 2, 0, 0],
[ 2, 0, 0, 0, 0, 0, 0, 9, 3],
[ 1, 0, 0, 0, 4, 0, 0, 0, 0],
[ 0, 0, 6, 0, 2, 0, 7, 0, 0]],


#
# This problem is problem 16 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"16":

[
[ 0, 0, 0, 0, 3, 0, 7, 9, 0],
[ 3, 0, 0, 0, 0, 0, 0, 0, 5],
[ 0, 0, 0, 4, 0, 7, 3, 0, 6],
[ 0, 5, 3, 0, 9, 4, 0, 7, 0],
[ 0, 0, 0, 0, 7, 0, 0, 0, 0],
[ 0, 1, 0, 8, 2, 0, 6, 4, 0],
[ 7, 0, 1, 9, 0, 8, 0, 0, 0],
[ 8, 0, 0, 0, 0, 0, 0, 0, 1],
[ 0, 9, 4, 0, 1, 0, 0, 0, 0]],


#
# This problem is problem 17 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 9 x 9
#
"17":

[
[ 2, 5, 8, 1, 0, 4, 0, 3, 7],
[ 9, 3, 6, 8, 2, 7, 5, 1, 4],
[ 4, 7, 1, 5, 3, 0, 2, 8, 0],
[ 7, 1, 5, 2, 0, 3, 0, 4, 0],
[ 8, 4, 9, 6, 7, 5, 3, 2, 1],
[ 3, 6, 2, 4, 1, 0, 0, 7, 5],
[ 1, 2, 4, 9, 0, 0, 7, 5, 3],
[ 5, 9, 3, 7, 4, 2, 1, 6, 8],
[ 6, 8, 7, 3, 5, 1, 4, 9, 2]],


#
# This problem is problem 18 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"18":

[
[ 0, 0, 0,16, 0, 0, 0, 9, 0, 0, 4, 0, 0, 0, 0, 0, 6,15, 0, 0,21, 8, 0, 0, 0],
[12,14,18,23, 0,17,13,22, 0,24,15, 0, 1,21, 0, 0,10, 0, 0, 9,25,19, 0, 4, 0],
[ 0, 0, 0, 0, 0,10, 0, 0, 0,21, 0, 0,19,11,23, 0, 2, 0,13, 0, 1, 0, 0, 0,17],
[25, 4, 9, 0, 0, 0,19,11, 2, 3, 0,10,13, 0, 0, 7,14, 0, 0,12, 5,15, 0, 0, 0],
[10, 1,17, 0, 0, 0, 0,15, 0,23, 5, 0, 0, 0, 0,18, 0,11,21, 0, 0, 0, 2, 6, 0],
[ 0, 0, 0, 0, 7, 0, 0,12, 0, 6, 0, 0, 0,17, 4,11, 0, 0, 1, 0, 0, 0, 0,18, 5],
[ 0,15, 0,25, 0, 0, 0,18, 0, 0,11, 0, 0, 7, 0, 5, 0,21, 0, 0, 0, 9, 0, 0, 0],
[ 0,21, 6,10, 0, 0, 0, 5,24,15, 0, 8,25, 0, 0, 0,20, 0,23,14, 0, 0, 7, 3, 4],
[11, 2, 0,14, 0, 0,21, 0, 0, 0, 1,19, 0, 5, 0, 0, 0, 0,24, 7, 0,20, 0,10,25],
[24, 0, 5, 0,12,11, 1, 0,25, 0, 0, 0, 0, 3,14,22, 0, 0, 0, 0, 2,21, 0,17, 0],
[ 2, 0, 0,22,19, 0,10, 0, 0, 0, 9, 0, 3, 0, 7, 0, 0, 0, 0, 0, 0,25, 0, 8,12],
[ 0, 0, 0, 0, 0,12,15, 0,13,25,16, 6, 2,23, 0,14, 0, 0, 0,24,17, 0,22, 0,19],
[ 0,13,21, 0, 0,24,22, 0, 0,18,14, 0,11, 8, 0, 0,23,17, 0, 0, 0, 3, 0, 0,20],
[ 0,12,24, 1,15, 0,11, 0,23, 0,10,17, 0, 0,25, 0, 7, 8, 0,19,14, 0, 0, 0,13],
[14, 0, 0, 6, 0, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 4,22, 0,20,18,11, 9, 0, 0],
[23, 0,19, 0, 0, 6, 0, 0, 0, 0, 0, 0,12, 0, 0, 1, 0, 5, 0,16, 0, 0,17, 0, 0],
[ 0, 0, 0, 7, 5,21,16, 0, 0, 0, 6, 0, 0, 1, 0, 0,12,18, 0, 0, 4, 0,14, 0, 0],
[ 9,20, 0, 0, 6, 0, 0, 0, 0, 0,17,16,23, 0,24, 2,25, 0, 4, 0, 0, 0, 0, 0, 0],
[ 0,24,10, 0, 0,18,25, 8, 4, 9, 0, 0, 0, 2, 0,20, 3, 0, 0, 0, 7,16,23, 0, 0],
[ 0, 0,16, 0, 0, 0, 0,23, 0, 0, 0,25, 0,13, 9, 0, 0, 0, 0,10, 0, 0, 0,12, 1],
[19, 0, 0, 0,22, 0,23,10,15,14, 0, 4, 0, 0, 2, 3, 0, 7, 0, 0, 0, 0, 8,21, 0],
[ 0, 0, 0, 0, 0,19, 0,17, 9,12,13, 1,21,25, 0, 0,16,24, 0, 0, 0, 0, 4,22,14],
[ 4, 8,23,20, 0, 0, 5, 0,22, 0, 0, 0, 0, 0, 0,19,21, 0, 0, 0, 0, 0, 0, 0, 9],
[ 0,18, 0,24,16, 0, 0, 0, 0, 8, 3, 5, 0,10, 0,13,17, 0, 0,25, 0, 0, 0, 0, 0],
[ 3, 5, 0, 0, 0, 0, 0, 0,21, 0,19, 0, 0,14, 0, 0, 0, 0, 8,18,16, 0, 6, 7,11]],


#
# This problem is problem 19 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"19":

[
[ 0,23, 0, 0,19,16, 0, 0,24, 7, 5, 9, 1, 0, 0, 0, 8,18, 0, 0, 0, 0,21, 0, 0],
[15,16, 0,22, 0,11, 8, 0, 0, 0,25, 0,14, 0, 0, 0,12,19, 0, 0,17, 0, 0, 0, 0],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 4, 0,17, 0,13, 0,24, 0,23,19,10, 2],
[ 0, 0, 0, 0, 0,19, 0,14,23, 4, 0,21, 6,22,10, 0,11, 0, 2, 0, 0, 0, 0, 0, 0],
[17,14, 0, 0, 2, 0, 0,13,12, 0, 0, 0, 0, 0,15, 4,20,22,10, 0,11, 0, 9,24, 8],
[22, 0, 0, 0, 0, 6, 2, 0, 0, 0, 4, 7,12, 1, 9, 0, 0, 0, 0, 0, 0,14, 5, 0, 0],
[ 0,18, 2, 0, 8,22, 0,19,16,21, 0, 0, 0,10,13,23, 0, 0,20, 0, 0, 3, 0,15, 7],
[ 0, 0,17, 3, 0, 5, 0, 0, 8, 9, 0, 0, 0, 0,18, 0,19, 0, 0, 0, 0, 0,23,21, 0],
[ 1,11, 0, 0, 9, 0,15,10,25, 0, 6, 0,23, 0, 0, 0, 0, 5, 3, 7, 0,17, 0, 0,24],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0,23, 0, 0, 0,24, 0, 0, 0,21,12, 0, 6, 8, 0,25,16],
[20,24,10, 0,15,23,11,17, 0, 0, 0, 0, 0, 7, 0,12, 0, 0, 0, 0, 0,22, 0, 0, 6],
[ 4, 5, 0,14,12,25, 0,18, 0, 0,23, 0,15, 0,19, 1, 0, 0, 0,22,20, 0, 7, 9, 0],
[18, 0,21, 0, 0, 8, 0,24, 0, 0, 9, 0,25, 0, 0, 0,10, 0, 0, 0, 2, 0, 1,19, 0],
[ 0, 0, 6, 2, 1, 0,13, 0,22, 0, 0, 0, 0, 0,11, 8,21,16, 0, 0,25, 0, 0,12,17],
[ 0,17,25, 0,23, 7,14, 0,21, 1, 0, 0, 0, 0, 3, 0, 0,11, 0, 0,24, 0,16, 4, 5],
[ 0, 0, 0, 0,11,18,24, 0, 0, 0, 0, 5, 0,12, 0,25, 0, 0, 0,15,23, 4, 8,14, 0],
[ 0, 0, 0,15,21, 0, 0, 0, 0, 0, 2, 0,13,17, 0, 0, 1, 7, 0, 0, 5, 9,24, 0, 0],
[ 0, 0,18, 0,22,15, 0, 0, 2,16, 0,23, 0, 0, 0,10, 6,24, 0,17,12, 0,25,11, 0],
[ 7, 2, 0, 1, 0, 0,21, 0, 0, 0,18,22, 0, 9, 6,14, 0, 4, 5,16, 0, 0, 0, 0, 0],
[ 0, 0, 9, 0, 0, 0, 7,22, 0, 0,10, 0,24, 0, 0, 0,18, 0, 0, 0,21, 0, 0, 0, 0],
[ 0,12, 0,19,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0,14, 0, 4, 8, 0],
[24, 0,11,18, 0, 0, 0, 0, 0, 0, 0,25,17,21, 0, 6, 0, 0, 1, 0, 0, 0, 0, 5,12],
[16, 6,22, 0, 0, 0,23, 4,15,18, 8, 0, 0, 0,20, 0, 0,17, 0,14, 0, 0, 0, 0, 0],
[ 0,21, 0, 0, 4, 0, 9, 1, 7, 0, 0, 0, 0,11,14, 0,16, 8,15, 0,22, 0,18, 0, 0],
[ 8,15, 0, 0, 0, 0, 0, 0, 5, 0,24, 3, 0, 0, 4, 0, 0, 0, 9, 0, 0, 0, 0, 0,20]],


#
# This problem is problem 20 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"20":

[
[ 5, 0,25,12, 0, 0, 7, 0, 0,19, 0, 0,18, 0, 0, 0, 3, 0, 0,17, 0,22, 0, 2,21],
[17, 0, 0, 0, 0, 0, 0, 0,15, 0, 0,13,10, 0, 0,23, 0,16, 0, 0, 0, 9, 0, 0,25],
[ 0, 0, 0, 3,21,12,25, 2, 0, 5, 4, 0, 7, 1, 0,11, 0, 0, 0, 0,19, 0, 8, 0, 0],
[ 7, 6,22, 8, 0, 0, 0, 3,10, 0, 0, 0,17, 0, 0,12, 0,13, 0,15,24, 0, 0, 0, 0],
[ 0, 0, 0,13,20, 0, 0,16,18, 0, 0,11, 0,21, 0, 6, 0, 8, 0, 1, 4, 0, 0, 0, 0],
[10, 0, 0, 0, 0, 0, 0,22, 0, 0, 0, 0,13, 0, 6, 0,23, 0,25, 0, 0, 0, 0,24, 2],
[ 0, 0, 0,14, 5,11,21,15, 0, 0, 9, 2, 0, 0, 3,10,19,12, 0, 0, 6,18, 0, 0, 0],
[ 0,25,23,19, 0, 6, 0, 0,14, 7,10, 0, 8, 0, 0,18,22, 0,24,21, 1, 0,16, 0,12],
[ 0,21, 3, 0, 0, 0,24, 0,23, 0, 5, 0,20,18, 0, 4, 6, 0, 0, 0, 0, 0, 9,14, 0],
[ 0,18, 0,16, 0,10, 0, 0, 2, 8, 0,22,11,25, 0, 0, 0,14, 0, 0,17,19, 3, 0, 7],
[19, 0, 7, 4, 0,21, 0, 0,13, 1,24, 9, 6, 0,10, 3, 0,22, 0, 0, 0,16,18, 0, 0],
[14, 0, 0, 0, 1, 0, 0, 0,20, 0, 0, 0, 0,19, 0, 0, 0,25, 6, 0, 7, 0,12, 0, 9],
[ 8,22, 0, 0,10, 9,19,24, 0,15, 0,25, 0, 0, 1, 0, 0, 0, 4, 0,14, 3,23, 6, 0],
[ 0, 0, 0,18, 0, 3, 0, 7, 0, 0, 0, 0, 0, 0, 0,14,21, 0,12,13, 0, 0,17, 0, 0],
[ 0, 0, 0, 0,13,14, 2, 0, 0,25, 0, 0, 0,23, 0, 0, 0, 0, 0, 0, 0, 0, 0,20, 0],
[ 0,24, 0, 7, 0,15,20,18, 1, 0, 0,16,19, 0,23, 0, 0, 0, 0, 0, 9, 0,25, 8, 0],
[ 0, 8, 9, 0, 0,17, 0, 0,11,23,22, 7, 3,13, 0,20,15,19, 0, 0,18, 0, 6, 0,10],
[25,13,11,23, 0, 0, 0, 9,22, 0, 0,12, 0, 0, 0, 0, 0,24, 0, 6, 0, 0, 7, 0, 0],
[ 0,15, 0,20, 0, 0, 0, 4, 0, 0,21,10, 9,11, 0, 0,12, 0,14, 7, 5, 0, 0,16,23],
[16, 0,10, 0, 0, 0, 0, 0, 7, 0, 8, 0, 0, 0, 0, 0,17, 0, 0, 0, 0,24, 0, 3, 0],
[11, 0, 0, 0,12, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 8,20, 0, 3, 0,25, 0, 0, 0, 0],
[13,17,14, 5, 0, 0,15,10, 0, 0, 0,19, 0, 3, 0, 0,11, 0, 2, 0,20,12, 0, 9, 8],
[ 0, 0, 0,15, 0, 0, 0, 5, 0, 0, 0, 0,23, 0, 0,19, 9, 0, 0, 0, 0, 0, 0,18, 0],
[ 0,19, 0, 0, 0,25, 0, 0,24, 0,11,20, 0, 0, 0, 0,18, 0,22, 0, 3, 0, 0, 5, 0],
[ 9, 0, 0, 0, 8, 0,11, 0, 6, 0,13, 0,22, 0,18, 0, 0,17, 0, 5,16, 0,19, 4, 0]],


#
# This problem is problem 21 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"21":

[
[ 0, 0, 6,15, 0, 0, 0, 0, 0, 5, 0, 0, 3, 0, 0, 0, 0, 0,17, 0, 0,10, 0,22, 2],
[ 0, 0, 0, 0, 0, 3, 0, 0, 0, 0,18, 8, 0,10, 0,22,12, 0,20,19, 0,21,23,16, 0],
[ 0,18, 0, 7,23, 0, 0,20, 0, 2, 0, 0, 6, 0, 0, 0, 3,13, 0, 0,11, 0,24, 8, 5],
[ 0, 3,10, 0,25,15, 0,13, 8,24,11,20, 7, 0, 2, 0, 0, 0, 0,21, 6, 0, 9,17, 4],
[ 0,20, 0, 0,12,11,22,21, 0, 0, 0, 0, 0,24, 0,10, 8, 0,16, 4, 0,13, 0, 0, 0],
[ 1, 0, 4, 0,10,16,21, 0, 0,22, 5, 0, 0,15, 0,24, 0, 9, 0, 0, 0, 0,25, 2, 0],
[ 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0,23, 4,14, 0, 0, 0],
[19, 0,12, 8, 0, 1, 0, 6, 0, 3, 0,21,24, 0,20, 7,10,16, 2,25, 9, 0,17, 0, 0],
[ 0, 2, 0, 3,11,17, 0, 0, 9, 0,10, 0, 0, 0,16, 0, 0, 0, 0, 0, 0,24, 0, 0,21],
[ 0,17, 0, 0,22, 8, 0,19, 0, 0, 0, 0, 0,23,18, 1, 0,21,14,15, 0, 0, 0, 0,11],
[18, 5, 0, 0, 4, 0, 0, 0, 0, 0,16, 0, 2, 7, 0, 0,20, 0, 0, 3, 0,22, 0, 0,17],
[25, 0, 0,14, 0, 0,18, 0,10, 0, 0, 3,11, 0, 8, 0, 0, 0, 0,16, 0, 2, 0, 0, 0],
[10,19, 0, 0, 0, 0, 0, 0,23,15,20, 0,18, 0,24, 9, 4, 7, 6, 0, 0,16, 0, 1, 0],
[ 0, 9, 7, 6, 0, 0, 0,14, 3,17, 0, 0, 0, 0,22, 5, 0,15, 0, 0, 0, 0, 0, 0,24],
[ 0,15, 0,22, 3, 0, 5, 0,16,20,12, 4, 0,17,19, 0,23, 0, 0, 0, 0, 0,18,13, 7],
[ 0, 0,21, 1,20, 0, 0, 9, 0,19, 3, 7, 0,18,13, 0, 0,11, 0, 0,14, 6, 0, 0, 0],
[ 0, 8, 2,24,17, 0, 1, 0, 0,25,23,22,21, 0, 0, 0,14, 0, 0,12, 0, 0, 0,19, 0],
[ 0, 0, 0, 0,19,21,15,23, 0,11, 0, 0,16, 0, 0, 6,22, 0, 0,17, 0, 0,13, 0, 9],
[ 0, 0, 0,12, 0,10, 0, 0, 0,18, 0, 6, 0, 0, 0, 0, 0, 0, 0,20, 0, 5, 0, 0, 0],
[14, 0,16, 0,18, 0, 0, 0, 0, 0,24, 0, 0, 0, 0,19, 0, 8,15, 0, 0, 0, 0, 0, 0],
[ 0, 0,22, 4, 0, 0, 9, 0,13, 0, 7, 0,20, 0,15,14, 0, 3,24, 0, 0, 0, 0, 0, 0],
[17, 0,23, 0, 0, 0, 0, 0, 1, 4,14, 0, 0,11, 3,21, 0, 0, 8,18, 0, 0, 0,10,16],
[20, 0,24, 0, 6, 2, 0,25,22, 0, 0, 0,23, 0, 0,17, 0, 0, 0, 1, 8,12, 0, 9, 0],
[21,12, 0, 0, 8, 0, 3, 0, 0, 0, 2, 0, 0, 0,17, 0,16, 0, 0, 0,19, 0, 0, 4,14],
[ 0,11, 0, 0, 9,23,20, 0,14, 0, 0, 0, 0,12, 6, 0,25, 0, 4,13, 0, 7, 1,24,18]],


#
# This problem is problem 22 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"22":

[
[10, 0, 0,15, 0,23, 0, 0, 0, 0, 0, 0,22, 2, 8,13,12, 0,21,18, 7, 0, 0,24,19],
[ 0, 0,11, 0, 0, 0,13, 0,22, 0, 6, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 2,10, 0, 0],
[ 0, 2, 0, 0,18, 0, 5, 6, 0,11, 0, 0, 0,19, 0,22,14,17, 0, 0, 0, 0, 0, 0, 0],
[24, 7, 0, 0, 0,17,14, 0, 0, 0,11,10, 0, 0,16, 2, 0, 0, 0, 0, 0, 0, 0, 0,21],
[ 0,17, 6,19, 0, 2, 0, 0, 0,16, 0, 7,23,13,25, 0,10, 0, 0, 0, 8, 0, 0,12, 0],
[ 0,25,23, 3, 5, 0, 0,11, 0, 0, 8, 6, 9, 0, 2, 0,16,10, 0, 0,20, 0,12, 0, 0],
[ 0, 0, 0, 0,14,22, 1, 3,24,13, 0,23, 0, 0, 0, 4, 9,20, 0, 0, 0, 7, 0, 0, 0],
[ 9,16, 0, 0,12, 0, 0, 0, 0,18,19,15, 5, 0,11, 0, 0, 7, 0, 3, 0, 0, 0, 0, 0],
[17,13, 0, 0, 0, 0, 0,19,23, 0, 0, 0, 0, 7, 0, 0, 0,14,15, 0, 0, 0, 0, 9, 0],
[ 1, 0,24,10, 0, 0,16, 0,20,21, 0, 0, 0, 0,17, 0, 0,11, 0,12,25, 0, 0, 0, 0],
[ 0, 0,12,14, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 9,18, 0, 0, 0, 0, 3, 0, 0, 0, 0],
[15,19, 0, 0, 8, 3,25, 0,14, 0, 0,20, 7, 0,23,21, 1, 5,17, 0, 0,18, 2, 0, 0],
[ 0, 4, 0, 0,16,19, 0, 0, 0, 6,13,18,11, 0, 0, 0,25, 0, 0, 0,10,17,21, 0,12],
[ 0, 1,18, 0, 2, 0,22, 0, 0, 0, 0, 8, 3, 0,15, 0, 0, 4, 0,23,11,14, 0, 0, 0],
[21, 3,22, 0,24,13, 0,17, 0,10,16, 0, 0, 4, 0, 0, 0, 0, 0, 6, 9, 0, 0, 0,15],
[ 0, 8, 0, 0, 0, 5,17, 0, 3, 0, 0, 0, 0, 0,22, 0, 0, 0,13, 0, 0,20, 0, 0, 4],
[ 3, 0, 0, 4, 0, 0,10,14,13,24, 7,19, 0, 0, 0, 5, 0, 0, 9, 0, 0,16, 1, 0, 0],
[ 0, 0, 2,23, 9, 0, 8,15, 0,25, 0,24,18,16,12, 0,21, 6, 0, 0,14, 0,17, 0, 0],
[12, 0, 0, 0, 1, 0, 7, 0, 0,20, 0,21, 6, 0, 4,14,24, 0, 8, 0, 5, 0, 0, 0,23],
[ 0,18,16, 0,17, 0, 0,22, 0, 0,14, 0, 0, 0, 1,10, 2,23, 4, 0, 0, 8, 0,15, 0],
[ 6, 0, 0, 5,19, 0, 0,23, 1, 0, 0, 0, 2, 0, 0,17, 0,18,16,10, 0, 0, 0,25, 8],
[ 0,21, 0, 0, 0,24, 0, 0, 0,17, 0, 0, 0,12, 0, 0, 0, 0,22, 5,16, 0, 0,10, 0],
[ 0, 0,15, 0, 0, 0, 3,12, 0, 7, 0,25, 0, 0, 5,23, 0, 0,11, 0, 0,13,22,17, 9],
[ 2, 9, 1,13, 0, 0, 6, 0, 0,22, 0, 0,17, 0, 7, 0, 3, 0,19, 0,23, 0, 0,11, 0],
[ 0, 0, 0, 0,22,20, 0, 0, 2, 9,15, 0,16, 0,13,24, 4, 0, 0, 0, 6, 0,14, 3, 5]],


#
# This problem is problem 23 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"23":

[
[ 0, 0, 0, 0,11, 1, 2,24, 3, 0, 0,13, 0, 0,15, 0, 0,20,25,21, 0,14, 4, 0, 7],
[ 1,22, 0, 0,16,21, 0, 0,17, 0, 0,20, 0,10, 0, 0, 0, 0, 0, 3, 9, 0,25, 0, 0],
[ 0, 8, 0, 3, 0, 4, 0, 0, 0, 0, 0, 7, 0, 0, 6, 0,15, 0, 0, 0, 0, 0,12,20, 0],
[25, 0,24, 0, 0, 0, 7, 5, 8, 0, 2, 0, 0,22,12, 0, 0, 0, 0, 0, 1,21, 0,10, 0],
[ 0, 0, 0,17,15,20, 6, 0,10, 0, 0, 8, 0, 0, 0, 9,11, 0, 0, 0, 2, 0, 0, 0,19],
[ 9, 1, 0,20,19,14, 0, 0,21, 0, 5,24, 0, 0,16,13, 0, 0, 0, 0, 0, 4, 0, 0, 0],
[ 0,18, 0, 0, 3, 0, 0,13, 0, 2, 0, 0, 0, 0, 0,12, 4,22,21,10,20, 0, 0,23, 0],
[ 0, 4, 0, 0, 6,18,10, 0,25, 7, 0, 0, 0, 0, 0,11, 9, 0, 0, 0, 0, 0, 0, 3, 0],
[22, 0,15, 0, 0, 0, 4, 0,19, 0, 0, 0, 8, 0, 0, 0, 0,23, 0,17, 0, 1,16, 7, 0],
[ 0, 0, 5,25, 0,23, 0, 0, 0, 0, 0,12, 0, 7, 3, 1, 0,18, 0,14, 0, 9,10, 0, 0],
[ 0, 0, 0, 0, 0,16,24, 0,20,13,21, 0, 0, 0, 0, 0, 0,11,10, 0, 0, 0, 0, 0, 0],
[ 0, 3,10, 0, 0,15, 0, 0, 0, 9, 0, 0,20, 0,14,18, 5, 0, 7, 0, 0, 6, 0,13,23],
[ 0,16, 0, 5, 4, 0,21, 0, 0, 0, 0, 0,25,17, 0, 0, 3,15, 6, 0, 0, 0, 0, 2, 0],
[ 0, 0, 0, 0,25, 0, 0, 0, 0, 0,16, 0, 0, 2,13, 0,24,17, 0, 1,11, 0, 0, 0,12],
[ 6, 0,14,22, 0, 7,23, 0, 0, 0, 0, 3, 0,11, 4, 0, 0,13,12, 0, 0,20, 1,25, 0],
[11, 0, 9, 0, 0, 0, 0, 0,18, 0, 0, 5,23, 0, 0, 0, 7,24,16,20, 0, 0, 0, 4, 6],
[24,15, 0,16,13, 6,17,25, 0, 0,19,22, 0, 0,11,10, 8, 0,18, 0,12, 0, 0, 0, 0],
[ 8, 0,21, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,25, 0, 3,22, 5, 0, 0, 0, 9, 2],
[ 0,14,22, 0, 0, 0, 0, 0, 4, 5,18,15, 7, 0, 0, 0, 0, 2, 0,12,19, 8,13,21, 0],
[ 0, 6, 0, 4, 0, 8, 0, 0,23,10, 0, 2, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0,16,18],
[ 2, 0, 0,10, 1,13,12,23, 0, 0, 3,16, 0,15, 5, 0,21, 0, 0,18, 0, 0,24, 6,17],
[ 0, 0,11,18,24, 0, 0, 1, 0,17, 0,21, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[12, 0,25, 0, 0, 0, 0, 0,22, 8, 0, 9,24, 0, 0, 5,10, 0, 0,23, 0,19,20, 0,13],
[17, 0, 0, 0,23, 0, 0, 0,15,24,10, 4, 0, 0, 7, 3, 0, 0, 0, 0, 5, 0, 0,12,22],
[ 0,13, 4, 0, 0, 3, 0, 0, 0, 6,11,14, 0, 0,23, 0, 2,19,17, 8, 0, 0,21, 0, 0]],


#
# This problem is problem 24 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"24":

[
[21,19, 0,15,17, 2, 0, 0, 0,20, 0, 0, 0, 0, 3, 5, 9, 0,14, 0,11, 6, 0,23, 0],
[ 0, 0, 0,14,22,21, 1,15,12, 0,25,19, 0,10, 0, 8,18, 0, 0, 0, 0, 2, 0,20, 4],
[ 9, 0, 0, 0, 0, 0, 0, 0, 0,16, 1, 0, 0, 6, 0, 0,20, 0, 0, 0,25,10,21, 3,12],
[25, 0, 0, 0,12, 3, 4, 0, 0, 8, 0,23, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,14, 0],
[ 0, 0, 0, 7, 0, 0, 0, 0,14, 0, 0,18,24, 0, 0, 0, 1, 2, 4, 0,19, 5, 0,15, 0],
[ 0, 8, 0,21, 0,25,10, 0, 2, 0, 0, 3, 1,15,16, 0, 0, 0, 0,23, 0, 0,12, 0,18],
[15, 0,16, 0, 0, 0, 0, 0, 0,22, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0,20, 0, 0, 1, 0],
[ 0, 0, 0, 0, 2,20,17, 6, 0,19,24,13, 0, 0, 9, 0,21, 0, 0,16, 0, 0, 0,11, 0],
[ 0, 6,24, 3, 0, 0,16, 0, 0, 0, 4, 0,23,19, 0,17, 0,25,11, 0, 0, 0, 5, 0, 9],
[18, 0, 0, 0,20, 0, 0,21,11,23, 0, 0, 0,14, 0, 7, 6, 0,10, 0, 0, 0, 0, 8, 0],
[13, 0,11, 0,21, 0, 0, 0, 0, 0, 0, 8, 0, 3, 0,12, 0,20,22, 0, 6, 0, 0, 0, 0],
[ 0,12, 5, 9, 3, 0,18, 0,23, 4, 0, 2, 6,22,11, 0, 0, 1, 0, 0,21, 0,20, 0, 0],
[22, 0,15, 6, 0, 0, 0, 0, 0, 0,13,10, 4, 5, 0, 9, 0, 0,23, 0,18, 3, 0, 0,11],
[ 0,16, 0, 0, 7, 9, 0,17, 0, 0, 0,20,19, 0, 0, 0, 4, 0, 0, 0,10,23, 0, 2, 0],
[ 0,20,17, 0, 0, 0,11,12, 0, 0, 0, 0,21,24,23, 0, 0, 7, 0, 0,13, 0, 8, 0,15],
[ 2, 0, 0,11, 0, 0, 0,22,25, 0, 0, 0, 0, 7,24,14,19, 4, 0, 0, 0, 0, 6, 0, 1],
[ 0, 4, 0, 0, 0, 0, 2,24, 0, 9, 0, 0, 0, 0, 0, 0,23, 0, 0, 1, 0, 0, 0, 0,16],
[ 0, 0, 0, 0, 0,16, 0,19,15, 0, 2, 0, 0,21, 0, 6, 0, 5, 0, 0, 0, 0, 0, 0, 0],
[12, 9,10, 0,16, 0, 0, 0,17, 1, 0, 0, 0,25,19, 0, 0,21, 0, 3, 0, 8, 0,22,23],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,22, 0, 0, 0, 0, 0,24, 0,25, 8, 0,20, 3,19, 0],
[ 0, 0, 0,23, 0,17,25, 0,20, 2, 5,16, 3, 0, 0,19,12, 8, 0, 0, 1,22, 0, 0, 0],
[ 0, 0, 2,20, 0,15,12, 3, 4, 0,10, 0, 0, 0, 0,23, 7, 0, 0, 9, 0,21,11, 0, 0],
[ 0, 0, 6, 5,13,19, 0, 0,21, 0, 0,12, 0, 4, 0, 1, 0, 0, 0,11,16,15, 0, 0, 0],
[24,15, 0, 0,14, 0, 0, 7, 0,11, 0, 0, 0, 0, 0, 0, 0, 6, 3, 4, 0, 0, 0,13, 0],
[16, 0, 3, 0, 0,23, 0,18, 9,13, 7,25,22, 8,20,15, 2, 0, 0, 0, 0, 4, 0, 0, 0]],


#
# This problem is problem 25 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"25":

[
[ 0, 1, 0, 0,18, 8, 0,25, 0, 0, 6, 0,23, 0, 0, 0,11,13, 0, 0, 0, 3,24, 0, 0],
[ 0, 9, 0, 6, 0, 0, 0,14, 0,22, 4, 3, 0, 8, 0, 0,10,20, 0, 2,19, 0, 1, 0, 0],
[ 0, 0, 0,19,20,21, 0, 0, 0,15,10, 0, 0, 0,25, 0,18, 4, 0, 0, 0,13,11, 0, 0],
[14, 0, 0, 0,25, 0,18, 0,11, 0, 7, 0, 1, 0, 0,19, 0,17,12, 0, 0, 0, 9, 8, 0],
[ 0, 0, 5,22, 8,16,19, 0,20,13, 0,24, 0, 0, 0,23, 3, 0, 0, 1,10,18, 0, 0, 0],
[20, 0, 2,12, 4, 0,22, 0,23, 0, 0,19, 0, 0,18, 0, 0, 0, 0, 0, 0, 0,17, 0, 5],
[23, 0, 0,11, 9,24, 0,13, 0, 0, 0,20,17, 6, 0,14, 0, 0, 0,12, 0, 0, 0, 7,18],
[13,14, 0, 0,19,20, 4, 0, 0, 0, 0, 0,21, 0, 1,11, 7, 0, 0, 6, 8,25,23, 2, 0],
[ 0, 0, 0, 0, 0,25, 0, 0, 0,12, 0, 0,15, 0, 7, 0, 0, 0,21, 0,24, 9, 0, 0, 0],
[ 0, 0, 0, 3, 5, 0,17, 0, 0, 0, 0, 0, 0, 9, 2, 0, 0,22, 0, 4, 0,14,12, 0, 1],
[25, 0, 0,18,21, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0,13, 0, 0],
[ 0, 0, 0, 0,11, 9, 0, 0, 8, 0, 3,18, 5, 0,12, 0, 0, 0,20, 0, 0, 0,15, 1, 0],
[15,17, 0, 0, 0, 0, 2,24, 0, 0,13, 0, 4,22, 0,25, 0, 0, 0,10, 0, 0, 0,16,12],
[19,10, 0, 0, 0, 0, 0, 0, 0,20,15, 0, 0, 0, 0, 0, 0, 0, 4, 0,14,24,22,18,25],
[ 3, 0, 7,16,23,15, 0, 0, 0,10, 0, 2,24,11, 9,12, 0,14, 5, 0,17,19, 0, 0, 0],
[ 2, 0,18, 0, 1, 0, 0, 0, 0, 0, 0, 0,10,24, 5, 0,25, 0, 0, 0,20, 0, 3, 0, 0],
[ 0, 0,17, 0, 0, 0, 0,21, 0, 0,22, 0,12,18,19, 0, 0, 7, 0, 0, 0, 4, 0, 0, 0],
[16,24, 0, 9, 0, 0,20,15, 0,18, 0,25, 3, 0, 0, 0,14, 0,17,19, 0, 0, 0,23, 7],
[ 5, 0, 3, 7, 0, 0, 0,11, 0,14, 0, 0, 0, 4,23, 0, 0,24, 0, 8, 0, 0, 0, 0, 0],
[ 4,11, 0, 0, 0, 7, 0, 9,24, 0,17,21, 0, 0,14, 2,12, 3, 0,20, 5, 1, 0,22, 0],
[21, 0,24, 4, 2, 0, 0, 0,13, 0, 0,10,19, 0, 8, 0, 0, 0,16,17, 0,23, 0, 0,14],
[ 9,22, 0, 8, 0,17, 0, 0,21,16, 1, 0, 0,23, 0, 0, 5, 0,14, 0, 0,15, 7,11, 0],
[ 0, 0, 0, 0, 0, 0,15,10,12, 0, 0, 5,22, 0, 0,18, 6,19, 0,11, 4, 0, 0, 0,16],
[ 0, 0, 0,15, 0, 0, 8, 2, 0, 0,25, 0,14, 0, 0, 0, 0, 0, 0, 3, 6,17,20, 0,21],
[11, 0,19, 0,16, 5, 0, 0, 0,24, 0,17, 2, 0, 0, 9, 8, 0, 7, 0, 0, 0, 0, 0, 0]],


#
# This problem is problem 26 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"26":

[
[ 0,12,23,25,17,20, 0, 5, 3, 0,24, 9,15, 0, 0,13, 0, 7, 8, 0, 0,19, 0, 0, 0],
[19, 0, 0, 0, 0, 0,15, 0,13,11, 0, 0, 0, 7, 0,16, 0, 0,25,10,14, 0, 0, 0,21],
[ 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 4,10, 0, 0, 0, 0, 0, 0,18, 0, 0, 0],
[10, 0, 0,21, 0, 6, 0,14, 0, 1,19,16, 0, 0, 0, 0, 5, 0,17, 0, 2, 0, 0, 0, 9],
[ 0, 0,16, 4, 0, 0,25, 0, 0, 0,14, 2,23, 0,22, 0, 0, 0,12, 0, 0,15,11, 0, 1],
[ 0, 0,25,20,19, 0, 0, 0,16, 4, 1,24, 0, 0,12, 0,23, 0, 0,17, 0, 0, 0, 0, 0],
[ 0,22, 0, 0,18, 5,21, 9, 7,19, 0, 3,17, 0, 0, 0,14, 2, 0, 8, 0, 0, 0,13, 0],
[ 1, 0, 4, 0, 0,24,23, 0, 8, 3,16, 0,25, 0,13, 5, 9, 0, 0,12, 0,11,17, 0, 0],
[ 0, 0, 2, 0, 9, 0, 0, 0, 0, 0, 0, 0, 4, 0,15, 0, 3, 0, 6, 0, 0,24, 0, 7, 0],
[ 3,15, 0, 7, 0,22,14,12, 0, 0, 5, 0, 0, 0, 2, 0, 0, 4,20, 0,21,23, 8, 0, 0],
[ 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0,22,15, 7, 0, 6,10,24,16, 0, 0,21,14, 0],
[12, 1, 0, 3, 0, 0,19,16, 0, 0,13, 0, 9, 0, 0, 0, 4, 0, 0,23, 0, 0, 0, 6, 8],
[ 0, 0, 0,22, 7,21, 9, 0, 0,23,17,10, 0, 0, 0,15,19, 0,18, 0, 0, 3, 0,12, 0],
[ 0,10, 0, 0, 0,25, 0, 0, 0, 5, 0, 0, 0,14, 3, 0, 8,22, 0, 0,20, 4,24,15,16],
[ 0, 0, 0, 0, 0,12, 0, 6,20,18,25, 0, 0, 0, 8, 0, 0, 3, 0,13,19, 0, 0, 0, 0],
[ 0, 2, 0,19, 0, 0, 0, 3,12, 0, 0, 7, 0,13, 0, 9,10, 0,14,15, 6,21, 0, 0, 0],
[ 4, 0, 0, 0, 3, 0, 6,23, 0, 0, 0, 0, 0,21, 9, 0,17, 0, 0,25, 8, 0, 0, 0, 2],
[ 0, 9, 0,12, 0, 4,17, 0, 0, 0, 0, 0, 0, 0,25, 0, 0, 0, 0, 1, 0, 0,15,19, 3],
[ 0,21,13, 0,20, 8, 7, 0, 1, 0,11,22, 5,10,19,23, 0, 0, 0, 0, 4,17, 0,16, 0],
[ 0,11, 0, 0,22,10,18, 0, 0, 0, 0, 0, 0, 0, 0, 4, 7,24, 0,21,13, 0, 0, 0, 0],
[ 0,16, 0, 0, 0, 0, 3, 0, 0, 0, 0,15, 0, 0, 1, 0, 0, 9, 0, 0,22, 0, 0,20, 6],
[25, 7, 0,10, 0, 0,11, 8, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0,18, 0, 3, 0, 0],
[22, 0, 0,24, 0, 0, 0, 0, 9,20, 2, 0, 0, 6, 0, 0, 1, 0,23, 0,15,14, 0,21, 0],
[ 0, 0, 0, 0,14, 0, 0, 0,10, 0, 0,23, 0,19, 0,18,16, 8, 0, 0, 0,12, 0, 9, 0],
[ 6,20,21, 0, 4, 0, 0, 0,15,12,18, 0,10, 0, 0, 0, 0, 0, 5,19, 0, 2,13, 0,23]],


#
# This problem is problem 27 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"27":

[
[14, 0, 0,18, 0, 0, 0,22, 0, 0, 0, 0, 0, 0,21, 0, 0, 0, 0,13, 0, 0, 0,11,20],
[15, 0, 0,11,17, 9, 0,20, 0,10, 2, 0, 7, 0, 0,14, 4, 0,25, 0, 6, 0, 0,22, 0],
[ 0, 6, 0,19, 0, 0,25,13, 8,15,14, 0,18,22, 0, 0, 0,20, 0, 0, 0, 5, 4, 0, 0],
[21, 0, 0, 0, 8,14, 0, 0, 0,18,10, 0, 0,17,12, 0, 0, 0, 0, 0, 0, 0, 0, 7,19],
[ 0, 0, 0, 0, 0, 7,17, 0, 4, 0,19,20, 0, 0,13,24,15,12, 0, 0, 0, 0, 9,18, 0],
[ 9, 0, 0, 0, 7,10, 0, 5, 0,11, 0,22, 3, 4,14, 0,20,13,19, 8, 0, 0, 0, 0, 0],
[ 8, 0, 0, 0,11,13, 0, 0, 0, 0,24, 0, 0, 7, 0, 0, 0, 0,12,25, 0,14, 0, 6, 0],
[ 0, 1, 0, 3, 0, 0, 8, 0, 0, 0, 0,13, 0, 0, 0, 2, 0,22,21, 0,11, 0, 0, 5,10],
[ 0,14, 2, 0,10, 0,24, 0, 7, 0, 0, 1, 0, 0,18, 0, 6, 5, 9, 0, 0, 8,21,13, 0],
[20,15, 0, 0,22, 2, 0, 0, 0,25,21, 0, 0, 0, 0, 0, 0,10, 0,16, 0, 0,23, 3, 0],
[ 0, 0, 0, 7, 6,23, 0, 1, 0, 0,12,11,16, 0, 0, 0,13,25,20, 0, 0,24, 0,19, 2],
[ 0,19,20, 0, 0, 0, 6,11, 0, 9, 0, 0,25, 0, 7, 0,23, 0,14,22,15,13,16, 0, 5],
[23, 0, 0, 0, 0,16, 0,15, 0, 8, 0, 0, 0, 0,24,17, 9, 0, 2, 0, 0, 0,14, 0, 7],
[ 0, 0, 0, 0, 4, 0, 3, 0, 0, 0, 0,15, 9, 0, 0, 0, 0, 0, 5, 0,23,12, 0,10, 0],
[22, 0,10, 0,16,21, 0,19, 0, 0, 0, 0, 0, 0, 5, 0, 0, 4, 0, 7, 0, 9, 1, 0, 0],
[12, 0, 8,23,14, 0, 5, 0, 0, 6, 0, 0,22, 0, 0, 0, 0, 0,11,19, 1, 7, 0, 0,17],
[ 7, 0, 6, 0, 0, 0,23,21, 0, 4, 1, 0,10,12, 0,18, 8, 0, 0, 0,16,19, 3, 0, 0],
[ 0, 0, 0, 5, 3,25, 0,16,22, 2, 0,21, 0, 0,15, 0, 0, 0, 0, 0,20, 0, 6, 8, 0],
[19, 0, 4, 0,13, 0, 0,17, 0, 0,18,16, 0, 0, 8,20, 0, 0, 3, 5, 0,23, 0,15,21],
[25, 0,15, 0, 0, 0, 9, 3, 0,13, 0, 0, 0, 0, 0,10, 0, 1, 0, 0, 0, 0, 0, 0,22],
[ 0, 0, 7, 0,18, 0, 0, 0, 1, 0, 0, 0,13,15, 0, 0,25,19, 0, 4, 0,22,10, 0, 0],
[ 0,20,23, 0, 0, 0, 0, 0, 5,17, 0, 0,24, 0, 6, 3, 0,14, 0, 2, 0, 0, 0, 0, 4],
[ 0, 0, 0, 0, 1, 0, 0, 0,24, 0, 0,10, 2, 0, 0,13,12,17, 8,11, 0, 0,20,14, 0],
[ 3, 0,17,10, 0, 6,11,25, 0, 0, 0, 0, 0,19, 1, 9, 5, 7,24, 0, 0, 2, 8, 0, 0],
[ 4, 2,19,24, 0,18, 0, 0, 0,20, 5,12, 0, 0, 0, 0, 0, 0, 6, 0,25, 0,11, 0, 0]],


#
# This problem is problem 28 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"28":

[
[ 0, 0, 0,16, 8, 7, 0, 0,24, 0, 0,15, 0,23, 0, 0,12,17, 6, 0, 0,13, 0, 0, 2],
[12, 1, 6, 0, 0,23, 0, 0, 0, 0,13,21, 0, 3, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 0,21,23, 0,14,20, 0, 0,13, 0, 0,24, 0,16, 6, 0, 4, 1, 2, 0, 0, 0, 0, 5,17],
[20, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 5, 9,22, 0, 0, 0,25, 0, 0, 3, 0, 0],
[ 0, 0,10, 9, 0,22, 0, 6, 0, 0, 0, 0, 8, 0,14, 7,24, 3, 0, 0,20, 0, 0,21,11],
[ 7, 0, 0, 8,11, 0, 1, 0,14,25, 0, 0, 0, 0, 0, 4, 0,21, 0, 6, 0,12, 0, 9, 0],
[ 0, 3, 0, 6, 0, 0, 0, 9, 0, 8, 5, 0,10, 2,15, 0, 0, 0, 0, 0,11, 0,14,25, 0],
[ 0,13, 4,20, 0,21, 0, 0,23,10, 0, 0, 0, 0,12, 0,22, 0,14, 0, 0, 7, 0, 0, 0],
[21, 0, 0,25, 0, 3,17, 0,12,16, 0, 7, 0, 0, 0, 0,13,20,15, 0, 0,18, 6, 0, 0],
[ 5,14,17, 0,16, 0, 7, 0, 6, 0, 1, 0, 0, 0, 0,19, 0, 0, 0, 0,13, 3,20, 0,24],
[ 0, 6, 0, 0, 0, 0, 0,16, 0,20, 0,14, 0, 0,18, 2, 0, 4,19, 0, 0, 0, 0, 0, 0],
[ 0, 0,18,12,15,25, 0, 8,17, 7, 0, 2, 0,24, 0,11, 0,23,22, 5, 0, 0,16, 0, 0],
[ 0,22, 0, 0,13, 9, 0, 0,11,14, 0, 0,19, 0, 0,15, 0, 0,18, 7, 0, 0,21,10,20],
[ 0,11,14, 0,21, 0, 0, 0, 3, 1, 0,22, 7,15,20, 0, 0,12, 9, 0, 0, 8, 0,13,23],
[ 0, 2,24, 0, 0, 0, 0, 0, 0,13, 3, 8,12, 0, 0, 0,14, 0, 0, 0,15, 0,25, 0, 0],
[ 0,10, 0, 0, 0, 0, 0,22, 0, 0,23,11, 0, 0, 3, 0,19, 0, 7,14, 8, 0, 0, 2, 0],
[ 0, 0, 0,24, 0, 0, 0,11, 0, 0, 6, 0, 0,12, 0, 8,20,16, 4, 0, 0, 5,13, 7,22],
[ 0, 0, 0, 0,22, 8, 0, 0,18, 0, 0, 9, 0, 0,10,21, 1, 0,24, 0, 3,17,11,23,16],
[ 0,12, 0, 0, 4, 0, 0, 0, 0,21, 0, 0, 0, 0, 0,13, 0,15, 0, 0, 0, 0, 0, 0, 0],
[19, 0, 0, 5,23,15, 0, 0,16, 0, 0, 0,17, 0, 0, 6, 0, 0,12, 0, 0, 1, 0, 0, 0],
[13, 0, 0,23, 0, 0,24, 0, 0, 0, 0,16, 9, 0,19, 0,10, 0, 0,18, 0, 0, 0, 8, 0],
[ 0,15, 0,17, 1,11,23, 0,20, 0,24, 0, 4, 0, 8, 0, 6, 0, 3, 0, 9, 0,22, 0, 0],
[11, 0, 0, 0,18, 0, 0, 0, 0, 9,20, 0, 0, 6, 0, 0, 2, 0, 0, 0,16, 0,17, 1, 0],
[24, 0, 0, 0, 7, 0,12,19,22,18, 2, 5,23, 0, 0, 0,17,13,20,11,25,15,10,14, 0],
[ 0, 0, 0, 0, 0, 2, 8, 0,15, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,24, 0,19,20, 0]],


#
# This problem is problem 29 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"29":

[
[ 9, 0,20, 0, 0, 6,13, 0,18, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 0, 0, 0],
[ 0,18, 0,14, 0, 0,11,20, 0, 0, 0,16,23, 0, 0, 0, 6, 0,21, 0, 0, 0, 3, 0, 0],
[ 7, 0, 0, 0, 0, 2, 0, 0,21, 8,14, 0,20, 0,13, 1, 0,25, 5,18, 0, 6, 0, 0,10],
[ 0, 0,23, 0,21,14,17, 0,10, 3, 2, 0, 0,12,22, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 0, 0, 2, 0, 0, 0, 0, 9,23, 0, 0, 0, 3, 0,18,12, 0, 0, 0,19, 0,20,15, 8, 0],
[ 0, 0, 0, 0, 0, 0,16,10, 0, 0,12, 0, 7,19,25,23,18, 3, 0, 0, 0, 0, 6,21, 0],
[ 0, 0, 0, 0,14, 0,19, 0, 8,20, 0, 0,18, 0, 0, 0, 0, 0, 9, 7,23,16, 2, 0,11],
[24, 7, 0, 0, 3,17,18, 0, 0, 0,22, 0, 0, 0, 0, 0,13,12,15, 5, 0, 0, 9, 1, 4],
[21, 0,22, 0, 4, 0, 3, 0, 1, 9, 0,13, 0, 0, 2, 0, 0, 0, 0, 0, 0,15, 0,20, 0],
[11, 0, 0, 0, 0,15, 0, 0, 0,24, 9, 0, 6,10,23,16, 0, 2, 0,25,17, 0,14, 0, 5],
[ 8,20,13,22, 0, 0, 0, 5, 0, 1, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0,25, 0, 0, 6],
[ 0, 4, 0,17, 0,21, 0,12, 0, 0,19, 2, 0, 0, 0, 0,16, 0, 0, 3,18,24,23, 0, 0],
[12, 0,10, 0, 0,19, 0, 0,14, 0, 0, 0, 1,20, 0, 0, 0, 0, 0, 0, 9, 2, 0, 5, 0],
[ 0, 9,24, 0,23,25, 0, 2, 0, 0, 0,18,10, 0, 0, 0, 0,17, 0, 0,16, 0, 0, 7, 0],
[ 0, 0, 0,18, 5, 0, 0,24, 0,23, 4, 0,17, 0, 0, 0, 2,13,12,20,19, 0, 0, 0,14],
[ 5, 6, 0, 0, 0, 0, 1, 0,13, 0, 0,10,19, 0, 0, 0, 0, 0, 7, 0,21, 0,24, 0, 0],
[20, 0, 8, 0,17, 0, 7, 0, 9, 0, 5, 0, 0, 0, 0,10,12, 0, 0,24, 0, 0,16, 6,15],
[ 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,24, 0, 0,12, 0,15, 0,25, 6,20, 0, 5, 0, 0],
[ 0, 0, 0,24,12, 0, 4,19, 2, 0, 3,14, 0, 9, 0, 0, 0,23, 0,17, 7, 0, 0,25, 1],
[ 0,11, 0, 7, 0,20, 0, 0, 0, 0, 0, 6, 0,22,17, 0,21,19, 0, 0,10, 0, 0, 0, 0],
[18, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0,25, 0, 0,14, 7,13, 9,24, 0,11, 0,17],
[14, 0, 3,16, 0,24,25, 0, 0, 0,18, 1,12,11,21, 0, 0,15,23, 4, 0, 0, 8, 2, 0],
[ 0,10, 0, 0, 9,23, 0, 8, 0,14, 0, 0, 0, 7, 3,24, 0, 0,17, 0, 0, 0, 0, 4, 0],
[ 0,22, 0,12, 0, 3, 0, 0, 0, 0,13,20, 0, 0,14,18, 0, 0, 0, 0, 0, 0,19,16, 0],
[ 0,17,25, 0, 0,13, 0, 0,15,11, 0, 0, 0,23,24, 0, 1,20,19, 8, 0,10,21, 0, 0]],


#
# This problem is problem 30 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"30":

[
[ 0, 0, 0, 0,21, 0, 1, 0, 8,17, 0,12,24, 0, 0,25, 0, 0, 0, 0,15,10, 0, 0, 0],
[25, 1, 0, 2, 0, 4,12,24, 0, 0, 0,20, 0, 0,10, 0, 0, 3,17, 8, 0, 0, 0, 7, 0],
[18, 0, 0,17, 0,16, 0, 5, 0,11, 0, 6, 0,22, 0, 0,10, 2, 4, 0,20, 0, 0, 9, 0],
[ 0, 0, 0, 0, 6,18, 0,20,15, 9, 0, 0, 5, 0,25, 0,19, 1, 0,11,13,12,14, 0,22],
[ 0,10, 0, 0, 0, 0, 2, 0, 0, 0,15, 0, 0,21, 0, 0,14, 0,22, 0, 6, 0, 5,24, 3],
[ 7, 0, 0, 1, 0,12, 0, 0, 0, 8, 0,21, 9, 0, 0, 4,25, 0, 5, 0,16, 0,20, 0, 0],
[19,24, 0, 5,17, 0,22, 2, 0,18, 0, 7, 0,15, 0, 6,13, 0, 0,10, 4, 0, 0,23,14],
[14, 0, 3, 0,23,24, 0, 0, 0, 0,20, 2, 0, 0, 0,21,16, 0, 0, 7,19,22, 0, 0, 0],
[ 0, 9,15, 0,12,19, 0,17, 0, 0, 0, 0,10, 0,23,20,11, 0, 1, 0, 0, 2, 0, 5, 0],
[ 2,21,11, 0, 0, 0, 5, 0, 0, 7, 0,25, 3, 6,17, 0,22, 0, 0,23, 0, 0, 0, 1,13],
[ 0, 0, 0, 0, 0,25, 0, 0,11, 0, 0, 0, 0, 4, 6, 0,17,19, 0, 0, 0, 0, 0, 0, 0],
[11, 4, 0, 0, 7,21,18, 0,12, 0,16,13, 2, 0, 0, 0,20,10, 0, 3,17, 0, 0, 0, 0],
[20, 5, 0, 0, 0, 0, 0, 0, 6,19, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 7,24, 8,25],
[21,25, 0, 0, 0, 5,20, 0,16, 0, 0,19,11, 3, 0, 0, 0, 0, 0, 0, 0, 1, 0,22, 0],
[ 0, 0,14,16, 0, 0, 0, 4, 0,15, 0,23,20,12, 0, 0, 0,24, 0, 0, 9, 0,11, 0, 0],
[ 0, 0,22,18, 0, 0, 0,13, 3, 2,10,16,25, 0, 0, 5,24, 0, 0, 0, 7, 4, 0,11,23],
[15,12, 7, 4, 0, 0, 0, 0, 0, 1, 0, 0,21,24, 0, 0, 8, 0, 0, 0, 5, 0,13, 0,19],
[ 0, 0,19,23, 0, 0, 0, 0,17, 0, 0, 0,14, 0,18, 0, 0, 0,13,25,10, 3, 0, 6, 0],
[10,14, 0, 0, 0, 0, 0, 0, 0,24, 3,15, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0,17],
[ 0, 0, 0, 8, 0, 0, 6, 0, 0, 0, 0, 0, 0, 2, 4, 0, 9,16, 0, 0, 0, 0,18, 0, 1],
[ 0,22, 0, 0, 0, 0, 8, 0, 9, 0, 0,24, 1, 0,15, 0,12, 0,14,21, 3, 0, 0, 0,10],
[ 0,23, 0, 0, 0,14, 0, 3, 0, 0, 0, 0, 0,18, 7,22, 1, 0, 0, 0,24,13,16, 0,20],
[ 1, 0, 0, 0, 0, 0, 0,25, 0,23, 9, 0, 0,13, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0],
[ 0,18, 0,25, 0, 0,15,16,24,12,22,10, 0, 0, 0, 0, 0, 0, 0,19, 0, 5, 0, 0, 2],
[ 0,16,20, 0, 0, 0, 0, 7, 0, 0, 0, 3, 0, 0, 0, 0, 0, 9, 2, 0, 0,11, 0,21, 4]],


#
# This problem is problem 31 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"31":

[
[ 0, 0, 0,17, 0, 0, 0, 0,16,20,22, 0, 4, 3, 0, 0,11, 0,13, 0, 0, 0, 0, 0, 0],
[ 1, 5,18, 0,12, 0, 0, 0, 0, 8,11, 0, 6,13, 0, 7,16, 0, 0, 0, 0,10, 0,17, 4],
[ 0, 7, 0, 0, 0,15, 0, 0,11, 0, 0, 0,19, 0,14, 1, 6, 0,23, 0, 0, 0, 0, 3, 0],
[ 0, 0, 0,13, 0, 1, 0, 0, 0, 6,21, 7, 0,17, 0, 5,20, 0, 0, 0, 0,25, 9, 8,15],
[20,19, 0,10,15, 0, 5,12,17,24, 0, 0, 0,23,25, 2,22, 0, 0, 0, 0, 0,11, 0, 0],
[ 4, 0, 0,20, 0, 0,18, 9, 0,22, 0,13,23,25, 0, 0,10, 0, 3, 0, 0,14, 5,24, 6],
[25,16,12, 0, 0, 0,17,14, 0, 0, 0, 0, 0,18, 5, 0, 0,22, 0, 0, 0, 7, 0, 0,19],
[ 0,11, 0,14,19, 0, 0,16, 0, 5, 0, 0,21, 0, 0, 0, 0,13, 0, 4, 8, 0, 2, 0, 0],
[ 0,13, 0, 0, 0, 0,23, 0, 4, 0,19, 0, 2,10, 0, 0,17, 0, 0, 5, 0, 0,15, 1, 0],
[ 8, 0, 0, 0, 0,10,19,21,13, 0, 7, 0, 0,24,22, 0, 0, 0, 1,11, 0, 0, 0, 0,25],
[12,17, 0, 0, 0,23, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 3, 0, 0, 0, 0, 0],
[18, 0, 0,24, 0,19,21, 0, 0,25, 5, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0,20,17, 0, 8],
[13, 0, 2, 5, 9, 0,14, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0,21, 3, 0, 0],
[ 0, 0, 0, 3,20, 6, 0,11, 0,10,14, 0, 0, 7, 4,23, 2, 5,17, 0, 0,16, 1, 0, 0],
[ 0,21, 0,11, 0, 0, 4, 1, 0,17,12, 0, 0, 0,16, 0,24,18,25, 8, 0, 0,22,23, 7],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0,12, 0, 4, 0,21, 0, 0, 0, 0, 6, 9, 0,18, 5],
[23, 0, 0, 0, 7, 0,12, 0, 0, 0, 6, 9, 0, 5, 0,10, 0, 0, 0, 0, 0, 0,25,20,21],
[ 0, 0, 0, 0,21, 0,16, 0, 0, 0, 1, 3, 0,11,24,22,25, 0, 8, 2, 0, 0,13, 7,17],
[ 0, 0, 0,12, 0,17, 0, 0, 5, 0,25, 0,14, 0,20, 0, 0, 0,18, 7, 0, 0, 0, 0, 0],
[19,24, 0, 0,25, 0, 9, 6,10,11,18, 8, 0, 0, 0, 0, 0,12, 0, 0,23, 0, 0, 4,16],
[ 0,23,10, 8,17, 0, 3, 2, 0, 0,24, 4, 0, 0,18,11, 0, 0,21, 9,16, 0, 0,19, 0],
[ 0, 0, 4, 0,16,13, 0, 0,22, 0, 3, 0, 0, 2, 7,18,23,19, 0,24, 0, 0, 0, 0, 0],
[ 0,12, 9,21, 0, 0,10, 0, 0,19, 0, 0, 0, 0, 0, 6, 0, 2, 0, 0,18, 0, 0,15, 0],
[11,20, 0, 0, 0, 4, 0, 0,15, 0,10, 0,12,21, 0, 0, 8, 7, 0, 1, 0,24, 0,22, 0],
[ 6, 0, 0,25, 0,18, 0, 5, 0, 0, 0,22, 0, 0,23, 0, 0, 0, 0,15, 0, 0, 0, 0,13]],


#
# This problem is problem 32 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"32":

[
[ 0, 6,24,21, 0, 3,16,11, 0,18, 0, 1,15, 0,14,25, 0, 0, 9, 0, 0, 2, 4, 0, 0],
[ 0, 0, 1, 0,25, 0, 0, 0, 0, 0,20, 0, 0, 0, 0,23, 0, 2, 0, 0, 0, 0, 0,18,13],
[ 2, 0, 8, 0,20, 7, 0, 0,19, 0, 0, 0, 6, 0, 0, 1,15, 0, 0, 0, 0, 0, 0, 0,10],
[ 0, 0, 0,13, 0, 8, 0, 4, 0, 0, 2, 9, 0, 0,21,19, 7, 0,17,22,20,25,15, 0, 0],
[ 0, 0,18, 0, 9,23, 0, 0, 0,10, 0, 0,25, 0,22, 0,13,20, 0, 0, 0,14, 5, 0, 0],
[ 9, 4, 0,23, 0, 0, 0, 5, 0, 0,15, 0, 0,14, 0,12, 1, 8, 2, 0, 0,11,16, 3, 0],
[ 8,13, 0, 0, 3,17,12, 0, 0, 0, 0, 6,16, 0, 0, 0, 0, 0,25, 0,15, 0, 7, 2,18],
[12, 0, 0,18, 0,14, 0, 7,13, 0, 0, 0, 0, 8,11,16, 0,15, 0, 0, 0, 6, 0, 0, 0],
[ 0, 0, 0, 0, 0, 0,21, 0, 0, 0, 0,23, 0, 2, 4, 0, 0,18, 0, 0, 1,20, 0,13,19],
[ 0, 2, 7,17,16, 0,23,15, 0, 0, 0, 0, 0, 0,18, 0, 0,21, 0, 0,14, 0,10, 0, 0],
[21, 0, 0, 0,23, 0,18, 8,15, 6, 0,17, 0, 9,20, 0, 3,24, 0, 0,11, 0, 0, 5,25],
[ 0, 9, 0, 0, 0,21, 0, 0, 2, 5, 0,11, 1, 4,15, 0,23, 0,19,14, 0, 0, 0, 7,20],
[ 0, 1, 0, 0, 0, 9,11, 0, 0, 0, 0,16,19, 0, 8, 0,10, 0, 5,12, 0, 0, 0, 0, 0],
[ 0, 0, 0, 0,12,25,20, 0, 0,19, 0, 0, 0, 0, 5, 0,22, 0, 7, 0, 6, 0,17, 0, 3],
[ 0, 0,15, 7, 0, 0, 3, 0, 0,24, 0, 0,23, 0, 0,11, 8, 0, 0, 0, 0, 4, 2, 1, 0],
[10,22, 0, 8, 0, 0, 0, 0,25, 0, 0, 0, 7, 1, 0, 0, 2, 6,23, 0, 0, 0, 3,16, 0],
[25, 0, 0, 0, 0,13, 0, 2, 0, 7, 8, 0,24, 0, 0, 5,12,19, 0,16,10, 0,11,17, 0],
[ 6, 0, 0, 4, 0,15, 0, 0, 0, 3, 0, 0, 0,20, 9,10, 0, 0, 1, 0, 0, 0,19, 0,22],
[ 0,18, 2, 0,14, 0, 0, 0, 0, 0, 0,19,22, 0,23, 0, 0, 0,11, 9, 8, 0, 0,25, 0],
[15,12, 0, 0, 7, 0, 0, 6, 0,14,18, 0,13, 0,16, 0, 0, 0, 3,17, 5, 0, 0,20,23],
[18, 8,23,24, 0, 4,15, 0, 9, 0, 0,13,11, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0],
[ 5, 0, 0, 1, 0, 0, 0,16, 3, 0,22,18,17, 0,10, 0, 9, 0, 0,23, 0, 0, 0, 0, 0],
[20,16, 0, 6, 2, 0, 0, 1, 0, 0, 0, 0, 0,21, 3, 0, 0, 0, 0, 0,18,19,14, 0,15],
[ 0, 0, 0, 0,13, 0, 6, 0,10,12, 4, 0, 9, 0, 0, 0, 0, 0,24,21, 0,17,25, 0, 0],
[ 0, 0,14,10, 0, 5,24, 0,21, 0, 6, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 9,23, 0]],


#
# This problem is problem 33 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"33":

[
[ 0,12,17, 3, 0,21, 0, 0,13, 4,15, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0],
[16, 0, 0,20, 0, 0, 0, 0, 0, 7, 0,24, 0, 0, 0, 0, 0, 0, 0,21, 0, 4, 2,23, 0],
[10, 0,13, 0, 0, 0, 5,24, 8,11, 0, 0, 0, 3, 9,16, 0, 4, 0, 0,18, 0, 0, 0,21],
[ 1,14, 2,24,11, 0, 0, 0, 0,10, 8,23, 0, 0, 6,15,12,13, 9, 0,17, 0, 0, 0,16],
[18,23, 0, 0, 4, 0, 0, 3, 0, 0, 0, 0, 0,19, 0, 0, 5,24,22, 0, 0, 0, 0, 9, 0],
[ 0, 0, 0,19,14,22,25, 0, 0, 9,16, 8, 0, 0,13, 7, 0, 0, 0, 0, 0, 0,11,10, 0],
[11, 0,22, 9, 0, 0,21, 0, 0, 0, 0, 6, 0, 0, 0, 2, 0,15,18, 0,20,19, 0, 0, 0],
[ 0,21,23, 0, 3, 8, 6,10, 0, 0,11,17, 0, 0, 0, 0,24, 0,19, 0, 2, 0, 0, 7, 0],
[ 7,10, 6, 0, 0, 2, 0, 0, 3,23, 0, 0, 0, 0, 0, 4,20,25, 0, 0,16, 8,17,18,12],
[ 0, 1, 0, 0, 0, 0, 0,19, 0,12,20, 3, 0, 0, 0, 0,17,11, 0, 0, 5,21, 4, 0, 0],
[ 0,17, 0, 0, 0, 0, 0, 0,25, 0,18, 0, 5, 7, 0, 0, 0, 0,16, 0, 0, 2, 1,11, 4],
[ 0, 0, 0, 0, 7, 0, 0, 0, 0, 0,14,25, 1, 0, 0, 0, 0, 3, 0, 2, 0, 0,10, 0, 0],
[ 0, 5, 9, 0, 1,15,18, 0,21, 8, 0,22,19,16, 0,11, 0, 0,10,17, 0, 0, 0, 0,14],
[23,18, 0, 0,13, 0, 0, 0, 0,24, 3,20, 0, 0,10, 0,25, 9, 0, 0, 8,15, 0, 0, 0],
[ 0,24, 0, 0, 0, 0,10, 0, 0,14, 2, 0, 8, 0,17,23, 0,19, 7, 0,25, 0, 0, 0, 0],
[ 0,22,12, 0, 0,25, 0, 0, 0, 0,17, 2, 0, 0, 0,10, 7, 0, 0,18,13, 0, 0, 0, 1],
[ 0, 6, 0, 0, 0, 0, 0,22, 0,19, 0, 1, 4, 0,11,13,16, 0, 3, 0,24, 9,15, 2, 0],
[ 0, 0, 0, 0, 0, 0, 0,12,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0,22, 0, 0],
[17,13,21, 0, 0, 0, 8,23, 7, 0, 0, 0, 0, 0, 0, 0,15,20, 2,12, 0,14, 0, 0,11],
[ 0, 0,20,25, 2,18, 0,15, 0, 3, 0, 0, 0,23, 7,19, 0,14, 0, 6, 0, 0,21, 8, 5],
[13, 0,14, 0, 0, 0,12, 0, 4, 0, 7,11, 0, 0,18, 0, 0, 0, 0,10, 0, 1, 0, 0,22],
[19, 0, 0,22, 0, 0, 7, 0, 0,13, 0,10, 0, 0, 4, 0, 0, 0,24,23,11,16, 0, 0, 2],
[ 9, 0, 7, 0, 6, 0, 0,20, 0, 0,25, 0, 0,24, 0, 0, 0, 0,13, 0, 0, 0, 8, 0, 0],
[ 0, 2,18,23, 0, 0,16,14, 1, 0,13, 0, 0, 8, 0, 0, 0,22,20, 0,12,25,19,17, 0],
[15,16, 0, 0, 8,11, 0, 2, 0,21, 0, 0,20,17, 0, 0, 0, 0, 0, 1, 0, 5,14, 0, 0]],


#
# This problem is problem 34 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"34":

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


#
# This problem is problem 35 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"35":

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


#
# This problem is problem 36 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"36":

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


#
# This problem is problem 37 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"37":

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


#
# This problem is problem 38 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"38":

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


#
# This problem is problem 39 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"39":

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


#
# This problem is problem 40 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"40":

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


#
# This problem is problem 41 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"41":

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


#
# This problem is problem 42 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"42":

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


#
# This problem is problem 43 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"43":

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


#
# This problem is problem 44 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"44":

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


#
# This problem is problem 45 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"45":

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


#
# This problem is problem 46 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"46":

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


#
# This problem is problem 47 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"47":

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


#
# This problem is problem 48 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"48":

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


#
# This problem is problem 49 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"49":

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


#
# This problem is problem 50 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"50":

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


#
# This problem is problem 51 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"51":

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


#
# This problem is problem 52 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"52":

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


#
# This problem is problem 53 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"53":

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


#
# This problem is problem 54 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"54":

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


#
# This problem is problem 55 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"55":

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


#
# This problem is problem 56 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"56":

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


#
# This problem is problem 57 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"57":

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


#
# This problem is problem 58 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"58":

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


#
# This problem is problem 59 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"59":

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


#
# This problem is problem 60 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"60":

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


#
# This problem is problem 61 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"61":

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


#
# This problem is problem 62 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"62":

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


#
# This problem is problem 63 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"63":

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


#
# This problem is problem 64 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"64":

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


#
# This problem is problem 65 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"65":

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


#
# This problem is problem 66 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"66":

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


#
# This problem is problem 67 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"67":

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


#
# This problem is problem 68 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"68":

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


#
# This problem is problem 69 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"69":

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


#
# This problem is problem 70 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"70":

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


#
# This problem is problem 71 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"71":

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


#
# This problem is problem 72 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"72":

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


#
# This problem is problem 73 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"73":

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


#
# This problem is problem 74 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"74":

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


#
# This problem is problem 75 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"75":

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


#
# This problem is problem 76 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"76":

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


#
# This problem is problem 77 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"77":

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


#
# This problem is problem 78 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"78":

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


#
# This problem is problem 79 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"79":

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


#
# This problem is problem 80 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"80":

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


#
# This problem is problem 81 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"81":

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


#
# This problem is problem 82 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"82":

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


#
# This problem is problem 83 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"83":

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


#
# This problem is problem 84 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"84":

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


#
# This problem is problem 85 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"85":

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


#
# This problem is problem 86 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"86":

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


#
# This problem is problem 87 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"87":

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


#
# This problem is problem 88 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 16 x 16
#
"88":

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


#
# This problem is problem 89 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"89":

[
[11,23,13,10,19,16, 6, 2,24, 7, 5, 9, 1,20,17,15, 8,18,25, 3, 4,12,21,22,14],
[15,16, 0,22, 0,11, 8, 0, 0, 0,25, 0,14, 0, 0, 0,12,19, 0, 0,17, 0, 0, 0, 0],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 4, 0,17, 0,13, 0,24, 0,23,19,10, 2],
[ 0, 0, 0, 0, 0,19, 0,14,23, 4, 0,21, 6,22,10, 0,11, 0, 2, 0, 0, 0, 0, 0, 0],
[17,14, 0, 0, 2, 0, 0,13,12, 0, 0, 0, 0, 0,15, 4,20,22,10, 0,11, 0, 9,24, 8],
[22, 0, 0, 0, 0, 6, 2, 0, 0, 0, 4, 7,12, 1, 9, 0, 0, 0, 0, 0, 0,14, 5, 0, 0],
[ 0,18, 2, 0, 8,22, 0,19,16,21, 0, 0, 0,10,13,23, 0, 0,20, 0, 0, 3, 0,15, 7],
[ 0, 0,17, 3, 0, 5, 0, 0, 8, 9, 0, 0, 0, 0,18, 0,19, 0, 0, 0, 0, 0,23,21, 0],
[ 1,11, 0, 0, 9, 0,15,10,25, 0, 6, 0,23, 0, 0, 0, 0, 5, 3, 7, 0,17, 0, 0,24],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0,23, 0, 0, 0,24, 0, 0, 0,21,12, 0, 6, 8, 0,25,16],
[20,24,10, 0,15,23,11,17, 0, 0, 0, 0, 0, 7, 0,12, 0, 0, 0, 0, 0,22, 0, 0, 6],
[ 4, 5, 0,14,12,25, 0,18, 0, 0,23, 0,15, 0,19, 1, 0, 0, 0,22,20, 0, 7, 9, 0],
[18, 0,21, 0, 0, 8, 0,24, 0, 0, 9, 0,25, 0, 0, 0,10, 0, 0, 0, 2, 0, 1,19, 0],
[ 0, 0, 6, 2, 1, 0,13, 0,22, 0, 0, 0, 0, 0,11, 8,21,16, 0, 0,25, 0, 0,12,17],
[ 0,17,25, 0,23, 7,14, 0,21, 1, 0, 0, 0, 0, 3, 0, 0,11, 0, 0,24, 0,16, 4, 5],
[ 0, 0, 0, 0,11,18,24, 0, 0, 0, 0, 5, 0,12, 0,25, 0, 0, 0,15,23, 4, 8,14, 0],
[ 0, 0, 0,15,21, 0, 0, 0, 0, 0, 2, 0,13,17, 0, 0, 1, 7, 0, 0, 5, 9,24, 0, 0],
[ 0, 0,18, 0,22,15, 0, 0, 2,16, 0,23, 0, 0, 0,10, 6,24, 0,17,12, 0,25,11, 0],
[ 7, 2, 0, 1, 0, 0,21, 0, 0, 0,18,22, 0, 9, 6,14, 0, 4, 5,16, 0, 0, 0, 0, 0],
[ 0, 0, 9, 0, 0, 0, 7,22, 0, 0,10, 0,24, 0, 0, 0,18, 0, 0, 0,21, 0, 0, 0, 0],
[ 0,12, 0,19,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0,14, 0, 4, 8, 0],
[24, 0,11,18, 0, 0, 0, 0, 0, 0, 0,25,17,21, 0, 6, 0, 0, 1, 0, 0, 0, 0, 5,12],
[16, 6,22, 0, 0, 0,23, 4,15,18, 8, 0, 0, 0,20, 0, 0,17, 0,14, 0, 0, 0, 0, 0],
[ 0,21, 0, 0, 4, 0, 9, 1, 7, 0, 0, 0, 0,11,14, 0,16, 8,15, 0,22, 0,18, 0, 0],
[ 8,15, 0, 0, 0, 0, 0, 0, 5, 0,24, 3, 0, 0, 4, 0, 0, 0, 9, 0, 0, 0, 0, 0,20]],


#
# This problem is problem 90 from
# Gecode's sudoku.cpp
# http://www.gecode.org/gecode-doc-latest/sudoku08cpp-source.html
#
# Size : 25 x 25
#
"90":

[
[ 0,23,13, 0,19,16, 6, 0,24, 7, 5, 9, 1, 0, 0,15, 8,18,25, 0, 4, 0,21,22, 0],
[15,16, 0,22, 0,11, 8, 0, 0, 0,25, 0,14, 0, 0, 0,12,19, 0, 0,17, 0, 0, 0, 0],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 4, 0,17, 0,13, 0,24, 0,23,19,10, 2],
[ 0, 0, 0, 0, 0,19, 0,14,23, 4, 0,21, 6,22,10, 0,11, 0, 2, 0, 0, 0, 0, 0, 0],
[17,14, 0, 0, 2, 0, 0,13,12, 0, 0, 0, 0, 0,15, 4,20,22,10, 0,11, 0, 9,24, 8],
[22, 0, 0, 0, 0, 6, 2, 0, 0, 0, 4, 7,12, 1, 9, 0, 0, 0, 0, 0, 0,14, 5, 0, 0],
[ 0,18, 2, 0, 8,22, 0,19,16,21, 0, 0, 0,10,13,23, 0, 0,20, 0, 0, 3, 0,15, 7],
[ 0, 0,17, 3, 0, 5, 0, 0, 8, 9, 0, 0, 0, 0,18, 0,19, 0, 0, 0, 0, 0,23,21, 0],
[ 1,11, 0, 0, 9, 0,15,10,25, 0, 6, 0,23, 0, 0, 0, 0, 5, 3, 7, 0,17, 0, 0,24],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0,23, 0, 0, 0,24, 0, 0, 0,21,12, 0, 6, 8, 0,25,16],
[20,24,10, 0,15,23,11,17, 0, 0, 0, 0, 0, 7, 0,12, 0, 0, 0, 0, 0,22, 0, 0, 6],
[ 4, 5, 0,14,12,25, 0,18, 0, 0,23, 0,15, 0,19, 1, 0, 0, 0,22,20, 0, 7, 9, 0],
[18, 0,21, 0, 0, 8, 0,24, 0, 0, 9, 0,25, 0, 0, 0,10, 0, 0, 0, 2, 0, 1,19, 0],
[ 0, 0, 6, 2, 1, 0,13, 0,22, 0, 0, 0, 0, 0,11, 8,21,16, 0, 0,25, 0, 0,12,17],
[ 0,17,25, 0,23, 7,14, 0,21, 1, 0, 0, 0, 0, 3, 0, 0,11, 0, 0,24, 0,16, 4, 5],
[ 0, 0, 0, 0,11,18,24, 0, 0, 0, 0, 5, 0,12, 0,25, 0, 0, 0,15,23, 4, 8,14, 0],
[ 0, 0, 0,15,21, 0, 0, 0, 0, 0, 2, 0,13,17, 0, 0, 1, 7, 0, 0, 5, 9,24, 0, 0],
[ 0, 0,18, 0,22,15, 0, 0, 2,16, 0,23, 0, 0, 0,10, 6,24, 0,17,12, 0,25,11, 0],
[ 7, 2, 0, 1, 0, 0,21, 0, 0, 0,18,22, 0, 9, 6,14, 0, 4, 5,16, 0, 0, 0, 0, 0],
[ 0, 0, 9, 0, 0, 0, 7,22, 0, 0,10, 0,24, 0, 0, 0,18, 0, 0, 0,21, 0, 0, 0, 0],
[ 0,12, 0,19,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0,14, 0, 4, 8, 0],
[24, 0,11,18, 0, 0, 0, 0, 0, 0, 0,25,17,21, 0, 6, 0, 0, 1, 0, 0, 0, 0, 5,12],
[16, 6,22, 0, 0, 0,23, 4,15,18, 8, 0, 0, 0,20, 0, 0,17, 0,14, 0, 0, 0, 0, 0],
[ 0,21, 0, 0, 4, 0, 9, 1, 7, 0, 0, 0, 0,11,14, 0,16, 8,15, 0,22, 0,18, 0, 0],
[ 8,15, 0, 0, 0, 0, 0, 0, 5, 0,24, 3, 0, 0, 4, 0, 0, 0, 9, 0, 0, 0, 0, 0,20]],


# From
# http://www.kristanix.com/sudokuepic/worlds-hardest-sudoku.php
# """
# For those of us that never tire of a well made sudoku challenge,
# Finnish mathematician, Arto Inkala has made what he claims is the
# hardest sudoku puzzle ever. According to the Finnish puzzle maker
# "I called the puzzle AI Escargot, because it looks like a snail.
# Solving it is like an intellectual culinary pleasure. AI are my
# initials".
#
# If you're open for the challenge, AI Escargot presumably requires
# you to wrap your brain around eight casual relationships
# simultaneously, whereas your everyday "very hard" sudoku piece,
# only require you to think about a meager one or two of these
# relationships at once.
# """
# Problem hardest0ever Cell size: 3
# [1,6,2,8,5,7,4,9,3]
# [5,3,4,1,2,9,6,7,8]
# [7,8,9,6,4,3,5,2,1]
# [4,7,5,3,1,2,9,8,6]
# [9,1,3,5,8,6,7,4,2]
# [6,2,8,7,9,4,1,3,5]
# [3,5,6,4,7,8,2,1,9]
# [2,4,1,9,3,5,8,6,7]
# [8,9,7,2,6,1,3,5,4]
# Resumptions: 4461
# Entailments: 606
# Prunings: 4020
# Backtracks: 54
# Constraints created: 135
#
"hardest_ever":
[
[1,0,0, 0,0,7, 0,9,0],
[0,3,0, 0,2,0, 0,0,8],
[0,0,9, 6,0,0, 5,0,0],

[0,0,5, 3,0,0, 9,0,0],
[0,1,0, 0,8,0, 0,0,2],
[6,0,0, 0,0,4, 0,0,0],

[3,0,0, 0,0,0, 0,1,0],
[0,4,0, 0,0,0, 0,0,7],
[0,0,7, 0,0,0, 3,0,0]]

}