toysolver-0.0.2: samples/lp/Sudoku.lp

\ glpsol -m Sudoku.mod -d Sudoku.dat --wlp Sudoku.lp
\* Problem: Sudoku *\

Minimize
 obj: 0 Ans(1,1,1)

Subject To
 GIVEN(1,1,1): - Ans(1,1,1) <= -1
 GIVEN(1,1,2): - Ans(1,1,2) <= -0
 GIVEN(1,1,3): - Ans(1,1,3) <= -0
 GIVEN(1,1,4): - Ans(1,1,4) <= -0
 GIVEN(1,1,5): - Ans(1,1,5) <= -0
 GIVEN(1,1,6): - Ans(1,1,6) <= -0
 GIVEN(1,1,7): - Ans(1,1,7) <= -0
 GIVEN(1,1,8): - Ans(1,1,8) <= -0
 GIVEN(1,1,9): - Ans(1,1,9) <= -0
 GIVEN(1,2,1): - Ans(1,2,1) <= -0
 GIVEN(1,2,2): - Ans(1,2,2) <= -0
 GIVEN(1,2,3): - Ans(1,2,3) <= -0
 GIVEN(1,2,4): - Ans(1,2,4) <= -0
 GIVEN(1,2,5): - Ans(1,2,5) <= -0
 GIVEN(1,2,6): - Ans(1,2,6) <= -0
 GIVEN(1,2,7): - Ans(1,2,7) <= -0
 GIVEN(1,2,8): - Ans(1,2,8) <= -0
 GIVEN(1,2,9): - Ans(1,2,9) <= -0
 GIVEN(1,3,1): - Ans(1,3,1) <= -0
 GIVEN(1,3,2): - Ans(1,3,2) <= -0
 GIVEN(1,3,3): - Ans(1,3,3) <= -0
 GIVEN(1,3,4): - Ans(1,3,4) <= -0
 GIVEN(1,3,5): - Ans(1,3,5) <= -0
 GIVEN(1,3,6): - Ans(1,3,6) <= -0
 GIVEN(1,3,7): - Ans(1,3,7) <= -0
 GIVEN(1,3,8): - Ans(1,3,8) <= -0
 GIVEN(1,3,9): - Ans(1,3,9) <= -0
 GIVEN(1,4,1): - Ans(1,4,1) <= -0
 GIVEN(1,4,2): - Ans(1,4,2) <= -1
 GIVEN(1,4,3): - Ans(1,4,3) <= -0
 GIVEN(1,4,4): - Ans(1,4,4) <= -0
 GIVEN(1,4,5): - Ans(1,4,5) <= -0
 GIVEN(1,4,6): - Ans(1,4,6) <= -0
 GIVEN(1,4,7): - Ans(1,4,7) <= -0
 GIVEN(1,4,8): - Ans(1,4,8) <= -0
 GIVEN(1,4,9): - Ans(1,4,9) <= -0
 GIVEN(1,5,1): - Ans(1,5,1) <= -0
 GIVEN(1,5,2): - Ans(1,5,2) <= -0
 GIVEN(1,5,3): - Ans(1,5,3) <= -0
 GIVEN(1,5,4): - Ans(1,5,4) <= -0
 GIVEN(1,5,5): - Ans(1,5,5) <= -0
 GIVEN(1,5,6): - Ans(1,5,6) <= -0
 GIVEN(1,5,7): - Ans(1,5,7) <= -0
 GIVEN(1,5,8): - Ans(1,5,8) <= -0
 GIVEN(1,5,9): - Ans(1,5,9) <= -0
 GIVEN(1,6,1): - Ans(1,6,1) <= -0
 GIVEN(1,6,2): - Ans(1,6,2) <= -0
 GIVEN(1,6,3): - Ans(1,6,3) <= -0
 GIVEN(1,6,4): - Ans(1,6,4) <= -0
 GIVEN(1,6,5): - Ans(1,6,5) <= -0
 GIVEN(1,6,6): - Ans(1,6,6) <= -0
 GIVEN(1,6,7): - Ans(1,6,7) <= -0
 GIVEN(1,6,8): - Ans(1,6,8) <= -0
 GIVEN(1,6,9): - Ans(1,6,9) <= -0
 GIVEN(1,7,1): - Ans(1,7,1) <= -0
 GIVEN(1,7,2): - Ans(1,7,2) <= -0
 GIVEN(1,7,3): - Ans(1,7,3) <= -1
 GIVEN(1,7,4): - Ans(1,7,4) <= -0
 GIVEN(1,7,5): - Ans(1,7,5) <= -0
 GIVEN(1,7,6): - Ans(1,7,6) <= -0
 GIVEN(1,7,7): - Ans(1,7,7) <= -0
 GIVEN(1,7,8): - Ans(1,7,8) <= -0
 GIVEN(1,7,9): - Ans(1,7,9) <= -0
 GIVEN(1,8,1): - Ans(1,8,1) <= -0
 GIVEN(1,8,2): - Ans(1,8,2) <= -0
 GIVEN(1,8,3): - Ans(1,8,3) <= -0
 GIVEN(1,8,4): - Ans(1,8,4) <= -0
 GIVEN(1,8,5): - Ans(1,8,5) <= -0
 GIVEN(1,8,6): - Ans(1,8,6) <= -0
 GIVEN(1,8,7): - Ans(1,8,7) <= -0
 GIVEN(1,8,8): - Ans(1,8,8) <= -0
 GIVEN(1,8,9): - Ans(1,8,9) <= -0
 GIVEN(1,9,1): - Ans(1,9,1) <= -0
 GIVEN(1,9,2): - Ans(1,9,2) <= -0
 GIVEN(1,9,3): - Ans(1,9,3) <= -0
 GIVEN(1,9,4): - Ans(1,9,4) <= -0
 GIVEN(1,9,5): - Ans(1,9,5) <= -0
 GIVEN(1,9,6): - Ans(1,9,6) <= -0
 GIVEN(1,9,7): - Ans(1,9,7) <= -0
 GIVEN(1,9,8): - Ans(1,9,8) <= -0
 GIVEN(1,9,9): - Ans(1,9,9) <= -0
 GIVEN(2,1,1): - Ans(2,1,1) <= -0
 GIVEN(2,1,2): - Ans(2,1,2) <= -0
 GIVEN(2,1,3): - Ans(2,1,3) <= -0
 GIVEN(2,1,4): - Ans(2,1,4) <= -0
 GIVEN(2,1,5): - Ans(2,1,5) <= -0
 GIVEN(2,1,6): - Ans(2,1,6) <= -0
 GIVEN(2,1,7): - Ans(2,1,7) <= -0
 GIVEN(2,1,8): - Ans(2,1,8) <= -0
 GIVEN(2,1,9): - Ans(2,1,9) <= -0
 GIVEN(2,2,1): - Ans(2,2,1) <= -0
 GIVEN(2,2,2): - Ans(2,2,2) <= -1
 GIVEN(2,2,3): - Ans(2,2,3) <= -0
 GIVEN(2,2,4): - Ans(2,2,4) <= -0
 GIVEN(2,2,5): - Ans(2,2,5) <= -0
 GIVEN(2,2,6): - Ans(2,2,6) <= -0
 GIVEN(2,2,7): - Ans(2,2,7) <= -0
 GIVEN(2,2,8): - Ans(2,2,8) <= -0
 GIVEN(2,2,9): - Ans(2,2,9) <= -0
 GIVEN(2,3,1): - Ans(2,3,1) <= -0
 GIVEN(2,3,2): - Ans(2,3,2) <= -0
 GIVEN(2,3,3): - Ans(2,3,3) <= -0
 GIVEN(2,3,4): - Ans(2,3,4) <= -0
 GIVEN(2,3,5): - Ans(2,3,5) <= -0
 GIVEN(2,3,6): - Ans(2,3,6) <= -0
 GIVEN(2,3,7): - Ans(2,3,7) <= -0
 GIVEN(2,3,8): - Ans(2,3,8) <= -0
 GIVEN(2,3,9): - Ans(2,3,9) <= -0
 GIVEN(2,4,1): - Ans(2,4,1) <= -0
 GIVEN(2,4,2): - Ans(2,4,2) <= -0
 GIVEN(2,4,3): - Ans(2,4,3) <= -0
 GIVEN(2,4,4): - Ans(2,4,4) <= -0
 GIVEN(2,4,5): - Ans(2,4,5) <= -0
 GIVEN(2,4,6): - Ans(2,4,6) <= -0
 GIVEN(2,4,7): - Ans(2,4,7) <= -0
 GIVEN(2,4,8): - Ans(2,4,8) <= -0
 GIVEN(2,4,9): - Ans(2,4,9) <= -0
 GIVEN(2,5,1): - Ans(2,5,1) <= -0
 GIVEN(2,5,2): - Ans(2,5,2) <= -0
 GIVEN(2,5,3): - Ans(2,5,3) <= -1
 GIVEN(2,5,4): - Ans(2,5,4) <= -0
 GIVEN(2,5,5): - Ans(2,5,5) <= -0
 GIVEN(2,5,6): - Ans(2,5,6) <= -0
 GIVEN(2,5,7): - Ans(2,5,7) <= -0
 GIVEN(2,5,8): - Ans(2,5,8) <= -0
 GIVEN(2,5,9): - Ans(2,5,9) <= -0
 GIVEN(2,6,1): - Ans(2,6,1) <= -0
 GIVEN(2,6,2): - Ans(2,6,2) <= -0
 GIVEN(2,6,3): - Ans(2,6,3) <= -0
 GIVEN(2,6,4): - Ans(2,6,4) <= -0
 GIVEN(2,6,5): - Ans(2,6,5) <= -0
 GIVEN(2,6,6): - Ans(2,6,6) <= -0
 GIVEN(2,6,7): - Ans(2,6,7) <= -0
 GIVEN(2,6,8): - Ans(2,6,8) <= -0
 GIVEN(2,6,9): - Ans(2,6,9) <= -0
 GIVEN(2,7,1): - Ans(2,7,1) <= -0
 GIVEN(2,7,2): - Ans(2,7,2) <= -0
 GIVEN(2,7,3): - Ans(2,7,3) <= -0
 GIVEN(2,7,4): - Ans(2,7,4) <= -0
 GIVEN(2,7,5): - Ans(2,7,5) <= -0
 GIVEN(2,7,6): - Ans(2,7,6) <= -0
 GIVEN(2,7,7): - Ans(2,7,7) <= -0
 GIVEN(2,7,8): - Ans(2,7,8) <= -0
 GIVEN(2,7,9): - Ans(2,7,9) <= -0
 GIVEN(2,8,1): - Ans(2,8,1) <= -0
 GIVEN(2,8,2): - Ans(2,8,2) <= -0
 GIVEN(2,8,3): - Ans(2,8,3) <= -0
 GIVEN(2,8,4): - Ans(2,8,4) <= -1
 GIVEN(2,8,5): - Ans(2,8,5) <= -0
 GIVEN(2,8,6): - Ans(2,8,6) <= -0
 GIVEN(2,8,7): - Ans(2,8,7) <= -0
 GIVEN(2,8,8): - Ans(2,8,8) <= -0
 GIVEN(2,8,9): - Ans(2,8,9) <= -0
 GIVEN(2,9,1): - Ans(2,9,1) <= -0
 GIVEN(2,9,2): - Ans(2,9,2) <= -0
 GIVEN(2,9,3): - Ans(2,9,3) <= -0
 GIVEN(2,9,4): - Ans(2,9,4) <= -0
 GIVEN(2,9,5): - Ans(2,9,5) <= -0
 GIVEN(2,9,6): - Ans(2,9,6) <= -0
 GIVEN(2,9,7): - Ans(2,9,7) <= -0
 GIVEN(2,9,8): - Ans(2,9,8) <= -0
 GIVEN(2,9,9): - Ans(2,9,9) <= -0
 GIVEN(3,1,1): - Ans(3,1,1) <= -0
 GIVEN(3,1,2): - Ans(3,1,2) <= -0
 GIVEN(3,1,3): - Ans(3,1,3) <= -0
 GIVEN(3,1,4): - Ans(3,1,4) <= -0
 GIVEN(3,1,5): - Ans(3,1,5) <= -0
 GIVEN(3,1,6): - Ans(3,1,6) <= -0
 GIVEN(3,1,7): - Ans(3,1,7) <= -0
 GIVEN(3,1,8): - Ans(3,1,8) <= -0
 GIVEN(3,1,9): - Ans(3,1,9) <= -0
 GIVEN(3,2,1): - Ans(3,2,1) <= -0
 GIVEN(3,2,2): - Ans(3,2,2) <= -0
 GIVEN(3,2,3): - Ans(3,2,3) <= -0
 GIVEN(3,2,4): - Ans(3,2,4) <= -0
 GIVEN(3,2,5): - Ans(3,2,5) <= -0
 GIVEN(3,2,6): - Ans(3,2,6) <= -0
 GIVEN(3,2,7): - Ans(3,2,7) <= -0
 GIVEN(3,2,8): - Ans(3,2,8) <= -0
 GIVEN(3,2,9): - Ans(3,2,9) <= -0
 GIVEN(3,3,1): - Ans(3,3,1) <= -0
 GIVEN(3,3,2): - Ans(3,3,2) <= -0
 GIVEN(3,3,3): - Ans(3,3,3) <= -1
 GIVEN(3,3,4): - Ans(3,3,4) <= -0
 GIVEN(3,3,5): - Ans(3,3,5) <= -0
 GIVEN(3,3,6): - Ans(3,3,6) <= -0
 GIVEN(3,3,7): - Ans(3,3,7) <= -0
 GIVEN(3,3,8): - Ans(3,3,8) <= -0
 GIVEN(3,3,9): - Ans(3,3,9) <= -0
 GIVEN(3,4,1): - Ans(3,4,1) <= -0
 GIVEN(3,4,2): - Ans(3,4,2) <= -0
 GIVEN(3,4,3): - Ans(3,4,3) <= -0
 GIVEN(3,4,4): - Ans(3,4,4) <= -0
 GIVEN(3,4,5): - Ans(3,4,5) <= -0
 GIVEN(3,4,6): - Ans(3,4,6) <= -0
 GIVEN(3,4,7): - Ans(3,4,7) <= -0
 GIVEN(3,4,8): - Ans(3,4,8) <= -0
 GIVEN(3,4,9): - Ans(3,4,9) <= -0
 GIVEN(3,5,1): - Ans(3,5,1) <= -0
 GIVEN(3,5,2): - Ans(3,5,2) <= -0
 GIVEN(3,5,3): - Ans(3,5,3) <= -0
 GIVEN(3,5,4): - Ans(3,5,4) <= -0
 GIVEN(3,5,5): - Ans(3,5,5) <= -0
 GIVEN(3,5,6): - Ans(3,5,6) <= -0
 GIVEN(3,5,7): - Ans(3,5,7) <= -0
 GIVEN(3,5,8): - Ans(3,5,8) <= -0
 GIVEN(3,5,9): - Ans(3,5,9) <= -0
 GIVEN(3,6,1): - Ans(3,6,1) <= -0
 GIVEN(3,6,2): - Ans(3,6,2) <= -0
 GIVEN(3,6,3): - Ans(3,6,3) <= -0
 GIVEN(3,6,4): - Ans(3,6,4) <= -1
 GIVEN(3,6,5): - Ans(3,6,5) <= -0
 GIVEN(3,6,6): - Ans(3,6,6) <= -0
 GIVEN(3,6,7): - Ans(3,6,7) <= -0
 GIVEN(3,6,8): - Ans(3,6,8) <= -0
 GIVEN(3,6,9): - Ans(3,6,9) <= -0
 GIVEN(3,7,1): - Ans(3,7,1) <= -0
 GIVEN(3,7,2): - Ans(3,7,2) <= -0
 GIVEN(3,7,3): - Ans(3,7,3) <= -0
 GIVEN(3,7,4): - Ans(3,7,4) <= -0
 GIVEN(3,7,5): - Ans(3,7,5) <= -0
 GIVEN(3,7,6): - Ans(3,7,6) <= -0
 GIVEN(3,7,7): - Ans(3,7,7) <= -0
 GIVEN(3,7,8): - Ans(3,7,8) <= -0
 GIVEN(3,7,9): - Ans(3,7,9) <= -0
 GIVEN(3,8,1): - Ans(3,8,1) <= -0
 GIVEN(3,8,2): - Ans(3,8,2) <= -0
 GIVEN(3,8,3): - Ans(3,8,3) <= -0
 GIVEN(3,8,4): - Ans(3,8,4) <= -0
 GIVEN(3,8,5): - Ans(3,8,5) <= -0
 GIVEN(3,8,6): - Ans(3,8,6) <= -0
 GIVEN(3,8,7): - Ans(3,8,7) <= -0
 GIVEN(3,8,8): - Ans(3,8,8) <= -0
 GIVEN(3,8,9): - Ans(3,8,9) <= -0
 GIVEN(3,9,1): - Ans(3,9,1) <= -0
 GIVEN(3,9,2): - Ans(3,9,2) <= -0
 GIVEN(3,9,3): - Ans(3,9,3) <= -0
 GIVEN(3,9,4): - Ans(3,9,4) <= -0
 GIVEN(3,9,5): - Ans(3,9,5) <= -1
 GIVEN(3,9,6): - Ans(3,9,6) <= -0
 GIVEN(3,9,7): - Ans(3,9,7) <= -0
 GIVEN(3,9,8): - Ans(3,9,8) <= -0
 GIVEN(3,9,9): - Ans(3,9,9) <= -0
 GIVEN(4,1,1): - Ans(4,1,1) <= -0
 GIVEN(4,1,2): - Ans(4,1,2) <= -0
 GIVEN(4,1,3): - Ans(4,1,3) <= -0
 GIVEN(4,1,4): - Ans(4,1,4) <= -0
 GIVEN(4,1,5): - Ans(4,1,5) <= -0
 GIVEN(4,1,6): - Ans(4,1,6) <= -1
 GIVEN(4,1,7): - Ans(4,1,7) <= -0
 GIVEN(4,1,8): - Ans(4,1,8) <= -0
 GIVEN(4,1,9): - Ans(4,1,9) <= -0
 GIVEN(4,2,1): - Ans(4,2,1) <= -0
 GIVEN(4,2,2): - Ans(4,2,2) <= -0
 GIVEN(4,2,3): - Ans(4,2,3) <= -0
 GIVEN(4,2,4): - Ans(4,2,4) <= -0
 GIVEN(4,2,5): - Ans(4,2,5) <= -0
 GIVEN(4,2,6): - Ans(4,2,6) <= -0
 GIVEN(4,2,7): - Ans(4,2,7) <= -0
 GIVEN(4,2,8): - Ans(4,2,8) <= -0
 GIVEN(4,2,9): - Ans(4,2,9) <= -0
 GIVEN(4,3,1): - Ans(4,3,1) <= -0
 GIVEN(4,3,2): - Ans(4,3,2) <= -0
 GIVEN(4,3,3): - Ans(4,3,3) <= -0
 GIVEN(4,3,4): - Ans(4,3,4) <= -0
 GIVEN(4,3,5): - Ans(4,3,5) <= -0
 GIVEN(4,3,6): - Ans(4,3,6) <= -0
 GIVEN(4,3,7): - Ans(4,3,7) <= -0
 GIVEN(4,3,8): - Ans(4,3,8) <= -0
 GIVEN(4,3,9): - Ans(4,3,9) <= -0
 GIVEN(4,4,1): - Ans(4,4,1) <= -0
 GIVEN(4,4,2): - Ans(4,4,2) <= -0
 GIVEN(4,4,3): - Ans(4,4,3) <= -0
 GIVEN(4,4,4): - Ans(4,4,4) <= -1
 GIVEN(4,4,5): - Ans(4,4,5) <= -0
 GIVEN(4,4,6): - Ans(4,4,6) <= -0
 GIVEN(4,4,7): - Ans(4,4,7) <= -0
 GIVEN(4,4,8): - Ans(4,4,8) <= -0
 GIVEN(4,4,9): - Ans(4,4,9) <= -0
 GIVEN(4,5,1): - Ans(4,5,1) <= -0
 GIVEN(4,5,2): - Ans(4,5,2) <= -0
 GIVEN(4,5,3): - Ans(4,5,3) <= -0
 GIVEN(4,5,4): - Ans(4,5,4) <= -0
 GIVEN(4,5,5): - Ans(4,5,5) <= -0
 GIVEN(4,5,6): - Ans(4,5,6) <= -0
 GIVEN(4,5,7): - Ans(4,5,7) <= -0
 GIVEN(4,5,8): - Ans(4,5,8) <= -0
 GIVEN(4,5,9): - Ans(4,5,9) <= -0
 GIVEN(4,6,1): - Ans(4,6,1) <= -0
 GIVEN(4,6,2): - Ans(4,6,2) <= -0
 GIVEN(4,6,3): - Ans(4,6,3) <= -0
 GIVEN(4,6,4): - Ans(4,6,4) <= -0
 GIVEN(4,6,5): - Ans(4,6,5) <= -0
 GIVEN(4,6,6): - Ans(4,6,6) <= -0
 GIVEN(4,6,7): - Ans(4,6,7) <= -0
 GIVEN(4,6,8): - Ans(4,6,8) <= -0
 GIVEN(4,6,9): - Ans(4,6,9) <= -0
 GIVEN(4,7,1): - Ans(4,7,1) <= -0
 GIVEN(4,7,2): - Ans(4,7,2) <= -0
 GIVEN(4,7,3): - Ans(4,7,3) <= -0
 GIVEN(4,7,4): - Ans(4,7,4) <= -0
 GIVEN(4,7,5): - Ans(4,7,5) <= -1
 GIVEN(4,7,6): - Ans(4,7,6) <= -0
 GIVEN(4,7,7): - Ans(4,7,7) <= -0
 GIVEN(4,7,8): - Ans(4,7,8) <= -0
 GIVEN(4,7,9): - Ans(4,7,9) <= -0
 GIVEN(4,8,1): - Ans(4,8,1) <= -0
 GIVEN(4,8,2): - Ans(4,8,2) <= -0
 GIVEN(4,8,3): - Ans(4,8,3) <= -0
 GIVEN(4,8,4): - Ans(4,8,4) <= -0
 GIVEN(4,8,5): - Ans(4,8,5) <= -0
 GIVEN(4,8,6): - Ans(4,8,6) <= -0
 GIVEN(4,8,7): - Ans(4,8,7) <= -0
 GIVEN(4,8,8): - Ans(4,8,8) <= -0
 GIVEN(4,8,9): - Ans(4,8,9) <= -0
 GIVEN(4,9,1): - Ans(4,9,1) <= -0
 GIVEN(4,9,2): - Ans(4,9,2) <= -0
 GIVEN(4,9,3): - Ans(4,9,3) <= -0
 GIVEN(4,9,4): - Ans(4,9,4) <= -0
 GIVEN(4,9,5): - Ans(4,9,5) <= -0
 GIVEN(4,9,6): - Ans(4,9,6) <= -0
 GIVEN(4,9,7): - Ans(4,9,7) <= -0
 GIVEN(4,9,8): - Ans(4,9,8) <= -0
 GIVEN(4,9,9): - Ans(4,9,9) <= -0
 GIVEN(5,1,1): - Ans(5,1,1) <= -0
 GIVEN(5,1,2): - Ans(5,1,2) <= -0
 GIVEN(5,1,3): - Ans(5,1,3) <= -0
 GIVEN(5,1,4): - Ans(5,1,4) <= -0
 GIVEN(5,1,5): - Ans(5,1,5) <= -0
 GIVEN(5,1,6): - Ans(5,1,6) <= -0
 GIVEN(5,1,7): - Ans(5,1,7) <= -0
 GIVEN(5,1,8): - Ans(5,1,8) <= -0
 GIVEN(5,1,9): - Ans(5,1,9) <= -0
 GIVEN(5,2,1): - Ans(5,2,1) <= -0
 GIVEN(5,2,2): - Ans(5,2,2) <= -0
 GIVEN(5,2,3): - Ans(5,2,3) <= -0
 GIVEN(5,2,4): - Ans(5,2,4) <= -0
 GIVEN(5,2,5): - Ans(5,2,5) <= -0
 GIVEN(5,2,6): - Ans(5,2,6) <= -0
 GIVEN(5,2,7): - Ans(5,2,7) <= -1
 GIVEN(5,2,8): - Ans(5,2,8) <= -0
 GIVEN(5,2,9): - Ans(5,2,9) <= -0
 GIVEN(5,3,1): - Ans(5,3,1) <= -0
 GIVEN(5,3,2): - Ans(5,3,2) <= -0
 GIVEN(5,3,3): - Ans(5,3,3) <= -0
 GIVEN(5,3,4): - Ans(5,3,4) <= -0
 GIVEN(5,3,5): - Ans(5,3,5) <= -0
 GIVEN(5,3,6): - Ans(5,3,6) <= -0
 GIVEN(5,3,7): - Ans(5,3,7) <= -0
 GIVEN(5,3,8): - Ans(5,3,8) <= -0
 GIVEN(5,3,9): - Ans(5,3,9) <= -0
 GIVEN(5,4,1): - Ans(5,4,1) <= -0
 GIVEN(5,4,2): - Ans(5,4,2) <= -0
 GIVEN(5,4,3): - Ans(5,4,3) <= -0
 GIVEN(5,4,4): - Ans(5,4,4) <= -0
 GIVEN(5,4,5): - Ans(5,4,5) <= -0
 GIVEN(5,4,6): - Ans(5,4,6) <= -0
 GIVEN(5,4,7): - Ans(5,4,7) <= -0
 GIVEN(5,4,8): - Ans(5,4,8) <= -0
 GIVEN(5,4,9): - Ans(5,4,9) <= -0
 GIVEN(5,5,1): - Ans(5,5,1) <= -0
 GIVEN(5,5,2): - Ans(5,5,2) <= -0
 GIVEN(5,5,3): - Ans(5,5,3) <= -0
 GIVEN(5,5,4): - Ans(5,5,4) <= -0
 GIVEN(5,5,5): - Ans(5,5,5) <= -1
 GIVEN(5,5,6): - Ans(5,5,6) <= -0
 GIVEN(5,5,7): - Ans(5,5,7) <= -0
 GIVEN(5,5,8): - Ans(5,5,8) <= -0
 GIVEN(5,5,9): - Ans(5,5,9) <= -0
 GIVEN(5,6,1): - Ans(5,6,1) <= -0
 GIVEN(5,6,2): - Ans(5,6,2) <= -0
 GIVEN(5,6,3): - Ans(5,6,3) <= -0
 GIVEN(5,6,4): - Ans(5,6,4) <= -0
 GIVEN(5,6,5): - Ans(5,6,5) <= -0
 GIVEN(5,6,6): - Ans(5,6,6) <= -0
 GIVEN(5,6,7): - Ans(5,6,7) <= -0
 GIVEN(5,6,8): - Ans(5,6,8) <= -0
 GIVEN(5,6,9): - Ans(5,6,9) <= -0
 GIVEN(5,7,1): - Ans(5,7,1) <= -0
 GIVEN(5,7,2): - Ans(5,7,2) <= -0
 GIVEN(5,7,3): - Ans(5,7,3) <= -0
 GIVEN(5,7,4): - Ans(5,7,4) <= -0
 GIVEN(5,7,5): - Ans(5,7,5) <= -0
 GIVEN(5,7,6): - Ans(5,7,6) <= -0
 GIVEN(5,7,7): - Ans(5,7,7) <= -0
 GIVEN(5,7,8): - Ans(5,7,8) <= -0
 GIVEN(5,7,9): - Ans(5,7,9) <= -0
 GIVEN(5,8,1): - Ans(5,8,1) <= -0
 GIVEN(5,8,2): - Ans(5,8,2) <= -0
 GIVEN(5,8,3): - Ans(5,8,3) <= -0
 GIVEN(5,8,4): - Ans(5,8,4) <= -0
 GIVEN(5,8,5): - Ans(5,8,5) <= -0
 GIVEN(5,8,6): - Ans(5,8,6) <= -1
 GIVEN(5,8,7): - Ans(5,8,7) <= -0
 GIVEN(5,8,8): - Ans(5,8,8) <= -0
 GIVEN(5,8,9): - Ans(5,8,9) <= -0
 GIVEN(5,9,1): - Ans(5,9,1) <= -0
 GIVEN(5,9,2): - Ans(5,9,2) <= -0
 GIVEN(5,9,3): - Ans(5,9,3) <= -0
 GIVEN(5,9,4): - Ans(5,9,4) <= -0
 GIVEN(5,9,5): - Ans(5,9,5) <= -0
 GIVEN(5,9,6): - Ans(5,9,6) <= -0
 GIVEN(5,9,7): - Ans(5,9,7) <= -0
 GIVEN(5,9,8): - Ans(5,9,8) <= -0
 GIVEN(5,9,9): - Ans(5,9,9) <= -0
 GIVEN(6,1,1): - Ans(6,1,1) <= -0
 GIVEN(6,1,2): - Ans(6,1,2) <= -0
 GIVEN(6,1,3): - Ans(6,1,3) <= -0
 GIVEN(6,1,4): - Ans(6,1,4) <= -0
 GIVEN(6,1,5): - Ans(6,1,5) <= -0
 GIVEN(6,1,6): - Ans(6,1,6) <= -0
 GIVEN(6,1,7): - Ans(6,1,7) <= -0
 GIVEN(6,1,8): - Ans(6,1,8) <= -0
 GIVEN(6,1,9): - Ans(6,1,9) <= -0
 GIVEN(6,2,1): - Ans(6,2,1) <= -0
 GIVEN(6,2,2): - Ans(6,2,2) <= -0
 GIVEN(6,2,3): - Ans(6,2,3) <= -0
 GIVEN(6,2,4): - Ans(6,2,4) <= -0
 GIVEN(6,2,5): - Ans(6,2,5) <= -0
 GIVEN(6,2,6): - Ans(6,2,6) <= -0
 GIVEN(6,2,7): - Ans(6,2,7) <= -0
 GIVEN(6,2,8): - Ans(6,2,8) <= -0
 GIVEN(6,2,9): - Ans(6,2,9) <= -0
 GIVEN(6,3,1): - Ans(6,3,1) <= -0
 GIVEN(6,3,2): - Ans(6,3,2) <= -0
 GIVEN(6,3,3): - Ans(6,3,3) <= -0
 GIVEN(6,3,4): - Ans(6,3,4) <= -0
 GIVEN(6,3,5): - Ans(6,3,5) <= -0
 GIVEN(6,3,6): - Ans(6,3,6) <= -0
 GIVEN(6,3,7): - Ans(6,3,7) <= -0
 GIVEN(6,3,8): - Ans(6,3,8) <= -1
 GIVEN(6,3,9): - Ans(6,3,9) <= -0
 GIVEN(6,4,1): - Ans(6,4,1) <= -0
 GIVEN(6,4,2): - Ans(6,4,2) <= -0
 GIVEN(6,4,3): - Ans(6,4,3) <= -0
 GIVEN(6,4,4): - Ans(6,4,4) <= -0
 GIVEN(6,4,5): - Ans(6,4,5) <= -0
 GIVEN(6,4,6): - Ans(6,4,6) <= -0
 GIVEN(6,4,7): - Ans(6,4,7) <= -0
 GIVEN(6,4,8): - Ans(6,4,8) <= -0
 GIVEN(6,4,9): - Ans(6,4,9) <= -0
 GIVEN(6,5,1): - Ans(6,5,1) <= -0
 GIVEN(6,5,2): - Ans(6,5,2) <= -0
 GIVEN(6,5,3): - Ans(6,5,3) <= -0
 GIVEN(6,5,4): - Ans(6,5,4) <= -0
 GIVEN(6,5,5): - Ans(6,5,5) <= -0
 GIVEN(6,5,6): - Ans(6,5,6) <= -0
 GIVEN(6,5,7): - Ans(6,5,7) <= -0
 GIVEN(6,5,8): - Ans(6,5,8) <= -0
 GIVEN(6,5,9): - Ans(6,5,9) <= -0
 GIVEN(6,6,1): - Ans(6,6,1) <= -0
 GIVEN(6,6,2): - Ans(6,6,2) <= -0
 GIVEN(6,6,3): - Ans(6,6,3) <= -0
 GIVEN(6,6,4): - Ans(6,6,4) <= -0
 GIVEN(6,6,5): - Ans(6,6,5) <= -0
 GIVEN(6,6,6): - Ans(6,6,6) <= -1
 GIVEN(6,6,7): - Ans(6,6,7) <= -0
 GIVEN(6,6,8): - Ans(6,6,8) <= -0
 GIVEN(6,6,9): - Ans(6,6,9) <= -0
 GIVEN(6,7,1): - Ans(6,7,1) <= -0
 GIVEN(6,7,2): - Ans(6,7,2) <= -0
 GIVEN(6,7,3): - Ans(6,7,3) <= -0
 GIVEN(6,7,4): - Ans(6,7,4) <= -0
 GIVEN(6,7,5): - Ans(6,7,5) <= -0
 GIVEN(6,7,6): - Ans(6,7,6) <= -0
 GIVEN(6,7,7): - Ans(6,7,7) <= -0
 GIVEN(6,7,8): - Ans(6,7,8) <= -0
 GIVEN(6,7,9): - Ans(6,7,9) <= -0
 GIVEN(6,8,1): - Ans(6,8,1) <= -0
 GIVEN(6,8,2): - Ans(6,8,2) <= -0
 GIVEN(6,8,3): - Ans(6,8,3) <= -0
 GIVEN(6,8,4): - Ans(6,8,4) <= -0
 GIVEN(6,8,5): - Ans(6,8,5) <= -0
 GIVEN(6,8,6): - Ans(6,8,6) <= -0
 GIVEN(6,8,7): - Ans(6,8,7) <= -0
 GIVEN(6,8,8): - Ans(6,8,8) <= -0
 GIVEN(6,8,9): - Ans(6,8,9) <= -0
 GIVEN(6,9,1): - Ans(6,9,1) <= -0
 GIVEN(6,9,2): - Ans(6,9,2) <= -0
 GIVEN(6,9,3): - Ans(6,9,3) <= -0
 GIVEN(6,9,4): - Ans(6,9,4) <= -0
 GIVEN(6,9,5): - Ans(6,9,5) <= -0
 GIVEN(6,9,6): - Ans(6,9,6) <= -0
 GIVEN(6,9,7): - Ans(6,9,7) <= -1
 GIVEN(6,9,8): - Ans(6,9,8) <= -0
 GIVEN(6,9,9): - Ans(6,9,9) <= -0
 GIVEN(7,1,1): - Ans(7,1,1) <= -0
 GIVEN(7,1,2): - Ans(7,1,2) <= -0
 GIVEN(7,1,3): - Ans(7,1,3) <= -0
 GIVEN(7,1,4): - Ans(7,1,4) <= -0
 GIVEN(7,1,5): - Ans(7,1,5) <= -0
 GIVEN(7,1,6): - Ans(7,1,6) <= -0
 GIVEN(7,1,7): - Ans(7,1,7) <= -0
 GIVEN(7,1,8): - Ans(7,1,8) <= -1
 GIVEN(7,1,9): - Ans(7,1,9) <= -0
 GIVEN(7,2,1): - Ans(7,2,1) <= -0
 GIVEN(7,2,2): - Ans(7,2,2) <= -0
 GIVEN(7,2,3): - Ans(7,2,3) <= -0
 GIVEN(7,2,4): - Ans(7,2,4) <= -0
 GIVEN(7,2,5): - Ans(7,2,5) <= -0
 GIVEN(7,2,6): - Ans(7,2,6) <= -0
 GIVEN(7,2,7): - Ans(7,2,7) <= -0
 GIVEN(7,2,8): - Ans(7,2,8) <= -0
 GIVEN(7,2,9): - Ans(7,2,9) <= -0
 GIVEN(7,3,1): - Ans(7,3,1) <= -0
 GIVEN(7,3,2): - Ans(7,3,2) <= -0
 GIVEN(7,3,3): - Ans(7,3,3) <= -0
 GIVEN(7,3,4): - Ans(7,3,4) <= -0
 GIVEN(7,3,5): - Ans(7,3,5) <= -0
 GIVEN(7,3,6): - Ans(7,3,6) <= -0
 GIVEN(7,3,7): - Ans(7,3,7) <= -0
 GIVEN(7,3,8): - Ans(7,3,8) <= -0
 GIVEN(7,3,9): - Ans(7,3,9) <= -0
 GIVEN(7,4,1): - Ans(7,4,1) <= -0
 GIVEN(7,4,2): - Ans(7,4,2) <= -0
 GIVEN(7,4,3): - Ans(7,4,3) <= -0
 GIVEN(7,4,4): - Ans(7,4,4) <= -0
 GIVEN(7,4,5): - Ans(7,4,5) <= -0
 GIVEN(7,4,6): - Ans(7,4,6) <= -0
 GIVEN(7,4,7): - Ans(7,4,7) <= -0
 GIVEN(7,4,8): - Ans(7,4,8) <= -0
 GIVEN(7,4,9): - Ans(7,4,9) <= -1
 GIVEN(7,5,1): - Ans(7,5,1) <= -0
 GIVEN(7,5,2): - Ans(7,5,2) <= -0
 GIVEN(7,5,3): - Ans(7,5,3) <= -0
 GIVEN(7,5,4): - Ans(7,5,4) <= -0
 GIVEN(7,5,5): - Ans(7,5,5) <= -0
 GIVEN(7,5,6): - Ans(7,5,6) <= -0
 GIVEN(7,5,7): - Ans(7,5,7) <= -0
 GIVEN(7,5,8): - Ans(7,5,8) <= -0
 GIVEN(7,5,9): - Ans(7,5,9) <= -0
 GIVEN(7,6,1): - Ans(7,6,1) <= -0
 GIVEN(7,6,2): - Ans(7,6,2) <= -0
 GIVEN(7,6,3): - Ans(7,6,3) <= -0
 GIVEN(7,6,4): - Ans(7,6,4) <= -0
 GIVEN(7,6,5): - Ans(7,6,5) <= -0
 GIVEN(7,6,6): - Ans(7,6,6) <= -0
 GIVEN(7,6,7): - Ans(7,6,7) <= -0
 GIVEN(7,6,8): - Ans(7,6,8) <= -0
 GIVEN(7,6,9): - Ans(7,6,9) <= -0
 GIVEN(7,7,1): - Ans(7,7,1) <= -0
 GIVEN(7,7,2): - Ans(7,7,2) <= -0
 GIVEN(7,7,3): - Ans(7,7,3) <= -0
 GIVEN(7,7,4): - Ans(7,7,4) <= -0
 GIVEN(7,7,5): - Ans(7,7,5) <= -0
 GIVEN(7,7,6): - Ans(7,7,6) <= -0
 GIVEN(7,7,7): - Ans(7,7,7) <= -1
 GIVEN(7,7,8): - Ans(7,7,8) <= -0
 GIVEN(7,7,9): - Ans(7,7,9) <= -0
 GIVEN(7,8,1): - Ans(7,8,1) <= -0
 GIVEN(7,8,2): - Ans(7,8,2) <= -0
 GIVEN(7,8,3): - Ans(7,8,3) <= -0
 GIVEN(7,8,4): - Ans(7,8,4) <= -0
 GIVEN(7,8,5): - Ans(7,8,5) <= -0
 GIVEN(7,8,6): - Ans(7,8,6) <= -0
 GIVEN(7,8,7): - Ans(7,8,7) <= -0
 GIVEN(7,8,8): - Ans(7,8,8) <= -0
 GIVEN(7,8,9): - Ans(7,8,9) <= -0
 GIVEN(7,9,1): - Ans(7,9,1) <= -0
 GIVEN(7,9,2): - Ans(7,9,2) <= -0
 GIVEN(7,9,3): - Ans(7,9,3) <= -0
 GIVEN(7,9,4): - Ans(7,9,4) <= -0
 GIVEN(7,9,5): - Ans(7,9,5) <= -0
 GIVEN(7,9,6): - Ans(7,9,6) <= -0
 GIVEN(7,9,7): - Ans(7,9,7) <= -0
 GIVEN(7,9,8): - Ans(7,9,8) <= -0
 GIVEN(7,9,9): - Ans(7,9,9) <= -0
 GIVEN(8,1,1): - Ans(8,1,1) <= -0
 GIVEN(8,1,2): - Ans(8,1,2) <= -0
 GIVEN(8,1,3): - Ans(8,1,3) <= -0
 GIVEN(8,1,4): - Ans(8,1,4) <= -0
 GIVEN(8,1,5): - Ans(8,1,5) <= -0
 GIVEN(8,1,6): - Ans(8,1,6) <= -0
 GIVEN(8,1,7): - Ans(8,1,7) <= -0
 GIVEN(8,1,8): - Ans(8,1,8) <= -0
 GIVEN(8,1,9): - Ans(8,1,9) <= -0
 GIVEN(8,2,1): - Ans(8,2,1) <= -0
 GIVEN(8,2,2): - Ans(8,2,2) <= -0
 GIVEN(8,2,3): - Ans(8,2,3) <= -0
 GIVEN(8,2,4): - Ans(8,2,4) <= -0
 GIVEN(8,2,5): - Ans(8,2,5) <= -0
 GIVEN(8,2,6): - Ans(8,2,6) <= -0
 GIVEN(8,2,7): - Ans(8,2,7) <= -0
 GIVEN(8,2,8): - Ans(8,2,8) <= -0
 GIVEN(8,2,9): - Ans(8,2,9) <= -1
 GIVEN(8,3,1): - Ans(8,3,1) <= -0
 GIVEN(8,3,2): - Ans(8,3,2) <= -0
 GIVEN(8,3,3): - Ans(8,3,3) <= -0
 GIVEN(8,3,4): - Ans(8,3,4) <= -0
 GIVEN(8,3,5): - Ans(8,3,5) <= -0
 GIVEN(8,3,6): - Ans(8,3,6) <= -0
 GIVEN(8,3,7): - Ans(8,3,7) <= -0
 GIVEN(8,3,8): - Ans(8,3,8) <= -0
 GIVEN(8,3,9): - Ans(8,3,9) <= -0
 GIVEN(8,4,1): - Ans(8,4,1) <= -0
 GIVEN(8,4,2): - Ans(8,4,2) <= -0
 GIVEN(8,4,3): - Ans(8,4,3) <= -0
 GIVEN(8,4,4): - Ans(8,4,4) <= -0
 GIVEN(8,4,5): - Ans(8,4,5) <= -0
 GIVEN(8,4,6): - Ans(8,4,6) <= -0
 GIVEN(8,4,7): - Ans(8,4,7) <= -0
 GIVEN(8,4,8): - Ans(8,4,8) <= -0
 GIVEN(8,4,9): - Ans(8,4,9) <= -0
 GIVEN(8,5,1): - Ans(8,5,1) <= -1
 GIVEN(8,5,2): - Ans(8,5,2) <= -0
 GIVEN(8,5,3): - Ans(8,5,3) <= -0
 GIVEN(8,5,4): - Ans(8,5,4) <= -0
 GIVEN(8,5,5): - Ans(8,5,5) <= -0
 GIVEN(8,5,6): - Ans(8,5,6) <= -0
 GIVEN(8,5,7): - Ans(8,5,7) <= -0
 GIVEN(8,5,8): - Ans(8,5,8) <= -0
 GIVEN(8,5,9): - Ans(8,5,9) <= -0
 GIVEN(8,6,1): - Ans(8,6,1) <= -0
 GIVEN(8,6,2): - Ans(8,6,2) <= -0
 GIVEN(8,6,3): - Ans(8,6,3) <= -0
 GIVEN(8,6,4): - Ans(8,6,4) <= -0
 GIVEN(8,6,5): - Ans(8,6,5) <= -0
 GIVEN(8,6,6): - Ans(8,6,6) <= -0
 GIVEN(8,6,7): - Ans(8,6,7) <= -0
 GIVEN(8,6,8): - Ans(8,6,8) <= -0
 GIVEN(8,6,9): - Ans(8,6,9) <= -0
 GIVEN(8,7,1): - Ans(8,7,1) <= -0
 GIVEN(8,7,2): - Ans(8,7,2) <= -0
 GIVEN(8,7,3): - Ans(8,7,3) <= -0
 GIVEN(8,7,4): - Ans(8,7,4) <= -0
 GIVEN(8,7,5): - Ans(8,7,5) <= -0
 GIVEN(8,7,6): - Ans(8,7,6) <= -0
 GIVEN(8,7,7): - Ans(8,7,7) <= -0
 GIVEN(8,7,8): - Ans(8,7,8) <= -0
 GIVEN(8,7,9): - Ans(8,7,9) <= -0
 GIVEN(8,8,1): - Ans(8,8,1) <= -0
 GIVEN(8,8,2): - Ans(8,8,2) <= -0
 GIVEN(8,8,3): - Ans(8,8,3) <= -0
 GIVEN(8,8,4): - Ans(8,8,4) <= -0
 GIVEN(8,8,5): - Ans(8,8,5) <= -0
 GIVEN(8,8,6): - Ans(8,8,6) <= -0
 GIVEN(8,8,7): - Ans(8,8,7) <= -0
 GIVEN(8,8,8): - Ans(8,8,8) <= -1
 GIVEN(8,8,9): - Ans(8,8,9) <= -0
 GIVEN(8,9,1): - Ans(8,9,1) <= -0
 GIVEN(8,9,2): - Ans(8,9,2) <= -0
 GIVEN(8,9,3): - Ans(8,9,3) <= -0
 GIVEN(8,9,4): - Ans(8,9,4) <= -0
 GIVEN(8,9,5): - Ans(8,9,5) <= -0
 GIVEN(8,9,6): - Ans(8,9,6) <= -0
 GIVEN(8,9,7): - Ans(8,9,7) <= -0
 GIVEN(8,9,8): - Ans(8,9,8) <= -0
 GIVEN(8,9,9): - Ans(8,9,9) <= -0
 GIVEN(9,1,1): - Ans(9,1,1) <= -0
 GIVEN(9,1,2): - Ans(9,1,2) <= -0
 GIVEN(9,1,3): - Ans(9,1,3) <= -0
 GIVEN(9,1,4): - Ans(9,1,4) <= -0
 GIVEN(9,1,5): - Ans(9,1,5) <= -0
 GIVEN(9,1,6): - Ans(9,1,6) <= -0
 GIVEN(9,1,7): - Ans(9,1,7) <= -0
 GIVEN(9,1,8): - Ans(9,1,8) <= -0
 GIVEN(9,1,9): - Ans(9,1,9) <= -0
 GIVEN(9,2,1): - Ans(9,2,1) <= -0
 GIVEN(9,2,2): - Ans(9,2,2) <= -0
 GIVEN(9,2,3): - Ans(9,2,3) <= -0
 GIVEN(9,2,4): - Ans(9,2,4) <= -0
 GIVEN(9,2,5): - Ans(9,2,5) <= -0
 GIVEN(9,2,6): - Ans(9,2,6) <= -0
 GIVEN(9,2,7): - Ans(9,2,7) <= -0
 GIVEN(9,2,8): - Ans(9,2,8) <= -0
 GIVEN(9,2,9): - Ans(9,2,9) <= -0
 GIVEN(9,3,1): - Ans(9,3,1) <= -1
 GIVEN(9,3,2): - Ans(9,3,2) <= -0
 GIVEN(9,3,3): - Ans(9,3,3) <= -0
 GIVEN(9,3,4): - Ans(9,3,4) <= -0
 GIVEN(9,3,5): - Ans(9,3,5) <= -0
 GIVEN(9,3,6): - Ans(9,3,6) <= -0
 GIVEN(9,3,7): - Ans(9,3,7) <= -0
 GIVEN(9,3,8): - Ans(9,3,8) <= -0
 GIVEN(9,3,9): - Ans(9,3,9) <= -0
 GIVEN(9,4,1): - Ans(9,4,1) <= -0
 GIVEN(9,4,2): - Ans(9,4,2) <= -0
 GIVEN(9,4,3): - Ans(9,4,3) <= -0
 GIVEN(9,4,4): - Ans(9,4,4) <= -0
 GIVEN(9,4,5): - Ans(9,4,5) <= -0
 GIVEN(9,4,6): - Ans(9,4,6) <= -0
 GIVEN(9,4,7): - Ans(9,4,7) <= -0
 GIVEN(9,4,8): - Ans(9,4,8) <= -0
 GIVEN(9,4,9): - Ans(9,4,9) <= -0
 GIVEN(9,5,1): - Ans(9,5,1) <= -0
 GIVEN(9,5,2): - Ans(9,5,2) <= -0
 GIVEN(9,5,3): - Ans(9,5,3) <= -0
 GIVEN(9,5,4): - Ans(9,5,4) <= -0
 GIVEN(9,5,5): - Ans(9,5,5) <= -0
 GIVEN(9,5,6): - Ans(9,5,6) <= -0
 GIVEN(9,5,7): - Ans(9,5,7) <= -0
 GIVEN(9,5,8): - Ans(9,5,8) <= -0
 GIVEN(9,5,9): - Ans(9,5,9) <= -0
 GIVEN(9,6,1): - Ans(9,6,1) <= -0
 GIVEN(9,6,2): - Ans(9,6,2) <= -1
 GIVEN(9,6,3): - Ans(9,6,3) <= -0
 GIVEN(9,6,4): - Ans(9,6,4) <= -0
 GIVEN(9,6,5): - Ans(9,6,5) <= -0
 GIVEN(9,6,6): - Ans(9,6,6) <= -0
 GIVEN(9,6,7): - Ans(9,6,7) <= -0
 GIVEN(9,6,8): - Ans(9,6,8) <= -0
 GIVEN(9,6,9): - Ans(9,6,9) <= -0
 GIVEN(9,7,1): - Ans(9,7,1) <= -0
 GIVEN(9,7,2): - Ans(9,7,2) <= -0
 GIVEN(9,7,3): - Ans(9,7,3) <= -0
 GIVEN(9,7,4): - Ans(9,7,4) <= -0
 GIVEN(9,7,5): - Ans(9,7,5) <= -0
 GIVEN(9,7,6): - Ans(9,7,6) <= -0
 GIVEN(9,7,7): - Ans(9,7,7) <= -0
 GIVEN(9,7,8): - Ans(9,7,8) <= -0
 GIVEN(9,7,9): - Ans(9,7,9) <= -0
 GIVEN(9,8,1): - Ans(9,8,1) <= -0
 GIVEN(9,8,2): - Ans(9,8,2) <= -0
 GIVEN(9,8,3): - Ans(9,8,3) <= -0
 GIVEN(9,8,4): - Ans(9,8,4) <= -0
 GIVEN(9,8,5): - Ans(9,8,5) <= -0
 GIVEN(9,8,6): - Ans(9,8,6) <= -0
 GIVEN(9,8,7): - Ans(9,8,7) <= -0
 GIVEN(9,8,8): - Ans(9,8,8) <= -0
 GIVEN(9,8,9): - Ans(9,8,9) <= -0
 GIVEN(9,9,1): - Ans(9,9,1) <= -0
 GIVEN(9,9,2): - Ans(9,9,2) <= -0
 GIVEN(9,9,3): - Ans(9,9,3) <= -0
 GIVEN(9,9,4): - Ans(9,9,4) <= -1
 GIVEN(9,9,5): - Ans(9,9,5) <= -0
 GIVEN(9,9,6): - Ans(9,9,6) <= -0
 GIVEN(9,9,7): - Ans(9,9,7) <= -0
 GIVEN(9,9,8): - Ans(9,9,8) <= -0
 GIVEN(9,9,9): - Ans(9,9,9) <= -0
 FILLED(1,1): + Ans(1,1,1) + Ans(1,1,2) + Ans(1,1,3) + Ans(1,1,4)
 + Ans(1,1,5) + Ans(1,1,6) + Ans(1,1,7) + Ans(1,1,8) + Ans(1,1,9) = 1
 FILLED(1,2): + Ans(1,2,1) + Ans(1,2,2) + Ans(1,2,3) + Ans(1,2,4)
 + Ans(1,2,5) + Ans(1,2,6) + Ans(1,2,7) + Ans(1,2,8) + Ans(1,2,9) = 1
 FILLED(1,3): + Ans(1,3,1) + Ans(1,3,2) + Ans(1,3,3) + Ans(1,3,4)
 + Ans(1,3,5) + Ans(1,3,6) + Ans(1,3,7) + Ans(1,3,8) + Ans(1,3,9) = 1
 FILLED(1,4): + Ans(1,4,1) + Ans(1,4,2) + Ans(1,4,3) + Ans(1,4,4)
 + Ans(1,4,5) + Ans(1,4,6) + Ans(1,4,7) + Ans(1,4,8) + Ans(1,4,9) = 1
 FILLED(1,5): + Ans(1,5,1) + Ans(1,5,2) + Ans(1,5,3) + Ans(1,5,4)
 + Ans(1,5,5) + Ans(1,5,6) + Ans(1,5,7) + Ans(1,5,8) + Ans(1,5,9) = 1
 FILLED(1,6): + Ans(1,6,1) + Ans(1,6,2) + Ans(1,6,3) + Ans(1,6,4)
 + Ans(1,6,5) + Ans(1,6,6) + Ans(1,6,7) + Ans(1,6,8) + Ans(1,6,9) = 1
 FILLED(1,7): + Ans(1,7,1) + Ans(1,7,2) + Ans(1,7,3) + Ans(1,7,4)
 + Ans(1,7,5) + Ans(1,7,6) + Ans(1,7,7) + Ans(1,7,8) + Ans(1,7,9) = 1
 FILLED(1,8): + Ans(1,8,1) + Ans(1,8,2) + Ans(1,8,3) + Ans(1,8,4)
 + Ans(1,8,5) + Ans(1,8,6) + Ans(1,8,7) + Ans(1,8,8) + Ans(1,8,9) = 1
 FILLED(1,9): + Ans(1,9,1) + Ans(1,9,2) + Ans(1,9,3) + Ans(1,9,4)
 + Ans(1,9,5) + Ans(1,9,6) + Ans(1,9,7) + Ans(1,9,8) + Ans(1,9,9) = 1
 FILLED(2,1): + Ans(2,1,1) + Ans(2,1,2) + Ans(2,1,3) + Ans(2,1,4)
 + Ans(2,1,5) + Ans(2,1,6) + Ans(2,1,7) + Ans(2,1,8) + Ans(2,1,9) = 1
 FILLED(2,2): + Ans(2,2,1) + Ans(2,2,2) + Ans(2,2,3) + Ans(2,2,4)
 + Ans(2,2,5) + Ans(2,2,6) + Ans(2,2,7) + Ans(2,2,8) + Ans(2,2,9) = 1
 FILLED(2,3): + Ans(2,3,1) + Ans(2,3,2) + Ans(2,3,3) + Ans(2,3,4)
 + Ans(2,3,5) + Ans(2,3,6) + Ans(2,3,7) + Ans(2,3,8) + Ans(2,3,9) = 1
 FILLED(2,4): + Ans(2,4,1) + Ans(2,4,2) + Ans(2,4,3) + Ans(2,4,4)
 + Ans(2,4,5) + Ans(2,4,6) + Ans(2,4,7) + Ans(2,4,8) + Ans(2,4,9) = 1
 FILLED(2,5): + Ans(2,5,1) + Ans(2,5,2) + Ans(2,5,3) + Ans(2,5,4)
 + Ans(2,5,5) + Ans(2,5,6) + Ans(2,5,7) + Ans(2,5,8) + Ans(2,5,9) = 1
 FILLED(2,6): + Ans(2,6,1) + Ans(2,6,2) + Ans(2,6,3) + Ans(2,6,4)
 + Ans(2,6,5) + Ans(2,6,6) + Ans(2,6,7) + Ans(2,6,8) + Ans(2,6,9) = 1
 FILLED(2,7): + Ans(2,7,1) + Ans(2,7,2) + Ans(2,7,3) + Ans(2,7,4)
 + Ans(2,7,5) + Ans(2,7,6) + Ans(2,7,7) + Ans(2,7,8) + Ans(2,7,9) = 1
 FILLED(2,8): + Ans(2,8,1) + Ans(2,8,2) + Ans(2,8,3) + Ans(2,8,4)
 + Ans(2,8,5) + Ans(2,8,6) + Ans(2,8,7) + Ans(2,8,8) + Ans(2,8,9) = 1
 FILLED(2,9): + Ans(2,9,1) + Ans(2,9,2) + Ans(2,9,3) + Ans(2,9,4)
 + Ans(2,9,5) + Ans(2,9,6) + Ans(2,9,7) + Ans(2,9,8) + Ans(2,9,9) = 1
 FILLED(3,1): + Ans(3,1,1) + Ans(3,1,2) + Ans(3,1,3) + Ans(3,1,4)
 + Ans(3,1,5) + Ans(3,1,6) + Ans(3,1,7) + Ans(3,1,8) + Ans(3,1,9) = 1
 FILLED(3,2): + Ans(3,2,1) + Ans(3,2,2) + Ans(3,2,3) + Ans(3,2,4)
 + Ans(3,2,5) + Ans(3,2,6) + Ans(3,2,7) + Ans(3,2,8) + Ans(3,2,9) = 1
 FILLED(3,3): + Ans(3,3,1) + Ans(3,3,2) + Ans(3,3,3) + Ans(3,3,4)
 + Ans(3,3,5) + Ans(3,3,6) + Ans(3,3,7) + Ans(3,3,8) + Ans(3,3,9) = 1
 FILLED(3,4): + Ans(3,4,1) + Ans(3,4,2) + Ans(3,4,3) + Ans(3,4,4)
 + Ans(3,4,5) + Ans(3,4,6) + Ans(3,4,7) + Ans(3,4,8) + Ans(3,4,9) = 1
 FILLED(3,5): + Ans(3,5,1) + Ans(3,5,2) + Ans(3,5,3) + Ans(3,5,4)
 + Ans(3,5,5) + Ans(3,5,6) + Ans(3,5,7) + Ans(3,5,8) + Ans(3,5,9) = 1
 FILLED(3,6): + Ans(3,6,1) + Ans(3,6,2) + Ans(3,6,3) + Ans(3,6,4)
 + Ans(3,6,5) + Ans(3,6,6) + Ans(3,6,7) + Ans(3,6,8) + Ans(3,6,9) = 1
 FILLED(3,7): + Ans(3,7,1) + Ans(3,7,2) + Ans(3,7,3) + Ans(3,7,4)
 + Ans(3,7,5) + Ans(3,7,6) + Ans(3,7,7) + Ans(3,7,8) + Ans(3,7,9) = 1
 FILLED(3,8): + Ans(3,8,1) + Ans(3,8,2) + Ans(3,8,3) + Ans(3,8,4)
 + Ans(3,8,5) + Ans(3,8,6) + Ans(3,8,7) + Ans(3,8,8) + Ans(3,8,9) = 1
 FILLED(3,9): + Ans(3,9,1) + Ans(3,9,2) + Ans(3,9,3) + Ans(3,9,4)
 + Ans(3,9,5) + Ans(3,9,6) + Ans(3,9,7) + Ans(3,9,8) + Ans(3,9,9) = 1
 FILLED(4,1): + Ans(4,1,1) + Ans(4,1,2) + Ans(4,1,3) + Ans(4,1,4)
 + Ans(4,1,5) + Ans(4,1,6) + Ans(4,1,7) + Ans(4,1,8) + Ans(4,1,9) = 1
 FILLED(4,2): + Ans(4,2,1) + Ans(4,2,2) + Ans(4,2,3) + Ans(4,2,4)
 + Ans(4,2,5) + Ans(4,2,6) + Ans(4,2,7) + Ans(4,2,8) + Ans(4,2,9) = 1
 FILLED(4,3): + Ans(4,3,1) + Ans(4,3,2) + Ans(4,3,3) + Ans(4,3,4)
 + Ans(4,3,5) + Ans(4,3,6) + Ans(4,3,7) + Ans(4,3,8) + Ans(4,3,9) = 1
 FILLED(4,4): + Ans(4,4,1) + Ans(4,4,2) + Ans(4,4,3) + Ans(4,4,4)
 + Ans(4,4,5) + Ans(4,4,6) + Ans(4,4,7) + Ans(4,4,8) + Ans(4,4,9) = 1
 FILLED(4,5): + Ans(4,5,1) + Ans(4,5,2) + Ans(4,5,3) + Ans(4,5,4)
 + Ans(4,5,5) + Ans(4,5,6) + Ans(4,5,7) + Ans(4,5,8) + Ans(4,5,9) = 1
 FILLED(4,6): + Ans(4,6,1) + Ans(4,6,2) + Ans(4,6,3) + Ans(4,6,4)
 + Ans(4,6,5) + Ans(4,6,6) + Ans(4,6,7) + Ans(4,6,8) + Ans(4,6,9) = 1
 FILLED(4,7): + Ans(4,7,1) + Ans(4,7,2) + Ans(4,7,3) + Ans(4,7,4)
 + Ans(4,7,5) + Ans(4,7,6) + Ans(4,7,7) + Ans(4,7,8) + Ans(4,7,9) = 1
 FILLED(4,8): + Ans(4,8,1) + Ans(4,8,2) + Ans(4,8,3) + Ans(4,8,4)
 + Ans(4,8,5) + Ans(4,8,6) + Ans(4,8,7) + Ans(4,8,8) + Ans(4,8,9) = 1
 FILLED(4,9): + Ans(4,9,1) + Ans(4,9,2) + Ans(4,9,3) + Ans(4,9,4)
 + Ans(4,9,5) + Ans(4,9,6) + Ans(4,9,7) + Ans(4,9,8) + Ans(4,9,9) = 1
 FILLED(5,1): + Ans(5,1,1) + Ans(5,1,2) + Ans(5,1,3) + Ans(5,1,4)
 + Ans(5,1,5) + Ans(5,1,6) + Ans(5,1,7) + Ans(5,1,8) + Ans(5,1,9) = 1
 FILLED(5,2): + Ans(5,2,1) + Ans(5,2,2) + Ans(5,2,3) + Ans(5,2,4)
 + Ans(5,2,5) + Ans(5,2,6) + Ans(5,2,7) + Ans(5,2,8) + Ans(5,2,9) = 1
 FILLED(5,3): + Ans(5,3,1) + Ans(5,3,2) + Ans(5,3,3) + Ans(5,3,4)
 + Ans(5,3,5) + Ans(5,3,6) + Ans(5,3,7) + Ans(5,3,8) + Ans(5,3,9) = 1
 FILLED(5,4): + Ans(5,4,1) + Ans(5,4,2) + Ans(5,4,3) + Ans(5,4,4)
 + Ans(5,4,5) + Ans(5,4,6) + Ans(5,4,7) + Ans(5,4,8) + Ans(5,4,9) = 1
 FILLED(5,5): + Ans(5,5,1) + Ans(5,5,2) + Ans(5,5,3) + Ans(5,5,4)
 + Ans(5,5,5) + Ans(5,5,6) + Ans(5,5,7) + Ans(5,5,8) + Ans(5,5,9) = 1
 FILLED(5,6): + Ans(5,6,1) + Ans(5,6,2) + Ans(5,6,3) + Ans(5,6,4)
 + Ans(5,6,5) + Ans(5,6,6) + Ans(5,6,7) + Ans(5,6,8) + Ans(5,6,9) = 1
 FILLED(5,7): + Ans(5,7,1) + Ans(5,7,2) + Ans(5,7,3) + Ans(5,7,4)
 + Ans(5,7,5) + Ans(5,7,6) + Ans(5,7,7) + Ans(5,7,8) + Ans(5,7,9) = 1
 FILLED(5,8): + Ans(5,8,1) + Ans(5,8,2) + Ans(5,8,3) + Ans(5,8,4)
 + Ans(5,8,5) + Ans(5,8,6) + Ans(5,8,7) + Ans(5,8,8) + Ans(5,8,9) = 1
 FILLED(5,9): + Ans(5,9,1) + Ans(5,9,2) + Ans(5,9,3) + Ans(5,9,4)
 + Ans(5,9,5) + Ans(5,9,6) + Ans(5,9,7) + Ans(5,9,8) + Ans(5,9,9) = 1
 FILLED(6,1): + Ans(6,1,1) + Ans(6,1,2) + Ans(6,1,3) + Ans(6,1,4)
 + Ans(6,1,5) + Ans(6,1,6) + Ans(6,1,7) + Ans(6,1,8) + Ans(6,1,9) = 1
 FILLED(6,2): + Ans(6,2,1) + Ans(6,2,2) + Ans(6,2,3) + Ans(6,2,4)
 + Ans(6,2,5) + Ans(6,2,6) + Ans(6,2,7) + Ans(6,2,8) + Ans(6,2,9) = 1
 FILLED(6,3): + Ans(6,3,1) + Ans(6,3,2) + Ans(6,3,3) + Ans(6,3,4)
 + Ans(6,3,5) + Ans(6,3,6) + Ans(6,3,7) + Ans(6,3,8) + Ans(6,3,9) = 1
 FILLED(6,4): + Ans(6,4,1) + Ans(6,4,2) + Ans(6,4,3) + Ans(6,4,4)
 + Ans(6,4,5) + Ans(6,4,6) + Ans(6,4,7) + Ans(6,4,8) + Ans(6,4,9) = 1
 FILLED(6,5): + Ans(6,5,1) + Ans(6,5,2) + Ans(6,5,3) + Ans(6,5,4)
 + Ans(6,5,5) + Ans(6,5,6) + Ans(6,5,7) + Ans(6,5,8) + Ans(6,5,9) = 1
 FILLED(6,6): + Ans(6,6,1) + Ans(6,6,2) + Ans(6,6,3) + Ans(6,6,4)
 + Ans(6,6,5) + Ans(6,6,6) + Ans(6,6,7) + Ans(6,6,8) + Ans(6,6,9) = 1
 FILLED(6,7): + Ans(6,7,1) + Ans(6,7,2) + Ans(6,7,3) + Ans(6,7,4)
 + Ans(6,7,5) + Ans(6,7,6) + Ans(6,7,7) + Ans(6,7,8) + Ans(6,7,9) = 1
 FILLED(6,8): + Ans(6,8,1) + Ans(6,8,2) + Ans(6,8,3) + Ans(6,8,4)
 + Ans(6,8,5) + Ans(6,8,6) + Ans(6,8,7) + Ans(6,8,8) + Ans(6,8,9) = 1
 FILLED(6,9): + Ans(6,9,1) + Ans(6,9,2) + Ans(6,9,3) + Ans(6,9,4)
 + Ans(6,9,5) + Ans(6,9,6) + Ans(6,9,7) + Ans(6,9,8) + Ans(6,9,9) = 1
 FILLED(7,1): + Ans(7,1,1) + Ans(7,1,2) + Ans(7,1,3) + Ans(7,1,4)
 + Ans(7,1,5) + Ans(7,1,6) + Ans(7,1,7) + Ans(7,1,8) + Ans(7,1,9) = 1
 FILLED(7,2): + Ans(7,2,1) + Ans(7,2,2) + Ans(7,2,3) + Ans(7,2,4)
 + Ans(7,2,5) + Ans(7,2,6) + Ans(7,2,7) + Ans(7,2,8) + Ans(7,2,9) = 1
 FILLED(7,3): + Ans(7,3,1) + Ans(7,3,2) + Ans(7,3,3) + Ans(7,3,4)
 + Ans(7,3,5) + Ans(7,3,6) + Ans(7,3,7) + Ans(7,3,8) + Ans(7,3,9) = 1
 FILLED(7,4): + Ans(7,4,1) + Ans(7,4,2) + Ans(7,4,3) + Ans(7,4,4)
 + Ans(7,4,5) + Ans(7,4,6) + Ans(7,4,7) + Ans(7,4,8) + Ans(7,4,9) = 1
 FILLED(7,5): + Ans(7,5,1) + Ans(7,5,2) + Ans(7,5,3) + Ans(7,5,4)
 + Ans(7,5,5) + Ans(7,5,6) + Ans(7,5,7) + Ans(7,5,8) + Ans(7,5,9) = 1
 FILLED(7,6): + Ans(7,6,1) + Ans(7,6,2) + Ans(7,6,3) + Ans(7,6,4)
 + Ans(7,6,5) + Ans(7,6,6) + Ans(7,6,7) + Ans(7,6,8) + Ans(7,6,9) = 1
 FILLED(7,7): + Ans(7,7,1) + Ans(7,7,2) + Ans(7,7,3) + Ans(7,7,4)
 + Ans(7,7,5) + Ans(7,7,6) + Ans(7,7,7) + Ans(7,7,8) + Ans(7,7,9) = 1
 FILLED(7,8): + Ans(7,8,1) + Ans(7,8,2) + Ans(7,8,3) + Ans(7,8,4)
 + Ans(7,8,5) + Ans(7,8,6) + Ans(7,8,7) + Ans(7,8,8) + Ans(7,8,9) = 1
 FILLED(7,9): + Ans(7,9,1) + Ans(7,9,2) + Ans(7,9,3) + Ans(7,9,4)
 + Ans(7,9,5) + Ans(7,9,6) + Ans(7,9,7) + Ans(7,9,8) + Ans(7,9,9) = 1
 FILLED(8,1): + Ans(8,1,1) + Ans(8,1,2) + Ans(8,1,3) + Ans(8,1,4)
 + Ans(8,1,5) + Ans(8,1,6) + Ans(8,1,7) + Ans(8,1,8) + Ans(8,1,9) = 1
 FILLED(8,2): + Ans(8,2,1) + Ans(8,2,2) + Ans(8,2,3) + Ans(8,2,4)
 + Ans(8,2,5) + Ans(8,2,6) + Ans(8,2,7) + Ans(8,2,8) + Ans(8,2,9) = 1
 FILLED(8,3): + Ans(8,3,1) + Ans(8,3,2) + Ans(8,3,3) + Ans(8,3,4)
 + Ans(8,3,5) + Ans(8,3,6) + Ans(8,3,7) + Ans(8,3,8) + Ans(8,3,9) = 1
 FILLED(8,4): + Ans(8,4,1) + Ans(8,4,2) + Ans(8,4,3) + Ans(8,4,4)
 + Ans(8,4,5) + Ans(8,4,6) + Ans(8,4,7) + Ans(8,4,8) + Ans(8,4,9) = 1
 FILLED(8,5): + Ans(8,5,1) + Ans(8,5,2) + Ans(8,5,3) + Ans(8,5,4)
 + Ans(8,5,5) + Ans(8,5,6) + Ans(8,5,7) + Ans(8,5,8) + Ans(8,5,9) = 1
 FILLED(8,6): + Ans(8,6,1) + Ans(8,6,2) + Ans(8,6,3) + Ans(8,6,4)
 + Ans(8,6,5) + Ans(8,6,6) + Ans(8,6,7) + Ans(8,6,8) + Ans(8,6,9) = 1
 FILLED(8,7): + Ans(8,7,1) + Ans(8,7,2) + Ans(8,7,3) + Ans(8,7,4)
 + Ans(8,7,5) + Ans(8,7,6) + Ans(8,7,7) + Ans(8,7,8) + Ans(8,7,9) = 1
 FILLED(8,8): + Ans(8,8,1) + Ans(8,8,2) + Ans(8,8,3) + Ans(8,8,4)
 + Ans(8,8,5) + Ans(8,8,6) + Ans(8,8,7) + Ans(8,8,8) + Ans(8,8,9) = 1
 FILLED(8,9): + Ans(8,9,1) + Ans(8,9,2) + Ans(8,9,3) + Ans(8,9,4)
 + Ans(8,9,5) + Ans(8,9,6) + Ans(8,9,7) + Ans(8,9,8) + Ans(8,9,9) = 1
 FILLED(9,1): + Ans(9,1,1) + Ans(9,1,2) + Ans(9,1,3) + Ans(9,1,4)
 + Ans(9,1,5) + Ans(9,1,6) + Ans(9,1,7) + Ans(9,1,8) + Ans(9,1,9) = 1
 FILLED(9,2): + Ans(9,2,1) + Ans(9,2,2) + Ans(9,2,3) + Ans(9,2,4)
 + Ans(9,2,5) + Ans(9,2,6) + Ans(9,2,7) + Ans(9,2,8) + Ans(9,2,9) = 1
 FILLED(9,3): + Ans(9,3,1) + Ans(9,3,2) + Ans(9,3,3) + Ans(9,3,4)
 + Ans(9,3,5) + Ans(9,3,6) + Ans(9,3,7) + Ans(9,3,8) + Ans(9,3,9) = 1
 FILLED(9,4): + Ans(9,4,1) + Ans(9,4,2) + Ans(9,4,3) + Ans(9,4,4)
 + Ans(9,4,5) + Ans(9,4,6) + Ans(9,4,7) + Ans(9,4,8) + Ans(9,4,9) = 1
 FILLED(9,5): + Ans(9,5,1) + Ans(9,5,2) + Ans(9,5,3) + Ans(9,5,4)
 + Ans(9,5,5) + Ans(9,5,6) + Ans(9,5,7) + Ans(9,5,8) + Ans(9,5,9) = 1
 FILLED(9,6): + Ans(9,6,1) + Ans(9,6,2) + Ans(9,6,3) + Ans(9,6,4)
 + Ans(9,6,5) + Ans(9,6,6) + Ans(9,6,7) + Ans(9,6,8) + Ans(9,6,9) = 1
 FILLED(9,7): + Ans(9,7,1) + Ans(9,7,2) + Ans(9,7,3) + Ans(9,7,4)
 + Ans(9,7,5) + Ans(9,7,6) + Ans(9,7,7) + Ans(9,7,8) + Ans(9,7,9) = 1
 FILLED(9,8): + Ans(9,8,1) + Ans(9,8,2) + Ans(9,8,3) + Ans(9,8,4)
 + Ans(9,8,5) + Ans(9,8,6) + Ans(9,8,7) + Ans(9,8,8) + Ans(9,8,9) = 1
 FILLED(9,9): + Ans(9,9,1) + Ans(9,9,2) + Ans(9,9,3) + Ans(9,9,4)
 + Ans(9,9,5) + Ans(9,9,6) + Ans(9,9,7) + Ans(9,9,8) + Ans(9,9,9) = 1
 COL(1,1): + Ans(1,1,1) + Ans(1,2,1) + Ans(1,3,1) + Ans(1,4,1)
 + Ans(1,5,1) + Ans(1,6,1) + Ans(1,7,1) + Ans(1,8,1) + Ans(1,9,1) = 1
 COL(1,2): + Ans(2,1,1) + Ans(2,2,1) + Ans(2,3,1) + Ans(2,4,1)
 + Ans(2,5,1) + Ans(2,6,1) + Ans(2,7,1) + Ans(2,8,1) + Ans(2,9,1) = 1
 COL(1,3): + Ans(3,1,1) + Ans(3,2,1) + Ans(3,3,1) + Ans(3,4,1)
 + Ans(3,5,1) + Ans(3,6,1) + Ans(3,7,1) + Ans(3,8,1) + Ans(3,9,1) = 1
 COL(1,4): + Ans(4,1,1) + Ans(4,2,1) + Ans(4,3,1) + Ans(4,4,1)
 + Ans(4,5,1) + Ans(4,6,1) + Ans(4,7,1) + Ans(4,8,1) + Ans(4,9,1) = 1
 COL(1,5): + Ans(5,1,1) + Ans(5,2,1) + Ans(5,3,1) + Ans(5,4,1)
 + Ans(5,5,1) + Ans(5,6,1) + Ans(5,7,1) + Ans(5,8,1) + Ans(5,9,1) = 1
 COL(1,6): + Ans(6,1,1) + Ans(6,2,1) + Ans(6,3,1) + Ans(6,4,1)
 + Ans(6,5,1) + Ans(6,6,1) + Ans(6,7,1) + Ans(6,8,1) + Ans(6,9,1) = 1
 COL(1,7): + Ans(7,1,1) + Ans(7,2,1) + Ans(7,3,1) + Ans(7,4,1)
 + Ans(7,5,1) + Ans(7,6,1) + Ans(7,7,1) + Ans(7,8,1) + Ans(7,9,1) = 1
 COL(1,8): + Ans(8,1,1) + Ans(8,2,1) + Ans(8,3,1) + Ans(8,4,1)
 + Ans(8,5,1) + Ans(8,6,1) + Ans(8,7,1) + Ans(8,8,1) + Ans(8,9,1) = 1
 COL(1,9): + Ans(9,1,1) + Ans(9,2,1) + Ans(9,3,1) + Ans(9,4,1)
 + Ans(9,5,1) + Ans(9,6,1) + Ans(9,7,1) + Ans(9,8,1) + Ans(9,9,1) = 1
 COL(2,1): + Ans(1,1,2) + Ans(1,2,2) + Ans(1,3,2) + Ans(1,4,2)
 + Ans(1,5,2) + Ans(1,6,2) + Ans(1,7,2) + Ans(1,8,2) + Ans(1,9,2) = 1
 COL(2,2): + Ans(2,1,2) + Ans(2,2,2) + Ans(2,3,2) + Ans(2,4,2)
 + Ans(2,5,2) + Ans(2,6,2) + Ans(2,7,2) + Ans(2,8,2) + Ans(2,9,2) = 1
 COL(2,3): + Ans(3,1,2) + Ans(3,2,2) + Ans(3,3,2) + Ans(3,4,2)
 + Ans(3,5,2) + Ans(3,6,2) + Ans(3,7,2) + Ans(3,8,2) + Ans(3,9,2) = 1
 COL(2,4): + Ans(4,1,2) + Ans(4,2,2) + Ans(4,3,2) + Ans(4,4,2)
 + Ans(4,5,2) + Ans(4,6,2) + Ans(4,7,2) + Ans(4,8,2) + Ans(4,9,2) = 1
 COL(2,5): + Ans(5,1,2) + Ans(5,2,2) + Ans(5,3,2) + Ans(5,4,2)
 + Ans(5,5,2) + Ans(5,6,2) + Ans(5,7,2) + Ans(5,8,2) + Ans(5,9,2) = 1
 COL(2,6): + Ans(6,1,2) + Ans(6,2,2) + Ans(6,3,2) + Ans(6,4,2)
 + Ans(6,5,2) + Ans(6,6,2) + Ans(6,7,2) + Ans(6,8,2) + Ans(6,9,2) = 1
 COL(2,7): + Ans(7,1,2) + Ans(7,2,2) + Ans(7,3,2) + Ans(7,4,2)
 + Ans(7,5,2) + Ans(7,6,2) + Ans(7,7,2) + Ans(7,8,2) + Ans(7,9,2) = 1
 COL(2,8): + Ans(8,1,2) + Ans(8,2,2) + Ans(8,3,2) + Ans(8,4,2)
 + Ans(8,5,2) + Ans(8,6,2) + Ans(8,7,2) + Ans(8,8,2) + Ans(8,9,2) = 1
 COL(2,9): + Ans(9,1,2) + Ans(9,2,2) + Ans(9,3,2) + Ans(9,4,2)
 + Ans(9,5,2) + Ans(9,6,2) + Ans(9,7,2) + Ans(9,8,2) + Ans(9,9,2) = 1
 COL(3,1): + Ans(1,1,3) + Ans(1,2,3) + Ans(1,3,3) + Ans(1,4,3)
 + Ans(1,5,3) + Ans(1,6,3) + Ans(1,7,3) + Ans(1,8,3) + Ans(1,9,3) = 1
 COL(3,2): + Ans(2,1,3) + Ans(2,2,3) + Ans(2,3,3) + Ans(2,4,3)
 + Ans(2,5,3) + Ans(2,6,3) + Ans(2,7,3) + Ans(2,8,3) + Ans(2,9,3) = 1
 COL(3,3): + Ans(3,1,3) + Ans(3,2,3) + Ans(3,3,3) + Ans(3,4,3)
 + Ans(3,5,3) + Ans(3,6,3) + Ans(3,7,3) + Ans(3,8,3) + Ans(3,9,3) = 1
 COL(3,4): + Ans(4,1,3) + Ans(4,2,3) + Ans(4,3,3) + Ans(4,4,3)
 + Ans(4,5,3) + Ans(4,6,3) + Ans(4,7,3) + Ans(4,8,3) + Ans(4,9,3) = 1
 COL(3,5): + Ans(5,1,3) + Ans(5,2,3) + Ans(5,3,3) + Ans(5,4,3)
 + Ans(5,5,3) + Ans(5,6,3) + Ans(5,7,3) + Ans(5,8,3) + Ans(5,9,3) = 1
 COL(3,6): + Ans(6,1,3) + Ans(6,2,3) + Ans(6,3,3) + Ans(6,4,3)
 + Ans(6,5,3) + Ans(6,6,3) + Ans(6,7,3) + Ans(6,8,3) + Ans(6,9,3) = 1
 COL(3,7): + Ans(7,1,3) + Ans(7,2,3) + Ans(7,3,3) + Ans(7,4,3)
 + Ans(7,5,3) + Ans(7,6,3) + Ans(7,7,3) + Ans(7,8,3) + Ans(7,9,3) = 1
 COL(3,8): + Ans(8,1,3) + Ans(8,2,3) + Ans(8,3,3) + Ans(8,4,3)
 + Ans(8,5,3) + Ans(8,6,3) + Ans(8,7,3) + Ans(8,8,3) + Ans(8,9,3) = 1
 COL(3,9): + Ans(9,1,3) + Ans(9,2,3) + Ans(9,3,3) + Ans(9,4,3)
 + Ans(9,5,3) + Ans(9,6,3) + Ans(9,7,3) + Ans(9,8,3) + Ans(9,9,3) = 1
 COL(4,1): + Ans(1,1,4) + Ans(1,2,4) + Ans(1,3,4) + Ans(1,4,4)
 + Ans(1,5,4) + Ans(1,6,4) + Ans(1,7,4) + Ans(1,8,4) + Ans(1,9,4) = 1
 COL(4,2): + Ans(2,1,4) + Ans(2,2,4) + Ans(2,3,4) + Ans(2,4,4)
 + Ans(2,5,4) + Ans(2,6,4) + Ans(2,7,4) + Ans(2,8,4) + Ans(2,9,4) = 1
 COL(4,3): + Ans(3,1,4) + Ans(3,2,4) + Ans(3,3,4) + Ans(3,4,4)
 + Ans(3,5,4) + Ans(3,6,4) + Ans(3,7,4) + Ans(3,8,4) + Ans(3,9,4) = 1
 COL(4,4): + Ans(4,1,4) + Ans(4,2,4) + Ans(4,3,4) + Ans(4,4,4)
 + Ans(4,5,4) + Ans(4,6,4) + Ans(4,7,4) + Ans(4,8,4) + Ans(4,9,4) = 1
 COL(4,5): + Ans(5,1,4) + Ans(5,2,4) + Ans(5,3,4) + Ans(5,4,4)
 + Ans(5,5,4) + Ans(5,6,4) + Ans(5,7,4) + Ans(5,8,4) + Ans(5,9,4) = 1
 COL(4,6): + Ans(6,1,4) + Ans(6,2,4) + Ans(6,3,4) + Ans(6,4,4)
 + Ans(6,5,4) + Ans(6,6,4) + Ans(6,7,4) + Ans(6,8,4) + Ans(6,9,4) = 1
 COL(4,7): + Ans(7,1,4) + Ans(7,2,4) + Ans(7,3,4) + Ans(7,4,4)
 + Ans(7,5,4) + Ans(7,6,4) + Ans(7,7,4) + Ans(7,8,4) + Ans(7,9,4) = 1
 COL(4,8): + Ans(8,1,4) + Ans(8,2,4) + Ans(8,3,4) + Ans(8,4,4)
 + Ans(8,5,4) + Ans(8,6,4) + Ans(8,7,4) + Ans(8,8,4) + Ans(8,9,4) = 1
 COL(4,9): + Ans(9,1,4) + Ans(9,2,4) + Ans(9,3,4) + Ans(9,4,4)
 + Ans(9,5,4) + Ans(9,6,4) + Ans(9,7,4) + Ans(9,8,4) + Ans(9,9,4) = 1
 COL(5,1): + Ans(1,1,5) + Ans(1,2,5) + Ans(1,3,5) + Ans(1,4,5)
 + Ans(1,5,5) + Ans(1,6,5) + Ans(1,7,5) + Ans(1,8,5) + Ans(1,9,5) = 1
 COL(5,2): + Ans(2,1,5) + Ans(2,2,5) + Ans(2,3,5) + Ans(2,4,5)
 + Ans(2,5,5) + Ans(2,6,5) + Ans(2,7,5) + Ans(2,8,5) + Ans(2,9,5) = 1
 COL(5,3): + Ans(3,1,5) + Ans(3,2,5) + Ans(3,3,5) + Ans(3,4,5)
 + Ans(3,5,5) + Ans(3,6,5) + Ans(3,7,5) + Ans(3,8,5) + Ans(3,9,5) = 1
 COL(5,4): + Ans(4,1,5) + Ans(4,2,5) + Ans(4,3,5) + Ans(4,4,5)
 + Ans(4,5,5) + Ans(4,6,5) + Ans(4,7,5) + Ans(4,8,5) + Ans(4,9,5) = 1
 COL(5,5): + Ans(5,1,5) + Ans(5,2,5) + Ans(5,3,5) + Ans(5,4,5)
 + Ans(5,5,5) + Ans(5,6,5) + Ans(5,7,5) + Ans(5,8,5) + Ans(5,9,5) = 1
 COL(5,6): + Ans(6,1,5) + Ans(6,2,5) + Ans(6,3,5) + Ans(6,4,5)
 + Ans(6,5,5) + Ans(6,6,5) + Ans(6,7,5) + Ans(6,8,5) + Ans(6,9,5) = 1
 COL(5,7): + Ans(7,1,5) + Ans(7,2,5) + Ans(7,3,5) + Ans(7,4,5)
 + Ans(7,5,5) + Ans(7,6,5) + Ans(7,7,5) + Ans(7,8,5) + Ans(7,9,5) = 1
 COL(5,8): + Ans(8,1,5) + Ans(8,2,5) + Ans(8,3,5) + Ans(8,4,5)
 + Ans(8,5,5) + Ans(8,6,5) + Ans(8,7,5) + Ans(8,8,5) + Ans(8,9,5) = 1
 COL(5,9): + Ans(9,1,5) + Ans(9,2,5) + Ans(9,3,5) + Ans(9,4,5)
 + Ans(9,5,5) + Ans(9,6,5) + Ans(9,7,5) + Ans(9,8,5) + Ans(9,9,5) = 1
 COL(6,1): + Ans(1,1,6) + Ans(1,2,6) + Ans(1,3,6) + Ans(1,4,6)
 + Ans(1,5,6) + Ans(1,6,6) + Ans(1,7,6) + Ans(1,8,6) + Ans(1,9,6) = 1
 COL(6,2): + Ans(2,1,6) + Ans(2,2,6) + Ans(2,3,6) + Ans(2,4,6)
 + Ans(2,5,6) + Ans(2,6,6) + Ans(2,7,6) + Ans(2,8,6) + Ans(2,9,6) = 1
 COL(6,3): + Ans(3,1,6) + Ans(3,2,6) + Ans(3,3,6) + Ans(3,4,6)
 + Ans(3,5,6) + Ans(3,6,6) + Ans(3,7,6) + Ans(3,8,6) + Ans(3,9,6) = 1
 COL(6,4): + Ans(4,1,6) + Ans(4,2,6) + Ans(4,3,6) + Ans(4,4,6)
 + Ans(4,5,6) + Ans(4,6,6) + Ans(4,7,6) + Ans(4,8,6) + Ans(4,9,6) = 1
 COL(6,5): + Ans(5,1,6) + Ans(5,2,6) + Ans(5,3,6) + Ans(5,4,6)
 + Ans(5,5,6) + Ans(5,6,6) + Ans(5,7,6) + Ans(5,8,6) + Ans(5,9,6) = 1
 COL(6,6): + Ans(6,1,6) + Ans(6,2,6) + Ans(6,3,6) + Ans(6,4,6)
 + Ans(6,5,6) + Ans(6,6,6) + Ans(6,7,6) + Ans(6,8,6) + Ans(6,9,6) = 1
 COL(6,7): + Ans(7,1,6) + Ans(7,2,6) + Ans(7,3,6) + Ans(7,4,6)
 + Ans(7,5,6) + Ans(7,6,6) + Ans(7,7,6) + Ans(7,8,6) + Ans(7,9,6) = 1
 COL(6,8): + Ans(8,1,6) + Ans(8,2,6) + Ans(8,3,6) + Ans(8,4,6)
 + Ans(8,5,6) + Ans(8,6,6) + Ans(8,7,6) + Ans(8,8,6) + Ans(8,9,6) = 1
 COL(6,9): + Ans(9,1,6) + Ans(9,2,6) + Ans(9,3,6) + Ans(9,4,6)
 + Ans(9,5,6) + Ans(9,6,6) + Ans(9,7,6) + Ans(9,8,6) + Ans(9,9,6) = 1
 COL(7,1): + Ans(1,1,7) + Ans(1,2,7) + Ans(1,3,7) + Ans(1,4,7)
 + Ans(1,5,7) + Ans(1,6,7) + Ans(1,7,7) + Ans(1,8,7) + Ans(1,9,7) = 1
 COL(7,2): + Ans(2,1,7) + Ans(2,2,7) + Ans(2,3,7) + Ans(2,4,7)
 + Ans(2,5,7) + Ans(2,6,7) + Ans(2,7,7) + Ans(2,8,7) + Ans(2,9,7) = 1
 COL(7,3): + Ans(3,1,7) + Ans(3,2,7) + Ans(3,3,7) + Ans(3,4,7)
 + Ans(3,5,7) + Ans(3,6,7) + Ans(3,7,7) + Ans(3,8,7) + Ans(3,9,7) = 1
 COL(7,4): + Ans(4,1,7) + Ans(4,2,7) + Ans(4,3,7) + Ans(4,4,7)
 + Ans(4,5,7) + Ans(4,6,7) + Ans(4,7,7) + Ans(4,8,7) + Ans(4,9,7) = 1
 COL(7,5): + Ans(5,1,7) + Ans(5,2,7) + Ans(5,3,7) + Ans(5,4,7)
 + Ans(5,5,7) + Ans(5,6,7) + Ans(5,7,7) + Ans(5,8,7) + Ans(5,9,7) = 1
 COL(7,6): + Ans(6,1,7) + Ans(6,2,7) + Ans(6,3,7) + Ans(6,4,7)
 + Ans(6,5,7) + Ans(6,6,7) + Ans(6,7,7) + Ans(6,8,7) + Ans(6,9,7) = 1
 COL(7,7): + Ans(7,1,7) + Ans(7,2,7) + Ans(7,3,7) + Ans(7,4,7)
 + Ans(7,5,7) + Ans(7,6,7) + Ans(7,7,7) + Ans(7,8,7) + Ans(7,9,7) = 1
 COL(7,8): + Ans(8,1,7) + Ans(8,2,7) + Ans(8,3,7) + Ans(8,4,7)
 + Ans(8,5,7) + Ans(8,6,7) + Ans(8,7,7) + Ans(8,8,7) + Ans(8,9,7) = 1
 COL(7,9): + Ans(9,1,7) + Ans(9,2,7) + Ans(9,3,7) + Ans(9,4,7)
 + Ans(9,5,7) + Ans(9,6,7) + Ans(9,7,7) + Ans(9,8,7) + Ans(9,9,7) = 1
 COL(8,1): + Ans(1,1,8) + Ans(1,2,8) + Ans(1,3,8) + Ans(1,4,8)
 + Ans(1,5,8) + Ans(1,6,8) + Ans(1,7,8) + Ans(1,8,8) + Ans(1,9,8) = 1
 COL(8,2): + Ans(2,1,8) + Ans(2,2,8) + Ans(2,3,8) + Ans(2,4,8)
 + Ans(2,5,8) + Ans(2,6,8) + Ans(2,7,8) + Ans(2,8,8) + Ans(2,9,8) = 1
 COL(8,3): + Ans(3,1,8) + Ans(3,2,8) + Ans(3,3,8) + Ans(3,4,8)
 + Ans(3,5,8) + Ans(3,6,8) + Ans(3,7,8) + Ans(3,8,8) + Ans(3,9,8) = 1
 COL(8,4): + Ans(4,1,8) + Ans(4,2,8) + Ans(4,3,8) + Ans(4,4,8)
 + Ans(4,5,8) + Ans(4,6,8) + Ans(4,7,8) + Ans(4,8,8) + Ans(4,9,8) = 1
 COL(8,5): + Ans(5,1,8) + Ans(5,2,8) + Ans(5,3,8) + Ans(5,4,8)
 + Ans(5,5,8) + Ans(5,6,8) + Ans(5,7,8) + Ans(5,8,8) + Ans(5,9,8) = 1
 COL(8,6): + Ans(6,1,8) + Ans(6,2,8) + Ans(6,3,8) + Ans(6,4,8)
 + Ans(6,5,8) + Ans(6,6,8) + Ans(6,7,8) + Ans(6,8,8) + Ans(6,9,8) = 1
 COL(8,7): + Ans(7,1,8) + Ans(7,2,8) + Ans(7,3,8) + Ans(7,4,8)
 + Ans(7,5,8) + Ans(7,6,8) + Ans(7,7,8) + Ans(7,8,8) + Ans(7,9,8) = 1
 COL(8,8): + Ans(8,1,8) + Ans(8,2,8) + Ans(8,3,8) + Ans(8,4,8)
 + Ans(8,5,8) + Ans(8,6,8) + Ans(8,7,8) + Ans(8,8,8) + Ans(8,9,8) = 1
 COL(8,9): + Ans(9,1,8) + Ans(9,2,8) + Ans(9,3,8) + Ans(9,4,8)
 + Ans(9,5,8) + Ans(9,6,8) + Ans(9,7,8) + Ans(9,8,8) + Ans(9,9,8) = 1
 COL(9,1): + Ans(1,1,9) + Ans(1,2,9) + Ans(1,3,9) + Ans(1,4,9)
 + Ans(1,5,9) + Ans(1,6,9) + Ans(1,7,9) + Ans(1,8,9) + Ans(1,9,9) = 1
 COL(9,2): + Ans(2,1,9) + Ans(2,2,9) + Ans(2,3,9) + Ans(2,4,9)
 + Ans(2,5,9) + Ans(2,6,9) + Ans(2,7,9) + Ans(2,8,9) + Ans(2,9,9) = 1
 COL(9,3): + Ans(3,1,9) + Ans(3,2,9) + Ans(3,3,9) + Ans(3,4,9)
 + Ans(3,5,9) + Ans(3,6,9) + Ans(3,7,9) + Ans(3,8,9) + Ans(3,9,9) = 1
 COL(9,4): + Ans(4,1,9) + Ans(4,2,9) + Ans(4,3,9) + Ans(4,4,9)
 + Ans(4,5,9) + Ans(4,6,9) + Ans(4,7,9) + Ans(4,8,9) + Ans(4,9,9) = 1
 COL(9,5): + Ans(5,1,9) + Ans(5,2,9) + Ans(5,3,9) + Ans(5,4,9)
 + Ans(5,5,9) + Ans(5,6,9) + Ans(5,7,9) + Ans(5,8,9) + Ans(5,9,9) = 1
 COL(9,6): + Ans(6,1,9) + Ans(6,2,9) + Ans(6,3,9) + Ans(6,4,9)
 + Ans(6,5,9) + Ans(6,6,9) + Ans(6,7,9) + Ans(6,8,9) + Ans(6,9,9) = 1
 COL(9,7): + Ans(7,1,9) + Ans(7,2,9) + Ans(7,3,9) + Ans(7,4,9)
 + Ans(7,5,9) + Ans(7,6,9) + Ans(7,7,9) + Ans(7,8,9) + Ans(7,9,9) = 1
 COL(9,8): + Ans(8,1,9) + Ans(8,2,9) + Ans(8,3,9) + Ans(8,4,9)
 + Ans(8,5,9) + Ans(8,6,9) + Ans(8,7,9) + Ans(8,8,9) + Ans(8,9,9) = 1
 COL(9,9): + Ans(9,1,9) + Ans(9,2,9) + Ans(9,3,9) + Ans(9,4,9)
 + Ans(9,5,9) + Ans(9,6,9) + Ans(9,7,9) + Ans(9,8,9) + Ans(9,9,9) = 1
 ROW(1,1): + Ans(1,1,1) + Ans(2,1,1) + Ans(3,1,1) + Ans(4,1,1)
 + Ans(5,1,1) + Ans(6,1,1) + Ans(7,1,1) + Ans(8,1,1) + Ans(9,1,1) = 1
 ROW(1,2): + Ans(1,2,1) + Ans(2,2,1) + Ans(3,2,1) + Ans(4,2,1)
 + Ans(5,2,1) + Ans(6,2,1) + Ans(7,2,1) + Ans(8,2,1) + Ans(9,2,1) = 1
 ROW(1,3): + Ans(1,3,1) + Ans(2,3,1) + Ans(3,3,1) + Ans(4,3,1)
 + Ans(5,3,1) + Ans(6,3,1) + Ans(7,3,1) + Ans(8,3,1) + Ans(9,3,1) = 1
 ROW(1,4): + Ans(1,4,1) + Ans(2,4,1) + Ans(3,4,1) + Ans(4,4,1)
 + Ans(5,4,1) + Ans(6,4,1) + Ans(7,4,1) + Ans(8,4,1) + Ans(9,4,1) = 1
 ROW(1,5): + Ans(1,5,1) + Ans(2,5,1) + Ans(3,5,1) + Ans(4,5,1)
 + Ans(5,5,1) + Ans(6,5,1) + Ans(7,5,1) + Ans(8,5,1) + Ans(9,5,1) = 1
 ROW(1,6): + Ans(1,6,1) + Ans(2,6,1) + Ans(3,6,1) + Ans(4,6,1)
 + Ans(5,6,1) + Ans(6,6,1) + Ans(7,6,1) + Ans(8,6,1) + Ans(9,6,1) = 1
 ROW(1,7): + Ans(1,7,1) + Ans(2,7,1) + Ans(3,7,1) + Ans(4,7,1)
 + Ans(5,7,1) + Ans(6,7,1) + Ans(7,7,1) + Ans(8,7,1) + Ans(9,7,1) = 1
 ROW(1,8): + Ans(1,8,1) + Ans(2,8,1) + Ans(3,8,1) + Ans(4,8,1)
 + Ans(5,8,1) + Ans(6,8,1) + Ans(7,8,1) + Ans(8,8,1) + Ans(9,8,1) = 1
 ROW(1,9): + Ans(1,9,1) + Ans(2,9,1) + Ans(3,9,1) + Ans(4,9,1)
 + Ans(5,9,1) + Ans(6,9,1) + Ans(7,9,1) + Ans(8,9,1) + Ans(9,9,1) = 1
 ROW(2,1): + Ans(1,1,2) + Ans(2,1,2) + Ans(3,1,2) + Ans(4,1,2)
 + Ans(5,1,2) + Ans(6,1,2) + Ans(7,1,2) + Ans(8,1,2) + Ans(9,1,2) = 1
 ROW(2,2): + Ans(1,2,2) + Ans(2,2,2) + Ans(3,2,2) + Ans(4,2,2)
 + Ans(5,2,2) + Ans(6,2,2) + Ans(7,2,2) + Ans(8,2,2) + Ans(9,2,2) = 1
 ROW(2,3): + Ans(1,3,2) + Ans(2,3,2) + Ans(3,3,2) + Ans(4,3,2)
 + Ans(5,3,2) + Ans(6,3,2) + Ans(7,3,2) + Ans(8,3,2) + Ans(9,3,2) = 1
 ROW(2,4): + Ans(1,4,2) + Ans(2,4,2) + Ans(3,4,2) + Ans(4,4,2)
 + Ans(5,4,2) + Ans(6,4,2) + Ans(7,4,2) + Ans(8,4,2) + Ans(9,4,2) = 1
 ROW(2,5): + Ans(1,5,2) + Ans(2,5,2) + Ans(3,5,2) + Ans(4,5,2)
 + Ans(5,5,2) + Ans(6,5,2) + Ans(7,5,2) + Ans(8,5,2) + Ans(9,5,2) = 1
 ROW(2,6): + Ans(1,6,2) + Ans(2,6,2) + Ans(3,6,2) + Ans(4,6,2)
 + Ans(5,6,2) + Ans(6,6,2) + Ans(7,6,2) + Ans(8,6,2) + Ans(9,6,2) = 1
 ROW(2,7): + Ans(1,7,2) + Ans(2,7,2) + Ans(3,7,2) + Ans(4,7,2)
 + Ans(5,7,2) + Ans(6,7,2) + Ans(7,7,2) + Ans(8,7,2) + Ans(9,7,2) = 1
 ROW(2,8): + Ans(1,8,2) + Ans(2,8,2) + Ans(3,8,2) + Ans(4,8,2)
 + Ans(5,8,2) + Ans(6,8,2) + Ans(7,8,2) + Ans(8,8,2) + Ans(9,8,2) = 1
 ROW(2,9): + Ans(1,9,2) + Ans(2,9,2) + Ans(3,9,2) + Ans(4,9,2)
 + Ans(5,9,2) + Ans(6,9,2) + Ans(7,9,2) + Ans(8,9,2) + Ans(9,9,2) = 1
 ROW(3,1): + Ans(1,1,3) + Ans(2,1,3) + Ans(3,1,3) + Ans(4,1,3)
 + Ans(5,1,3) + Ans(6,1,3) + Ans(7,1,3) + Ans(8,1,3) + Ans(9,1,3) = 1
 ROW(3,2): + Ans(1,2,3) + Ans(2,2,3) + Ans(3,2,3) + Ans(4,2,3)
 + Ans(5,2,3) + Ans(6,2,3) + Ans(7,2,3) + Ans(8,2,3) + Ans(9,2,3) = 1
 ROW(3,3): + Ans(1,3,3) + Ans(2,3,3) + Ans(3,3,3) + Ans(4,3,3)
 + Ans(5,3,3) + Ans(6,3,3) + Ans(7,3,3) + Ans(8,3,3) + Ans(9,3,3) = 1
 ROW(3,4): + Ans(1,4,3) + Ans(2,4,3) + Ans(3,4,3) + Ans(4,4,3)
 + Ans(5,4,3) + Ans(6,4,3) + Ans(7,4,3) + Ans(8,4,3) + Ans(9,4,3) = 1
 ROW(3,5): + Ans(1,5,3) + Ans(2,5,3) + Ans(3,5,3) + Ans(4,5,3)
 + Ans(5,5,3) + Ans(6,5,3) + Ans(7,5,3) + Ans(8,5,3) + Ans(9,5,3) = 1
 ROW(3,6): + Ans(1,6,3) + Ans(2,6,3) + Ans(3,6,3) + Ans(4,6,3)
 + Ans(5,6,3) + Ans(6,6,3) + Ans(7,6,3) + Ans(8,6,3) + Ans(9,6,3) = 1
 ROW(3,7): + Ans(1,7,3) + Ans(2,7,3) + Ans(3,7,3) + Ans(4,7,3)
 + Ans(5,7,3) + Ans(6,7,3) + Ans(7,7,3) + Ans(8,7,3) + Ans(9,7,3) = 1
 ROW(3,8): + Ans(1,8,3) + Ans(2,8,3) + Ans(3,8,3) + Ans(4,8,3)
 + Ans(5,8,3) + Ans(6,8,3) + Ans(7,8,3) + Ans(8,8,3) + Ans(9,8,3) = 1
 ROW(3,9): + Ans(1,9,3) + Ans(2,9,3) + Ans(3,9,3) + Ans(4,9,3)
 + Ans(5,9,3) + Ans(6,9,3) + Ans(7,9,3) + Ans(8,9,3) + Ans(9,9,3) = 1
 ROW(4,1): + Ans(1,1,4) + Ans(2,1,4) + Ans(3,1,4) + Ans(4,1,4)
 + Ans(5,1,4) + Ans(6,1,4) + Ans(7,1,4) + Ans(8,1,4) + Ans(9,1,4) = 1
 ROW(4,2): + Ans(1,2,4) + Ans(2,2,4) + Ans(3,2,4) + Ans(4,2,4)
 + Ans(5,2,4) + Ans(6,2,4) + Ans(7,2,4) + Ans(8,2,4) + Ans(9,2,4) = 1
 ROW(4,3): + Ans(1,3,4) + Ans(2,3,4) + Ans(3,3,4) + Ans(4,3,4)
 + Ans(5,3,4) + Ans(6,3,4) + Ans(7,3,4) + Ans(8,3,4) + Ans(9,3,4) = 1
 ROW(4,4): + Ans(1,4,4) + Ans(2,4,4) + Ans(3,4,4) + Ans(4,4,4)
 + Ans(5,4,4) + Ans(6,4,4) + Ans(7,4,4) + Ans(8,4,4) + Ans(9,4,4) = 1
 ROW(4,5): + Ans(1,5,4) + Ans(2,5,4) + Ans(3,5,4) + Ans(4,5,4)
 + Ans(5,5,4) + Ans(6,5,4) + Ans(7,5,4) + Ans(8,5,4) + Ans(9,5,4) = 1
 ROW(4,6): + Ans(1,6,4) + Ans(2,6,4) + Ans(3,6,4) + Ans(4,6,4)
 + Ans(5,6,4) + Ans(6,6,4) + Ans(7,6,4) + Ans(8,6,4) + Ans(9,6,4) = 1
 ROW(4,7): + Ans(1,7,4) + Ans(2,7,4) + Ans(3,7,4) + Ans(4,7,4)
 + Ans(5,7,4) + Ans(6,7,4) + Ans(7,7,4) + Ans(8,7,4) + Ans(9,7,4) = 1
 ROW(4,8): + Ans(1,8,4) + Ans(2,8,4) + Ans(3,8,4) + Ans(4,8,4)
 + Ans(5,8,4) + Ans(6,8,4) + Ans(7,8,4) + Ans(8,8,4) + Ans(9,8,4) = 1
 ROW(4,9): + Ans(1,9,4) + Ans(2,9,4) + Ans(3,9,4) + Ans(4,9,4)
 + Ans(5,9,4) + Ans(6,9,4) + Ans(7,9,4) + Ans(8,9,4) + Ans(9,9,4) = 1
 ROW(5,1): + Ans(1,1,5) + Ans(2,1,5) + Ans(3,1,5) + Ans(4,1,5)
 + Ans(5,1,5) + Ans(6,1,5) + Ans(7,1,5) + Ans(8,1,5) + Ans(9,1,5) = 1
 ROW(5,2): + Ans(1,2,5) + Ans(2,2,5) + Ans(3,2,5) + Ans(4,2,5)
 + Ans(5,2,5) + Ans(6,2,5) + Ans(7,2,5) + Ans(8,2,5) + Ans(9,2,5) = 1
 ROW(5,3): + Ans(1,3,5) + Ans(2,3,5) + Ans(3,3,5) + Ans(4,3,5)
 + Ans(5,3,5) + Ans(6,3,5) + Ans(7,3,5) + Ans(8,3,5) + Ans(9,3,5) = 1
 ROW(5,4): + Ans(1,4,5) + Ans(2,4,5) + Ans(3,4,5) + Ans(4,4,5)
 + Ans(5,4,5) + Ans(6,4,5) + Ans(7,4,5) + Ans(8,4,5) + Ans(9,4,5) = 1
 ROW(5,5): + Ans(1,5,5) + Ans(2,5,5) + Ans(3,5,5) + Ans(4,5,5)
 + Ans(5,5,5) + Ans(6,5,5) + Ans(7,5,5) + Ans(8,5,5) + Ans(9,5,5) = 1
 ROW(5,6): + Ans(1,6,5) + Ans(2,6,5) + Ans(3,6,5) + Ans(4,6,5)
 + Ans(5,6,5) + Ans(6,6,5) + Ans(7,6,5) + Ans(8,6,5) + Ans(9,6,5) = 1
 ROW(5,7): + Ans(1,7,5) + Ans(2,7,5) + Ans(3,7,5) + Ans(4,7,5)
 + Ans(5,7,5) + Ans(6,7,5) + Ans(7,7,5) + Ans(8,7,5) + Ans(9,7,5) = 1
 ROW(5,8): + Ans(1,8,5) + Ans(2,8,5) + Ans(3,8,5) + Ans(4,8,5)
 + Ans(5,8,5) + Ans(6,8,5) + Ans(7,8,5) + Ans(8,8,5) + Ans(9,8,5) = 1
 ROW(5,9): + Ans(1,9,5) + Ans(2,9,5) + Ans(3,9,5) + Ans(4,9,5)
 + Ans(5,9,5) + Ans(6,9,5) + Ans(7,9,5) + Ans(8,9,5) + Ans(9,9,5) = 1
 ROW(6,1): + Ans(1,1,6) + Ans(2,1,6) + Ans(3,1,6) + Ans(4,1,6)
 + Ans(5,1,6) + Ans(6,1,6) + Ans(7,1,6) + Ans(8,1,6) + Ans(9,1,6) = 1
 ROW(6,2): + Ans(1,2,6) + Ans(2,2,6) + Ans(3,2,6) + Ans(4,2,6)
 + Ans(5,2,6) + Ans(6,2,6) + Ans(7,2,6) + Ans(8,2,6) + Ans(9,2,6) = 1
 ROW(6,3): + Ans(1,3,6) + Ans(2,3,6) + Ans(3,3,6) + Ans(4,3,6)
 + Ans(5,3,6) + Ans(6,3,6) + Ans(7,3,6) + Ans(8,3,6) + Ans(9,3,6) = 1
 ROW(6,4): + Ans(1,4,6) + Ans(2,4,6) + Ans(3,4,6) + Ans(4,4,6)
 + Ans(5,4,6) + Ans(6,4,6) + Ans(7,4,6) + Ans(8,4,6) + Ans(9,4,6) = 1
 ROW(6,5): + Ans(1,5,6) + Ans(2,5,6) + Ans(3,5,6) + Ans(4,5,6)
 + Ans(5,5,6) + Ans(6,5,6) + Ans(7,5,6) + Ans(8,5,6) + Ans(9,5,6) = 1
 ROW(6,6): + Ans(1,6,6) + Ans(2,6,6) + Ans(3,6,6) + Ans(4,6,6)
 + Ans(5,6,6) + Ans(6,6,6) + Ans(7,6,6) + Ans(8,6,6) + Ans(9,6,6) = 1
 ROW(6,7): + Ans(1,7,6) + Ans(2,7,6) + Ans(3,7,6) + Ans(4,7,6)
 + Ans(5,7,6) + Ans(6,7,6) + Ans(7,7,6) + Ans(8,7,6) + Ans(9,7,6) = 1
 ROW(6,8): + Ans(1,8,6) + Ans(2,8,6) + Ans(3,8,6) + Ans(4,8,6)
 + Ans(5,8,6) + Ans(6,8,6) + Ans(7,8,6) + Ans(8,8,6) + Ans(9,8,6) = 1
 ROW(6,9): + Ans(1,9,6) + Ans(2,9,6) + Ans(3,9,6) + Ans(4,9,6)
 + Ans(5,9,6) + Ans(6,9,6) + Ans(7,9,6) + Ans(8,9,6) + Ans(9,9,6) = 1
 ROW(7,1): + Ans(1,1,7) + Ans(2,1,7) + Ans(3,1,7) + Ans(4,1,7)
 + Ans(5,1,7) + Ans(6,1,7) + Ans(7,1,7) + Ans(8,1,7) + Ans(9,1,7) = 1
 ROW(7,2): + Ans(1,2,7) + Ans(2,2,7) + Ans(3,2,7) + Ans(4,2,7)
 + Ans(5,2,7) + Ans(6,2,7) + Ans(7,2,7) + Ans(8,2,7) + Ans(9,2,7) = 1
 ROW(7,3): + Ans(1,3,7) + Ans(2,3,7) + Ans(3,3,7) + Ans(4,3,7)
 + Ans(5,3,7) + Ans(6,3,7) + Ans(7,3,7) + Ans(8,3,7) + Ans(9,3,7) = 1
 ROW(7,4): + Ans(1,4,7) + Ans(2,4,7) + Ans(3,4,7) + Ans(4,4,7)
 + Ans(5,4,7) + Ans(6,4,7) + Ans(7,4,7) + Ans(8,4,7) + Ans(9,4,7) = 1
 ROW(7,5): + Ans(1,5,7) + Ans(2,5,7) + Ans(3,5,7) + Ans(4,5,7)
 + Ans(5,5,7) + Ans(6,5,7) + Ans(7,5,7) + Ans(8,5,7) + Ans(9,5,7) = 1
 ROW(7,6): + Ans(1,6,7) + Ans(2,6,7) + Ans(3,6,7) + Ans(4,6,7)
 + Ans(5,6,7) + Ans(6,6,7) + Ans(7,6,7) + Ans(8,6,7) + Ans(9,6,7) = 1
 ROW(7,7): + Ans(1,7,7) + Ans(2,7,7) + Ans(3,7,7) + Ans(4,7,7)
 + Ans(5,7,7) + Ans(6,7,7) + Ans(7,7,7) + Ans(8,7,7) + Ans(9,7,7) = 1
 ROW(7,8): + Ans(1,8,7) + Ans(2,8,7) + Ans(3,8,7) + Ans(4,8,7)
 + Ans(5,8,7) + Ans(6,8,7) + Ans(7,8,7) + Ans(8,8,7) + Ans(9,8,7) = 1
 ROW(7,9): + Ans(1,9,7) + Ans(2,9,7) + Ans(3,9,7) + Ans(4,9,7)
 + Ans(5,9,7) + Ans(6,9,7) + Ans(7,9,7) + Ans(8,9,7) + Ans(9,9,7) = 1
 ROW(8,1): + Ans(1,1,8) + Ans(2,1,8) + Ans(3,1,8) + Ans(4,1,8)
 + Ans(5,1,8) + Ans(6,1,8) + Ans(7,1,8) + Ans(8,1,8) + Ans(9,1,8) = 1
 ROW(8,2): + Ans(1,2,8) + Ans(2,2,8) + Ans(3,2,8) + Ans(4,2,8)
 + Ans(5,2,8) + Ans(6,2,8) + Ans(7,2,8) + Ans(8,2,8) + Ans(9,2,8) = 1
 ROW(8,3): + Ans(1,3,8) + Ans(2,3,8) + Ans(3,3,8) + Ans(4,3,8)
 + Ans(5,3,8) + Ans(6,3,8) + Ans(7,3,8) + Ans(8,3,8) + Ans(9,3,8) = 1
 ROW(8,4): + Ans(1,4,8) + Ans(2,4,8) + Ans(3,4,8) + Ans(4,4,8)
 + Ans(5,4,8) + Ans(6,4,8) + Ans(7,4,8) + Ans(8,4,8) + Ans(9,4,8) = 1
 ROW(8,5): + Ans(1,5,8) + Ans(2,5,8) + Ans(3,5,8) + Ans(4,5,8)
 + Ans(5,5,8) + Ans(6,5,8) + Ans(7,5,8) + Ans(8,5,8) + Ans(9,5,8) = 1
 ROW(8,6): + Ans(1,6,8) + Ans(2,6,8) + Ans(3,6,8) + Ans(4,6,8)
 + Ans(5,6,8) + Ans(6,6,8) + Ans(7,6,8) + Ans(8,6,8) + Ans(9,6,8) = 1
 ROW(8,7): + Ans(1,7,8) + Ans(2,7,8) + Ans(3,7,8) + Ans(4,7,8)
 + Ans(5,7,8) + Ans(6,7,8) + Ans(7,7,8) + Ans(8,7,8) + Ans(9,7,8) = 1
 ROW(8,8): + Ans(1,8,8) + Ans(2,8,8) + Ans(3,8,8) + Ans(4,8,8)
 + Ans(5,8,8) + Ans(6,8,8) + Ans(7,8,8) + Ans(8,8,8) + Ans(9,8,8) = 1
 ROW(8,9): + Ans(1,9,8) + Ans(2,9,8) + Ans(3,9,8) + Ans(4,9,8)
 + Ans(5,9,8) + Ans(6,9,8) + Ans(7,9,8) + Ans(8,9,8) + Ans(9,9,8) = 1
 ROW(9,1): + Ans(1,1,9) + Ans(2,1,9) + Ans(3,1,9) + Ans(4,1,9)
 + Ans(5,1,9) + Ans(6,1,9) + Ans(7,1,9) + Ans(8,1,9) + Ans(9,1,9) = 1
 ROW(9,2): + Ans(1,2,9) + Ans(2,2,9) + Ans(3,2,9) + Ans(4,2,9)
 + Ans(5,2,9) + Ans(6,2,9) + Ans(7,2,9) + Ans(8,2,9) + Ans(9,2,9) = 1
 ROW(9,3): + Ans(1,3,9) + Ans(2,3,9) + Ans(3,3,9) + Ans(4,3,9)
 + Ans(5,3,9) + Ans(6,3,9) + Ans(7,3,9) + Ans(8,3,9) + Ans(9,3,9) = 1
 ROW(9,4): + Ans(1,4,9) + Ans(2,4,9) + Ans(3,4,9) + Ans(4,4,9)
 + Ans(5,4,9) + Ans(6,4,9) + Ans(7,4,9) + Ans(8,4,9) + Ans(9,4,9) = 1
 ROW(9,5): + Ans(1,5,9) + Ans(2,5,9) + Ans(3,5,9) + Ans(4,5,9)
 + Ans(5,5,9) + Ans(6,5,9) + Ans(7,5,9) + Ans(8,5,9) + Ans(9,5,9) = 1
 ROW(9,6): + Ans(1,6,9) + Ans(2,6,9) + Ans(3,6,9) + Ans(4,6,9)
 + Ans(5,6,9) + Ans(6,6,9) + Ans(7,6,9) + Ans(8,6,9) + Ans(9,6,9) = 1
 ROW(9,7): + Ans(1,7,9) + Ans(2,7,9) + Ans(3,7,9) + Ans(4,7,9)
 + Ans(5,7,9) + Ans(6,7,9) + Ans(7,7,9) + Ans(8,7,9) + Ans(9,7,9) = 1
 ROW(9,8): + Ans(1,8,9) + Ans(2,8,9) + Ans(3,8,9) + Ans(4,8,9)
 + Ans(5,8,9) + Ans(6,8,9) + Ans(7,8,9) + Ans(8,8,9) + Ans(9,8,9) = 1
 ROW(9,9): + Ans(1,9,9) + Ans(2,9,9) + Ans(3,9,9) + Ans(4,9,9)
 + Ans(5,9,9) + Ans(6,9,9) + Ans(7,9,9) + Ans(8,9,9) + Ans(9,9,9) = 1
 BLOCK(1,0,0): + Ans(1,1,1) + Ans(1,2,1) + Ans(1,3,1) + Ans(2,1,1)
 + Ans(2,2,1) + Ans(2,3,1) + Ans(3,1,1) + Ans(3,2,1) + Ans(3,3,1) = 1
 BLOCK(1,0,1): + Ans(1,4,1) + Ans(1,5,1) + Ans(1,6,1) + Ans(2,4,1)
 + Ans(2,5,1) + Ans(2,6,1) + Ans(3,4,1) + Ans(3,5,1) + Ans(3,6,1) = 1
 BLOCK(1,0,2): + Ans(1,7,1) + Ans(1,8,1) + Ans(1,9,1) + Ans(2,7,1)
 + Ans(2,8,1) + Ans(2,9,1) + Ans(3,7,1) + Ans(3,8,1) + Ans(3,9,1) = 1
 BLOCK(1,1,0): + Ans(4,1,1) + Ans(4,2,1) + Ans(4,3,1) + Ans(5,1,1)
 + Ans(5,2,1) + Ans(5,3,1) + Ans(6,1,1) + Ans(6,2,1) + Ans(6,3,1) = 1
 BLOCK(1,1,1): + Ans(4,4,1) + Ans(4,5,1) + Ans(4,6,1) + Ans(5,4,1)
 + Ans(5,5,1) + Ans(5,6,1) + Ans(6,4,1) + Ans(6,5,1) + Ans(6,6,1) = 1
 BLOCK(1,1,2): + Ans(4,7,1) + Ans(4,8,1) + Ans(4,9,1) + Ans(5,7,1)
 + Ans(5,8,1) + Ans(5,9,1) + Ans(6,7,1) + Ans(6,8,1) + Ans(6,9,1) = 1
 BLOCK(1,2,0): + Ans(7,1,1) + Ans(7,2,1) + Ans(7,3,1) + Ans(8,1,1)
 + Ans(8,2,1) + Ans(8,3,1) + Ans(9,1,1) + Ans(9,2,1) + Ans(9,3,1) = 1
 BLOCK(1,2,1): + Ans(7,4,1) + Ans(7,5,1) + Ans(7,6,1) + Ans(8,4,1)
 + Ans(8,5,1) + Ans(8,6,1) + Ans(9,4,1) + Ans(9,5,1) + Ans(9,6,1) = 1
 BLOCK(1,2,2): + Ans(7,7,1) + Ans(7,8,1) + Ans(7,9,1) + Ans(8,7,1)
 + Ans(8,8,1) + Ans(8,9,1) + Ans(9,7,1) + Ans(9,8,1) + Ans(9,9,1) = 1
 BLOCK(2,0,0): + Ans(1,1,2) + Ans(1,2,2) + Ans(1,3,2) + Ans(2,1,2)
 + Ans(2,2,2) + Ans(2,3,2) + Ans(3,1,2) + Ans(3,2,2) + Ans(3,3,2) = 1
 BLOCK(2,0,1): + Ans(1,4,2) + Ans(1,5,2) + Ans(1,6,2) + Ans(2,4,2)
 + Ans(2,5,2) + Ans(2,6,2) + Ans(3,4,2) + Ans(3,5,2) + Ans(3,6,2) = 1
 BLOCK(2,0,2): + Ans(1,7,2) + Ans(1,8,2) + Ans(1,9,2) + Ans(2,7,2)
 + Ans(2,8,2) + Ans(2,9,2) + Ans(3,7,2) + Ans(3,8,2) + Ans(3,9,2) = 1
 BLOCK(2,1,0): + Ans(4,1,2) + Ans(4,2,2) + Ans(4,3,2) + Ans(5,1,2)
 + Ans(5,2,2) + Ans(5,3,2) + Ans(6,1,2) + Ans(6,2,2) + Ans(6,3,2) = 1
 BLOCK(2,1,1): + Ans(4,4,2) + Ans(4,5,2) + Ans(4,6,2) + Ans(5,4,2)
 + Ans(5,5,2) + Ans(5,6,2) + Ans(6,4,2) + Ans(6,5,2) + Ans(6,6,2) = 1
 BLOCK(2,1,2): + Ans(4,7,2) + Ans(4,8,2) + Ans(4,9,2) + Ans(5,7,2)
 + Ans(5,8,2) + Ans(5,9,2) + Ans(6,7,2) + Ans(6,8,2) + Ans(6,9,2) = 1
 BLOCK(2,2,0): + Ans(7,1,2) + Ans(7,2,2) + Ans(7,3,2) + Ans(8,1,2)
 + Ans(8,2,2) + Ans(8,3,2) + Ans(9,1,2) + Ans(9,2,2) + Ans(9,3,2) = 1
 BLOCK(2,2,1): + Ans(7,4,2) + Ans(7,5,2) + Ans(7,6,2) + Ans(8,4,2)
 + Ans(8,5,2) + Ans(8,6,2) + Ans(9,4,2) + Ans(9,5,2) + Ans(9,6,2) = 1
 BLOCK(2,2,2): + Ans(7,7,2) + Ans(7,8,2) + Ans(7,9,2) + Ans(8,7,2)
 + Ans(8,8,2) + Ans(8,9,2) + Ans(9,7,2) + Ans(9,8,2) + Ans(9,9,2) = 1
 BLOCK(3,0,0): + Ans(1,1,3) + Ans(1,2,3) + Ans(1,3,3) + Ans(2,1,3)
 + Ans(2,2,3) + Ans(2,3,3) + Ans(3,1,3) + Ans(3,2,3) + Ans(3,3,3) = 1
 BLOCK(3,0,1): + Ans(1,4,3) + Ans(1,5,3) + Ans(1,6,3) + Ans(2,4,3)
 + Ans(2,5,3) + Ans(2,6,3) + Ans(3,4,3) + Ans(3,5,3) + Ans(3,6,3) = 1
 BLOCK(3,0,2): + Ans(1,7,3) + Ans(1,8,3) + Ans(1,9,3) + Ans(2,7,3)
 + Ans(2,8,3) + Ans(2,9,3) + Ans(3,7,3) + Ans(3,8,3) + Ans(3,9,3) = 1
 BLOCK(3,1,0): + Ans(4,1,3) + Ans(4,2,3) + Ans(4,3,3) + Ans(5,1,3)
 + Ans(5,2,3) + Ans(5,3,3) + Ans(6,1,3) + Ans(6,2,3) + Ans(6,3,3) = 1
 BLOCK(3,1,1): + Ans(4,4,3) + Ans(4,5,3) + Ans(4,6,3) + Ans(5,4,3)
 + Ans(5,5,3) + Ans(5,6,3) + Ans(6,4,3) + Ans(6,5,3) + Ans(6,6,3) = 1
 BLOCK(3,1,2): + Ans(4,7,3) + Ans(4,8,3) + Ans(4,9,3) + Ans(5,7,3)
 + Ans(5,8,3) + Ans(5,9,3) + Ans(6,7,3) + Ans(6,8,3) + Ans(6,9,3) = 1
 BLOCK(3,2,0): + Ans(7,1,3) + Ans(7,2,3) + Ans(7,3,3) + Ans(8,1,3)
 + Ans(8,2,3) + Ans(8,3,3) + Ans(9,1,3) + Ans(9,2,3) + Ans(9,3,3) = 1
 BLOCK(3,2,1): + Ans(7,4,3) + Ans(7,5,3) + Ans(7,6,3) + Ans(8,4,3)
 + Ans(8,5,3) + Ans(8,6,3) + Ans(9,4,3) + Ans(9,5,3) + Ans(9,6,3) = 1
 BLOCK(3,2,2): + Ans(7,7,3) + Ans(7,8,3) + Ans(7,9,3) + Ans(8,7,3)
 + Ans(8,8,3) + Ans(8,9,3) + Ans(9,7,3) + Ans(9,8,3) + Ans(9,9,3) = 1
 BLOCK(4,0,0): + Ans(1,1,4) + Ans(1,2,4) + Ans(1,3,4) + Ans(2,1,4)
 + Ans(2,2,4) + Ans(2,3,4) + Ans(3,1,4) + Ans(3,2,4) + Ans(3,3,4) = 1
 BLOCK(4,0,1): + Ans(1,4,4) + Ans(1,5,4) + Ans(1,6,4) + Ans(2,4,4)
 + Ans(2,5,4) + Ans(2,6,4) + Ans(3,4,4) + Ans(3,5,4) + Ans(3,6,4) = 1
 BLOCK(4,0,2): + Ans(1,7,4) + Ans(1,8,4) + Ans(1,9,4) + Ans(2,7,4)
 + Ans(2,8,4) + Ans(2,9,4) + Ans(3,7,4) + Ans(3,8,4) + Ans(3,9,4) = 1
 BLOCK(4,1,0): + Ans(4,1,4) + Ans(4,2,4) + Ans(4,3,4) + Ans(5,1,4)
 + Ans(5,2,4) + Ans(5,3,4) + Ans(6,1,4) + Ans(6,2,4) + Ans(6,3,4) = 1
 BLOCK(4,1,1): + Ans(4,4,4) + Ans(4,5,4) + Ans(4,6,4) + Ans(5,4,4)
 + Ans(5,5,4) + Ans(5,6,4) + Ans(6,4,4) + Ans(6,5,4) + Ans(6,6,4) = 1
 BLOCK(4,1,2): + Ans(4,7,4) + Ans(4,8,4) + Ans(4,9,4) + Ans(5,7,4)
 + Ans(5,8,4) + Ans(5,9,4) + Ans(6,7,4) + Ans(6,8,4) + Ans(6,9,4) = 1
 BLOCK(4,2,0): + Ans(7,1,4) + Ans(7,2,4) + Ans(7,3,4) + Ans(8,1,4)
 + Ans(8,2,4) + Ans(8,3,4) + Ans(9,1,4) + Ans(9,2,4) + Ans(9,3,4) = 1
 BLOCK(4,2,1): + Ans(7,4,4) + Ans(7,5,4) + Ans(7,6,4) + Ans(8,4,4)
 + Ans(8,5,4) + Ans(8,6,4) + Ans(9,4,4) + Ans(9,5,4) + Ans(9,6,4) = 1
 BLOCK(4,2,2): + Ans(7,7,4) + Ans(7,8,4) + Ans(7,9,4) + Ans(8,7,4)
 + Ans(8,8,4) + Ans(8,9,4) + Ans(9,7,4) + Ans(9,8,4) + Ans(9,9,4) = 1
 BLOCK(5,0,0): + Ans(1,1,5) + Ans(1,2,5) + Ans(1,3,5) + Ans(2,1,5)
 + Ans(2,2,5) + Ans(2,3,5) + Ans(3,1,5) + Ans(3,2,5) + Ans(3,3,5) = 1
 BLOCK(5,0,1): + Ans(1,4,5) + Ans(1,5,5) + Ans(1,6,5) + Ans(2,4,5)
 + Ans(2,5,5) + Ans(2,6,5) + Ans(3,4,5) + Ans(3,5,5) + Ans(3,6,5) = 1
 BLOCK(5,0,2): + Ans(1,7,5) + Ans(1,8,5) + Ans(1,9,5) + Ans(2,7,5)
 + Ans(2,8,5) + Ans(2,9,5) + Ans(3,7,5) + Ans(3,8,5) + Ans(3,9,5) = 1
 BLOCK(5,1,0): + Ans(4,1,5) + Ans(4,2,5) + Ans(4,3,5) + Ans(5,1,5)
 + Ans(5,2,5) + Ans(5,3,5) + Ans(6,1,5) + Ans(6,2,5) + Ans(6,3,5) = 1
 BLOCK(5,1,1): + Ans(4,4,5) + Ans(4,5,5) + Ans(4,6,5) + Ans(5,4,5)
 + Ans(5,5,5) + Ans(5,6,5) + Ans(6,4,5) + Ans(6,5,5) + Ans(6,6,5) = 1
 BLOCK(5,1,2): + Ans(4,7,5) + Ans(4,8,5) + Ans(4,9,5) + Ans(5,7,5)
 + Ans(5,8,5) + Ans(5,9,5) + Ans(6,7,5) + Ans(6,8,5) + Ans(6,9,5) = 1
 BLOCK(5,2,0): + Ans(7,1,5) + Ans(7,2,5) + Ans(7,3,5) + Ans(8,1,5)
 + Ans(8,2,5) + Ans(8,3,5) + Ans(9,1,5) + Ans(9,2,5) + Ans(9,3,5) = 1
 BLOCK(5,2,1): + Ans(7,4,5) + Ans(7,5,5) + Ans(7,6,5) + Ans(8,4,5)
 + Ans(8,5,5) + Ans(8,6,5) + Ans(9,4,5) + Ans(9,5,5) + Ans(9,6,5) = 1
 BLOCK(5,2,2): + Ans(7,7,5) + Ans(7,8,5) + Ans(7,9,5) + Ans(8,7,5)
 + Ans(8,8,5) + Ans(8,9,5) + Ans(9,7,5) + Ans(9,8,5) + Ans(9,9,5) = 1
 BLOCK(6,0,0): + Ans(1,1,6) + Ans(1,2,6) + Ans(1,3,6) + Ans(2,1,6)
 + Ans(2,2,6) + Ans(2,3,6) + Ans(3,1,6) + Ans(3,2,6) + Ans(3,3,6) = 1
 BLOCK(6,0,1): + Ans(1,4,6) + Ans(1,5,6) + Ans(1,6,6) + Ans(2,4,6)
 + Ans(2,5,6) + Ans(2,6,6) + Ans(3,4,6) + Ans(3,5,6) + Ans(3,6,6) = 1
 BLOCK(6,0,2): + Ans(1,7,6) + Ans(1,8,6) + Ans(1,9,6) + Ans(2,7,6)
 + Ans(2,8,6) + Ans(2,9,6) + Ans(3,7,6) + Ans(3,8,6) + Ans(3,9,6) = 1
 BLOCK(6,1,0): + Ans(4,1,6) + Ans(4,2,6) + Ans(4,3,6) + Ans(5,1,6)
 + Ans(5,2,6) + Ans(5,3,6) + Ans(6,1,6) + Ans(6,2,6) + Ans(6,3,6) = 1
 BLOCK(6,1,1): + Ans(4,4,6) + Ans(4,5,6) + Ans(4,6,6) + Ans(5,4,6)
 + Ans(5,5,6) + Ans(5,6,6) + Ans(6,4,6) + Ans(6,5,6) + Ans(6,6,6) = 1
 BLOCK(6,1,2): + Ans(4,7,6) + Ans(4,8,6) + Ans(4,9,6) + Ans(5,7,6)
 + Ans(5,8,6) + Ans(5,9,6) + Ans(6,7,6) + Ans(6,8,6) + Ans(6,9,6) = 1
 BLOCK(6,2,0): + Ans(7,1,6) + Ans(7,2,6) + Ans(7,3,6) + Ans(8,1,6)
 + Ans(8,2,6) + Ans(8,3,6) + Ans(9,1,6) + Ans(9,2,6) + Ans(9,3,6) = 1
 BLOCK(6,2,1): + Ans(7,4,6) + Ans(7,5,6) + Ans(7,6,6) + Ans(8,4,6)
 + Ans(8,5,6) + Ans(8,6,6) + Ans(9,4,6) + Ans(9,5,6) + Ans(9,6,6) = 1
 BLOCK(6,2,2): + Ans(7,7,6) + Ans(7,8,6) + Ans(7,9,6) + Ans(8,7,6)
 + Ans(8,8,6) + Ans(8,9,6) + Ans(9,7,6) + Ans(9,8,6) + Ans(9,9,6) = 1
 BLOCK(7,0,0): + Ans(1,1,7) + Ans(1,2,7) + Ans(1,3,7) + Ans(2,1,7)
 + Ans(2,2,7) + Ans(2,3,7) + Ans(3,1,7) + Ans(3,2,7) + Ans(3,3,7) = 1
 BLOCK(7,0,1): + Ans(1,4,7) + Ans(1,5,7) + Ans(1,6,7) + Ans(2,4,7)
 + Ans(2,5,7) + Ans(2,6,7) + Ans(3,4,7) + Ans(3,5,7) + Ans(3,6,7) = 1
 BLOCK(7,0,2): + Ans(1,7,7) + Ans(1,8,7) + Ans(1,9,7) + Ans(2,7,7)
 + Ans(2,8,7) + Ans(2,9,7) + Ans(3,7,7) + Ans(3,8,7) + Ans(3,9,7) = 1
 BLOCK(7,1,0): + Ans(4,1,7) + Ans(4,2,7) + Ans(4,3,7) + Ans(5,1,7)
 + Ans(5,2,7) + Ans(5,3,7) + Ans(6,1,7) + Ans(6,2,7) + Ans(6,3,7) = 1
 BLOCK(7,1,1): + Ans(4,4,7) + Ans(4,5,7) + Ans(4,6,7) + Ans(5,4,7)
 + Ans(5,5,7) + Ans(5,6,7) + Ans(6,4,7) + Ans(6,5,7) + Ans(6,6,7) = 1
 BLOCK(7,1,2): + Ans(4,7,7) + Ans(4,8,7) + Ans(4,9,7) + Ans(5,7,7)
 + Ans(5,8,7) + Ans(5,9,7) + Ans(6,7,7) + Ans(6,8,7) + Ans(6,9,7) = 1
 BLOCK(7,2,0): + Ans(7,1,7) + Ans(7,2,7) + Ans(7,3,7) + Ans(8,1,7)
 + Ans(8,2,7) + Ans(8,3,7) + Ans(9,1,7) + Ans(9,2,7) + Ans(9,3,7) = 1
 BLOCK(7,2,1): + Ans(7,4,7) + Ans(7,5,7) + Ans(7,6,7) + Ans(8,4,7)
 + Ans(8,5,7) + Ans(8,6,7) + Ans(9,4,7) + Ans(9,5,7) + Ans(9,6,7) = 1
 BLOCK(7,2,2): + Ans(7,7,7) + Ans(7,8,7) + Ans(7,9,7) + Ans(8,7,7)
 + Ans(8,8,7) + Ans(8,9,7) + Ans(9,7,7) + Ans(9,8,7) + Ans(9,9,7) = 1
 BLOCK(8,0,0): + Ans(1,1,8) + Ans(1,2,8) + Ans(1,3,8) + Ans(2,1,8)
 + Ans(2,2,8) + Ans(2,3,8) + Ans(3,1,8) + Ans(3,2,8) + Ans(3,3,8) = 1
 BLOCK(8,0,1): + Ans(1,4,8) + Ans(1,5,8) + Ans(1,6,8) + Ans(2,4,8)
 + Ans(2,5,8) + Ans(2,6,8) + Ans(3,4,8) + Ans(3,5,8) + Ans(3,6,8) = 1
 BLOCK(8,0,2): + Ans(1,7,8) + Ans(1,8,8) + Ans(1,9,8) + Ans(2,7,8)
 + Ans(2,8,8) + Ans(2,9,8) + Ans(3,7,8) + Ans(3,8,8) + Ans(3,9,8) = 1
 BLOCK(8,1,0): + Ans(4,1,8) + Ans(4,2,8) + Ans(4,3,8) + Ans(5,1,8)
 + Ans(5,2,8) + Ans(5,3,8) + Ans(6,1,8) + Ans(6,2,8) + Ans(6,3,8) = 1
 BLOCK(8,1,1): + Ans(4,4,8) + Ans(4,5,8) + Ans(4,6,8) + Ans(5,4,8)
 + Ans(5,5,8) + Ans(5,6,8) + Ans(6,4,8) + Ans(6,5,8) + Ans(6,6,8) = 1
 BLOCK(8,1,2): + Ans(4,7,8) + Ans(4,8,8) + Ans(4,9,8) + Ans(5,7,8)
 + Ans(5,8,8) + Ans(5,9,8) + Ans(6,7,8) + Ans(6,8,8) + Ans(6,9,8) = 1
 BLOCK(8,2,0): + Ans(7,1,8) + Ans(7,2,8) + Ans(7,3,8) + Ans(8,1,8)
 + Ans(8,2,8) + Ans(8,3,8) + Ans(9,1,8) + Ans(9,2,8) + Ans(9,3,8) = 1
 BLOCK(8,2,1): + Ans(7,4,8) + Ans(7,5,8) + Ans(7,6,8) + Ans(8,4,8)
 + Ans(8,5,8) + Ans(8,6,8) + Ans(9,4,8) + Ans(9,5,8) + Ans(9,6,8) = 1
 BLOCK(8,2,2): + Ans(7,7,8) + Ans(7,8,8) + Ans(7,9,8) + Ans(8,7,8)
 + Ans(8,8,8) + Ans(8,9,8) + Ans(9,7,8) + Ans(9,8,8) + Ans(9,9,8) = 1
 BLOCK(9,0,0): + Ans(1,1,9) + Ans(1,2,9) + Ans(1,3,9) + Ans(2,1,9)
 + Ans(2,2,9) + Ans(2,3,9) + Ans(3,1,9) + Ans(3,2,9) + Ans(3,3,9) = 1
 BLOCK(9,0,1): + Ans(1,4,9) + Ans(1,5,9) + Ans(1,6,9) + Ans(2,4,9)
 + Ans(2,5,9) + Ans(2,6,9) + Ans(3,4,9) + Ans(3,5,9) + Ans(3,6,9) = 1
 BLOCK(9,0,2): + Ans(1,7,9) + Ans(1,8,9) + Ans(1,9,9) + Ans(2,7,9)
 + Ans(2,8,9) + Ans(2,9,9) + Ans(3,7,9) + Ans(3,8,9) + Ans(3,9,9) = 1
 BLOCK(9,1,0): + Ans(4,1,9) + Ans(4,2,9) + Ans(4,3,9) + Ans(5,1,9)
 + Ans(5,2,9) + Ans(5,3,9) + Ans(6,1,9) + Ans(6,2,9) + Ans(6,3,9) = 1
 BLOCK(9,1,1): + Ans(4,4,9) + Ans(4,5,9) + Ans(4,6,9) + Ans(5,4,9)
 + Ans(5,5,9) + Ans(5,6,9) + Ans(6,4,9) + Ans(6,5,9) + Ans(6,6,9) = 1
 BLOCK(9,1,2): + Ans(4,7,9) + Ans(4,8,9) + Ans(4,9,9) + Ans(5,7,9)
 + Ans(5,8,9) + Ans(5,9,9) + Ans(6,7,9) + Ans(6,8,9) + Ans(6,9,9) = 1
 BLOCK(9,2,0): + Ans(7,1,9) + Ans(7,2,9) + Ans(7,3,9) + Ans(8,1,9)
 + Ans(8,2,9) + Ans(8,3,9) + Ans(9,1,9) + Ans(9,2,9) + Ans(9,3,9) = 1
 BLOCK(9,2,1): + Ans(7,4,9) + Ans(7,5,9) + Ans(7,6,9) + Ans(8,4,9)
 + Ans(8,5,9) + Ans(8,6,9) + Ans(9,4,9) + Ans(9,5,9) + Ans(9,6,9) = 1
 BLOCK(9,2,2): + Ans(7,7,9) + Ans(7,8,9) + Ans(7,9,9) + Ans(8,7,9)
 + Ans(8,8,9) + Ans(8,9,9) + Ans(9,7,9) + Ans(9,8,9) + Ans(9,9,9) = 1

Bounds
 0 <= Ans(1,1,1) <= 1
 0 <= Ans(1,1,2) <= 1
 0 <= Ans(1,1,3) <= 1
 0 <= Ans(1,1,4) <= 1
 0 <= Ans(1,1,5) <= 1
 0 <= Ans(1,1,6) <= 1
 0 <= Ans(1,1,7) <= 1
 0 <= Ans(1,1,8) <= 1
 0 <= Ans(1,1,9) <= 1
 0 <= Ans(1,2,1) <= 1
 0 <= Ans(1,2,2) <= 1
 0 <= Ans(1,2,3) <= 1
 0 <= Ans(1,2,4) <= 1
 0 <= Ans(1,2,5) <= 1
 0 <= Ans(1,2,6) <= 1
 0 <= Ans(1,2,7) <= 1
 0 <= Ans(1,2,8) <= 1
 0 <= Ans(1,2,9) <= 1
 0 <= Ans(1,3,1) <= 1
 0 <= Ans(1,3,2) <= 1
 0 <= Ans(1,3,3) <= 1
 0 <= Ans(1,3,4) <= 1
 0 <= Ans(1,3,5) <= 1
 0 <= Ans(1,3,6) <= 1
 0 <= Ans(1,3,7) <= 1
 0 <= Ans(1,3,8) <= 1
 0 <= Ans(1,3,9) <= 1
 0 <= Ans(1,4,1) <= 1
 0 <= Ans(1,4,2) <= 1
 0 <= Ans(1,4,3) <= 1
 0 <= Ans(1,4,4) <= 1
 0 <= Ans(1,4,5) <= 1
 0 <= Ans(1,4,6) <= 1
 0 <= Ans(1,4,7) <= 1
 0 <= Ans(1,4,8) <= 1
 0 <= Ans(1,4,9) <= 1
 0 <= Ans(1,5,1) <= 1
 0 <= Ans(1,5,2) <= 1
 0 <= Ans(1,5,3) <= 1
 0 <= Ans(1,5,4) <= 1
 0 <= Ans(1,5,5) <= 1
 0 <= Ans(1,5,6) <= 1
 0 <= Ans(1,5,7) <= 1
 0 <= Ans(1,5,8) <= 1
 0 <= Ans(1,5,9) <= 1
 0 <= Ans(1,6,1) <= 1
 0 <= Ans(1,6,2) <= 1
 0 <= Ans(1,6,3) <= 1
 0 <= Ans(1,6,4) <= 1
 0 <= Ans(1,6,5) <= 1
 0 <= Ans(1,6,6) <= 1
 0 <= Ans(1,6,7) <= 1
 0 <= Ans(1,6,8) <= 1
 0 <= Ans(1,6,9) <= 1
 0 <= Ans(1,7,1) <= 1
 0 <= Ans(1,7,2) <= 1
 0 <= Ans(1,7,3) <= 1
 0 <= Ans(1,7,4) <= 1
 0 <= Ans(1,7,5) <= 1
 0 <= Ans(1,7,6) <= 1
 0 <= Ans(1,7,7) <= 1
 0 <= Ans(1,7,8) <= 1
 0 <= Ans(1,7,9) <= 1
 0 <= Ans(1,8,1) <= 1
 0 <= Ans(1,8,2) <= 1
 0 <= Ans(1,8,3) <= 1
 0 <= Ans(1,8,4) <= 1
 0 <= Ans(1,8,5) <= 1
 0 <= Ans(1,8,6) <= 1
 0 <= Ans(1,8,7) <= 1
 0 <= Ans(1,8,8) <= 1
 0 <= Ans(1,8,9) <= 1
 0 <= Ans(1,9,1) <= 1
 0 <= Ans(1,9,2) <= 1
 0 <= Ans(1,9,3) <= 1
 0 <= Ans(1,9,4) <= 1
 0 <= Ans(1,9,5) <= 1
 0 <= Ans(1,9,6) <= 1
 0 <= Ans(1,9,7) <= 1
 0 <= Ans(1,9,8) <= 1
 0 <= Ans(1,9,9) <= 1
 0 <= Ans(2,1,1) <= 1
 0 <= Ans(2,1,2) <= 1
 0 <= Ans(2,1,3) <= 1
 0 <= Ans(2,1,4) <= 1
 0 <= Ans(2,1,5) <= 1
 0 <= Ans(2,1,6) <= 1
 0 <= Ans(2,1,7) <= 1
 0 <= Ans(2,1,8) <= 1
 0 <= Ans(2,1,9) <= 1
 0 <= Ans(2,2,1) <= 1
 0 <= Ans(2,2,2) <= 1
 0 <= Ans(2,2,3) <= 1
 0 <= Ans(2,2,4) <= 1
 0 <= Ans(2,2,5) <= 1
 0 <= Ans(2,2,6) <= 1
 0 <= Ans(2,2,7) <= 1
 0 <= Ans(2,2,8) <= 1
 0 <= Ans(2,2,9) <= 1
 0 <= Ans(2,3,1) <= 1
 0 <= Ans(2,3,2) <= 1
 0 <= Ans(2,3,3) <= 1
 0 <= Ans(2,3,4) <= 1
 0 <= Ans(2,3,5) <= 1
 0 <= Ans(2,3,6) <= 1
 0 <= Ans(2,3,7) <= 1
 0 <= Ans(2,3,8) <= 1
 0 <= Ans(2,3,9) <= 1
 0 <= Ans(2,4,1) <= 1
 0 <= Ans(2,4,2) <= 1
 0 <= Ans(2,4,3) <= 1
 0 <= Ans(2,4,4) <= 1
 0 <= Ans(2,4,5) <= 1
 0 <= Ans(2,4,6) <= 1
 0 <= Ans(2,4,7) <= 1
 0 <= Ans(2,4,8) <= 1
 0 <= Ans(2,4,9) <= 1
 0 <= Ans(2,5,1) <= 1
 0 <= Ans(2,5,2) <= 1
 0 <= Ans(2,5,3) <= 1
 0 <= Ans(2,5,4) <= 1
 0 <= Ans(2,5,5) <= 1
 0 <= Ans(2,5,6) <= 1
 0 <= Ans(2,5,7) <= 1
 0 <= Ans(2,5,8) <= 1
 0 <= Ans(2,5,9) <= 1
 0 <= Ans(2,6,1) <= 1
 0 <= Ans(2,6,2) <= 1
 0 <= Ans(2,6,3) <= 1
 0 <= Ans(2,6,4) <= 1
 0 <= Ans(2,6,5) <= 1
 0 <= Ans(2,6,6) <= 1
 0 <= Ans(2,6,7) <= 1
 0 <= Ans(2,6,8) <= 1
 0 <= Ans(2,6,9) <= 1
 0 <= Ans(2,7,1) <= 1
 0 <= Ans(2,7,2) <= 1
 0 <= Ans(2,7,3) <= 1
 0 <= Ans(2,7,4) <= 1
 0 <= Ans(2,7,5) <= 1
 0 <= Ans(2,7,6) <= 1
 0 <= Ans(2,7,7) <= 1
 0 <= Ans(2,7,8) <= 1
 0 <= Ans(2,7,9) <= 1
 0 <= Ans(2,8,1) <= 1
 0 <= Ans(2,8,2) <= 1
 0 <= Ans(2,8,3) <= 1
 0 <= Ans(2,8,4) <= 1
 0 <= Ans(2,8,5) <= 1
 0 <= Ans(2,8,6) <= 1
 0 <= Ans(2,8,7) <= 1
 0 <= Ans(2,8,8) <= 1
 0 <= Ans(2,8,9) <= 1
 0 <= Ans(2,9,1) <= 1
 0 <= Ans(2,9,2) <= 1
 0 <= Ans(2,9,3) <= 1
 0 <= Ans(2,9,4) <= 1
 0 <= Ans(2,9,5) <= 1
 0 <= Ans(2,9,6) <= 1
 0 <= Ans(2,9,7) <= 1
 0 <= Ans(2,9,8) <= 1
 0 <= Ans(2,9,9) <= 1
 0 <= Ans(3,1,1) <= 1
 0 <= Ans(3,1,2) <= 1
 0 <= Ans(3,1,3) <= 1
 0 <= Ans(3,1,4) <= 1
 0 <= Ans(3,1,5) <= 1
 0 <= Ans(3,1,6) <= 1
 0 <= Ans(3,1,7) <= 1
 0 <= Ans(3,1,8) <= 1
 0 <= Ans(3,1,9) <= 1
 0 <= Ans(3,2,1) <= 1
 0 <= Ans(3,2,2) <= 1
 0 <= Ans(3,2,3) <= 1
 0 <= Ans(3,2,4) <= 1
 0 <= Ans(3,2,5) <= 1
 0 <= Ans(3,2,6) <= 1
 0 <= Ans(3,2,7) <= 1
 0 <= Ans(3,2,8) <= 1
 0 <= Ans(3,2,9) <= 1
 0 <= Ans(3,3,1) <= 1
 0 <= Ans(3,3,2) <= 1
 0 <= Ans(3,3,3) <= 1
 0 <= Ans(3,3,4) <= 1
 0 <= Ans(3,3,5) <= 1
 0 <= Ans(3,3,6) <= 1
 0 <= Ans(3,3,7) <= 1
 0 <= Ans(3,3,8) <= 1
 0 <= Ans(3,3,9) <= 1
 0 <= Ans(3,4,1) <= 1
 0 <= Ans(3,4,2) <= 1
 0 <= Ans(3,4,3) <= 1
 0 <= Ans(3,4,4) <= 1
 0 <= Ans(3,4,5) <= 1
 0 <= Ans(3,4,6) <= 1
 0 <= Ans(3,4,7) <= 1
 0 <= Ans(3,4,8) <= 1
 0 <= Ans(3,4,9) <= 1
 0 <= Ans(3,5,1) <= 1
 0 <= Ans(3,5,2) <= 1
 0 <= Ans(3,5,3) <= 1
 0 <= Ans(3,5,4) <= 1
 0 <= Ans(3,5,5) <= 1
 0 <= Ans(3,5,6) <= 1
 0 <= Ans(3,5,7) <= 1
 0 <= Ans(3,5,8) <= 1
 0 <= Ans(3,5,9) <= 1
 0 <= Ans(3,6,1) <= 1
 0 <= Ans(3,6,2) <= 1
 0 <= Ans(3,6,3) <= 1
 0 <= Ans(3,6,4) <= 1
 0 <= Ans(3,6,5) <= 1
 0 <= Ans(3,6,6) <= 1
 0 <= Ans(3,6,7) <= 1
 0 <= Ans(3,6,8) <= 1
 0 <= Ans(3,6,9) <= 1
 0 <= Ans(3,7,1) <= 1
 0 <= Ans(3,7,2) <= 1
 0 <= Ans(3,7,3) <= 1
 0 <= Ans(3,7,4) <= 1
 0 <= Ans(3,7,5) <= 1
 0 <= Ans(3,7,6) <= 1
 0 <= Ans(3,7,7) <= 1
 0 <= Ans(3,7,8) <= 1
 0 <= Ans(3,7,9) <= 1
 0 <= Ans(3,8,1) <= 1
 0 <= Ans(3,8,2) <= 1
 0 <= Ans(3,8,3) <= 1
 0 <= Ans(3,8,4) <= 1
 0 <= Ans(3,8,5) <= 1
 0 <= Ans(3,8,6) <= 1
 0 <= Ans(3,8,7) <= 1
 0 <= Ans(3,8,8) <= 1
 0 <= Ans(3,8,9) <= 1
 0 <= Ans(3,9,1) <= 1
 0 <= Ans(3,9,2) <= 1
 0 <= Ans(3,9,3) <= 1
 0 <= Ans(3,9,4) <= 1
 0 <= Ans(3,9,5) <= 1
 0 <= Ans(3,9,6) <= 1
 0 <= Ans(3,9,7) <= 1
 0 <= Ans(3,9,8) <= 1
 0 <= Ans(3,9,9) <= 1
 0 <= Ans(4,1,1) <= 1
 0 <= Ans(4,1,2) <= 1
 0 <= Ans(4,1,3) <= 1
 0 <= Ans(4,1,4) <= 1
 0 <= Ans(4,1,5) <= 1
 0 <= Ans(4,1,6) <= 1
 0 <= Ans(4,1,7) <= 1
 0 <= Ans(4,1,8) <= 1
 0 <= Ans(4,1,9) <= 1
 0 <= Ans(4,2,1) <= 1
 0 <= Ans(4,2,2) <= 1
 0 <= Ans(4,2,3) <= 1
 0 <= Ans(4,2,4) <= 1
 0 <= Ans(4,2,5) <= 1
 0 <= Ans(4,2,6) <= 1
 0 <= Ans(4,2,7) <= 1
 0 <= Ans(4,2,8) <= 1
 0 <= Ans(4,2,9) <= 1
 0 <= Ans(4,3,1) <= 1
 0 <= Ans(4,3,2) <= 1
 0 <= Ans(4,3,3) <= 1
 0 <= Ans(4,3,4) <= 1
 0 <= Ans(4,3,5) <= 1
 0 <= Ans(4,3,6) <= 1
 0 <= Ans(4,3,7) <= 1
 0 <= Ans(4,3,8) <= 1
 0 <= Ans(4,3,9) <= 1
 0 <= Ans(4,4,1) <= 1
 0 <= Ans(4,4,2) <= 1
 0 <= Ans(4,4,3) <= 1
 0 <= Ans(4,4,4) <= 1
 0 <= Ans(4,4,5) <= 1
 0 <= Ans(4,4,6) <= 1
 0 <= Ans(4,4,7) <= 1
 0 <= Ans(4,4,8) <= 1
 0 <= Ans(4,4,9) <= 1
 0 <= Ans(4,5,1) <= 1
 0 <= Ans(4,5,2) <= 1
 0 <= Ans(4,5,3) <= 1
 0 <= Ans(4,5,4) <= 1
 0 <= Ans(4,5,5) <= 1
 0 <= Ans(4,5,6) <= 1
 0 <= Ans(4,5,7) <= 1
 0 <= Ans(4,5,8) <= 1
 0 <= Ans(4,5,9) <= 1
 0 <= Ans(4,6,1) <= 1
 0 <= Ans(4,6,2) <= 1
 0 <= Ans(4,6,3) <= 1
 0 <= Ans(4,6,4) <= 1
 0 <= Ans(4,6,5) <= 1
 0 <= Ans(4,6,6) <= 1
 0 <= Ans(4,6,7) <= 1
 0 <= Ans(4,6,8) <= 1
 0 <= Ans(4,6,9) <= 1
 0 <= Ans(4,7,1) <= 1
 0 <= Ans(4,7,2) <= 1
 0 <= Ans(4,7,3) <= 1
 0 <= Ans(4,7,4) <= 1
 0 <= Ans(4,7,5) <= 1
 0 <= Ans(4,7,6) <= 1
 0 <= Ans(4,7,7) <= 1
 0 <= Ans(4,7,8) <= 1
 0 <= Ans(4,7,9) <= 1
 0 <= Ans(4,8,1) <= 1
 0 <= Ans(4,8,2) <= 1
 0 <= Ans(4,8,3) <= 1
 0 <= Ans(4,8,4) <= 1
 0 <= Ans(4,8,5) <= 1
 0 <= Ans(4,8,6) <= 1
 0 <= Ans(4,8,7) <= 1
 0 <= Ans(4,8,8) <= 1
 0 <= Ans(4,8,9) <= 1
 0 <= Ans(4,9,1) <= 1
 0 <= Ans(4,9,2) <= 1
 0 <= Ans(4,9,3) <= 1
 0 <= Ans(4,9,4) <= 1
 0 <= Ans(4,9,5) <= 1
 0 <= Ans(4,9,6) <= 1
 0 <= Ans(4,9,7) <= 1
 0 <= Ans(4,9,8) <= 1
 0 <= Ans(4,9,9) <= 1
 0 <= Ans(5,1,1) <= 1
 0 <= Ans(5,1,2) <= 1
 0 <= Ans(5,1,3) <= 1
 0 <= Ans(5,1,4) <= 1
 0 <= Ans(5,1,5) <= 1
 0 <= Ans(5,1,6) <= 1
 0 <= Ans(5,1,7) <= 1
 0 <= Ans(5,1,8) <= 1
 0 <= Ans(5,1,9) <= 1
 0 <= Ans(5,2,1) <= 1
 0 <= Ans(5,2,2) <= 1
 0 <= Ans(5,2,3) <= 1
 0 <= Ans(5,2,4) <= 1
 0 <= Ans(5,2,5) <= 1
 0 <= Ans(5,2,6) <= 1
 0 <= Ans(5,2,7) <= 1
 0 <= Ans(5,2,8) <= 1
 0 <= Ans(5,2,9) <= 1
 0 <= Ans(5,3,1) <= 1
 0 <= Ans(5,3,2) <= 1
 0 <= Ans(5,3,3) <= 1
 0 <= Ans(5,3,4) <= 1
 0 <= Ans(5,3,5) <= 1
 0 <= Ans(5,3,6) <= 1
 0 <= Ans(5,3,7) <= 1
 0 <= Ans(5,3,8) <= 1
 0 <= Ans(5,3,9) <= 1
 0 <= Ans(5,4,1) <= 1
 0 <= Ans(5,4,2) <= 1
 0 <= Ans(5,4,3) <= 1
 0 <= Ans(5,4,4) <= 1
 0 <= Ans(5,4,5) <= 1
 0 <= Ans(5,4,6) <= 1
 0 <= Ans(5,4,7) <= 1
 0 <= Ans(5,4,8) <= 1
 0 <= Ans(5,4,9) <= 1
 0 <= Ans(5,5,1) <= 1
 0 <= Ans(5,5,2) <= 1
 0 <= Ans(5,5,3) <= 1
 0 <= Ans(5,5,4) <= 1
 0 <= Ans(5,5,5) <= 1
 0 <= Ans(5,5,6) <= 1
 0 <= Ans(5,5,7) <= 1
 0 <= Ans(5,5,8) <= 1
 0 <= Ans(5,5,9) <= 1
 0 <= Ans(5,6,1) <= 1
 0 <= Ans(5,6,2) <= 1
 0 <= Ans(5,6,3) <= 1
 0 <= Ans(5,6,4) <= 1
 0 <= Ans(5,6,5) <= 1
 0 <= Ans(5,6,6) <= 1
 0 <= Ans(5,6,7) <= 1
 0 <= Ans(5,6,8) <= 1
 0 <= Ans(5,6,9) <= 1
 0 <= Ans(5,7,1) <= 1
 0 <= Ans(5,7,2) <= 1
 0 <= Ans(5,7,3) <= 1
 0 <= Ans(5,7,4) <= 1
 0 <= Ans(5,7,5) <= 1
 0 <= Ans(5,7,6) <= 1
 0 <= Ans(5,7,7) <= 1
 0 <= Ans(5,7,8) <= 1
 0 <= Ans(5,7,9) <= 1
 0 <= Ans(5,8,1) <= 1
 0 <= Ans(5,8,2) <= 1
 0 <= Ans(5,8,3) <= 1
 0 <= Ans(5,8,4) <= 1
 0 <= Ans(5,8,5) <= 1
 0 <= Ans(5,8,6) <= 1
 0 <= Ans(5,8,7) <= 1
 0 <= Ans(5,8,8) <= 1
 0 <= Ans(5,8,9) <= 1
 0 <= Ans(5,9,1) <= 1
 0 <= Ans(5,9,2) <= 1
 0 <= Ans(5,9,3) <= 1
 0 <= Ans(5,9,4) <= 1
 0 <= Ans(5,9,5) <= 1
 0 <= Ans(5,9,6) <= 1
 0 <= Ans(5,9,7) <= 1
 0 <= Ans(5,9,8) <= 1
 0 <= Ans(5,9,9) <= 1
 0 <= Ans(6,1,1) <= 1
 0 <= Ans(6,1,2) <= 1
 0 <= Ans(6,1,3) <= 1
 0 <= Ans(6,1,4) <= 1
 0 <= Ans(6,1,5) <= 1
 0 <= Ans(6,1,6) <= 1
 0 <= Ans(6,1,7) <= 1
 0 <= Ans(6,1,8) <= 1
 0 <= Ans(6,1,9) <= 1
 0 <= Ans(6,2,1) <= 1
 0 <= Ans(6,2,2) <= 1
 0 <= Ans(6,2,3) <= 1
 0 <= Ans(6,2,4) <= 1
 0 <= Ans(6,2,5) <= 1
 0 <= Ans(6,2,6) <= 1
 0 <= Ans(6,2,7) <= 1
 0 <= Ans(6,2,8) <= 1
 0 <= Ans(6,2,9) <= 1
 0 <= Ans(6,3,1) <= 1
 0 <= Ans(6,3,2) <= 1
 0 <= Ans(6,3,3) <= 1
 0 <= Ans(6,3,4) <= 1
 0 <= Ans(6,3,5) <= 1
 0 <= Ans(6,3,6) <= 1
 0 <= Ans(6,3,7) <= 1
 0 <= Ans(6,3,8) <= 1
 0 <= Ans(6,3,9) <= 1
 0 <= Ans(6,4,1) <= 1
 0 <= Ans(6,4,2) <= 1
 0 <= Ans(6,4,3) <= 1
 0 <= Ans(6,4,4) <= 1
 0 <= Ans(6,4,5) <= 1
 0 <= Ans(6,4,6) <= 1
 0 <= Ans(6,4,7) <= 1
 0 <= Ans(6,4,8) <= 1
 0 <= Ans(6,4,9) <= 1
 0 <= Ans(6,5,1) <= 1
 0 <= Ans(6,5,2) <= 1
 0 <= Ans(6,5,3) <= 1
 0 <= Ans(6,5,4) <= 1
 0 <= Ans(6,5,5) <= 1
 0 <= Ans(6,5,6) <= 1
 0 <= Ans(6,5,7) <= 1
 0 <= Ans(6,5,8) <= 1
 0 <= Ans(6,5,9) <= 1
 0 <= Ans(6,6,1) <= 1
 0 <= Ans(6,6,2) <= 1
 0 <= Ans(6,6,3) <= 1
 0 <= Ans(6,6,4) <= 1
 0 <= Ans(6,6,5) <= 1
 0 <= Ans(6,6,6) <= 1
 0 <= Ans(6,6,7) <= 1
 0 <= Ans(6,6,8) <= 1
 0 <= Ans(6,6,9) <= 1
 0 <= Ans(6,7,1) <= 1
 0 <= Ans(6,7,2) <= 1
 0 <= Ans(6,7,3) <= 1
 0 <= Ans(6,7,4) <= 1
 0 <= Ans(6,7,5) <= 1
 0 <= Ans(6,7,6) <= 1
 0 <= Ans(6,7,7) <= 1
 0 <= Ans(6,7,8) <= 1
 0 <= Ans(6,7,9) <= 1
 0 <= Ans(6,8,1) <= 1
 0 <= Ans(6,8,2) <= 1
 0 <= Ans(6,8,3) <= 1
 0 <= Ans(6,8,4) <= 1
 0 <= Ans(6,8,5) <= 1
 0 <= Ans(6,8,6) <= 1
 0 <= Ans(6,8,7) <= 1
 0 <= Ans(6,8,8) <= 1
 0 <= Ans(6,8,9) <= 1
 0 <= Ans(6,9,1) <= 1
 0 <= Ans(6,9,2) <= 1
 0 <= Ans(6,9,3) <= 1
 0 <= Ans(6,9,4) <= 1
 0 <= Ans(6,9,5) <= 1
 0 <= Ans(6,9,6) <= 1
 0 <= Ans(6,9,7) <= 1
 0 <= Ans(6,9,8) <= 1
 0 <= Ans(6,9,9) <= 1
 0 <= Ans(7,1,1) <= 1
 0 <= Ans(7,1,2) <= 1
 0 <= Ans(7,1,3) <= 1
 0 <= Ans(7,1,4) <= 1
 0 <= Ans(7,1,5) <= 1
 0 <= Ans(7,1,6) <= 1
 0 <= Ans(7,1,7) <= 1
 0 <= Ans(7,1,8) <= 1
 0 <= Ans(7,1,9) <= 1
 0 <= Ans(7,2,1) <= 1
 0 <= Ans(7,2,2) <= 1
 0 <= Ans(7,2,3) <= 1
 0 <= Ans(7,2,4) <= 1
 0 <= Ans(7,2,5) <= 1
 0 <= Ans(7,2,6) <= 1
 0 <= Ans(7,2,7) <= 1
 0 <= Ans(7,2,8) <= 1
 0 <= Ans(7,2,9) <= 1
 0 <= Ans(7,3,1) <= 1
 0 <= Ans(7,3,2) <= 1
 0 <= Ans(7,3,3) <= 1
 0 <= Ans(7,3,4) <= 1
 0 <= Ans(7,3,5) <= 1
 0 <= Ans(7,3,6) <= 1
 0 <= Ans(7,3,7) <= 1
 0 <= Ans(7,3,8) <= 1
 0 <= Ans(7,3,9) <= 1
 0 <= Ans(7,4,1) <= 1
 0 <= Ans(7,4,2) <= 1
 0 <= Ans(7,4,3) <= 1
 0 <= Ans(7,4,4) <= 1
 0 <= Ans(7,4,5) <= 1
 0 <= Ans(7,4,6) <= 1
 0 <= Ans(7,4,7) <= 1
 0 <= Ans(7,4,8) <= 1
 0 <= Ans(7,4,9) <= 1
 0 <= Ans(7,5,1) <= 1
 0 <= Ans(7,5,2) <= 1
 0 <= Ans(7,5,3) <= 1
 0 <= Ans(7,5,4) <= 1
 0 <= Ans(7,5,5) <= 1
 0 <= Ans(7,5,6) <= 1
 0 <= Ans(7,5,7) <= 1
 0 <= Ans(7,5,8) <= 1
 0 <= Ans(7,5,9) <= 1
 0 <= Ans(7,6,1) <= 1
 0 <= Ans(7,6,2) <= 1
 0 <= Ans(7,6,3) <= 1
 0 <= Ans(7,6,4) <= 1
 0 <= Ans(7,6,5) <= 1
 0 <= Ans(7,6,6) <= 1
 0 <= Ans(7,6,7) <= 1
 0 <= Ans(7,6,8) <= 1
 0 <= Ans(7,6,9) <= 1
 0 <= Ans(7,7,1) <= 1
 0 <= Ans(7,7,2) <= 1
 0 <= Ans(7,7,3) <= 1
 0 <= Ans(7,7,4) <= 1
 0 <= Ans(7,7,5) <= 1
 0 <= Ans(7,7,6) <= 1
 0 <= Ans(7,7,7) <= 1
 0 <= Ans(7,7,8) <= 1
 0 <= Ans(7,7,9) <= 1
 0 <= Ans(7,8,1) <= 1
 0 <= Ans(7,8,2) <= 1
 0 <= Ans(7,8,3) <= 1
 0 <= Ans(7,8,4) <= 1
 0 <= Ans(7,8,5) <= 1
 0 <= Ans(7,8,6) <= 1
 0 <= Ans(7,8,7) <= 1
 0 <= Ans(7,8,8) <= 1
 0 <= Ans(7,8,9) <= 1
 0 <= Ans(7,9,1) <= 1
 0 <= Ans(7,9,2) <= 1
 0 <= Ans(7,9,3) <= 1
 0 <= Ans(7,9,4) <= 1
 0 <= Ans(7,9,5) <= 1
 0 <= Ans(7,9,6) <= 1
 0 <= Ans(7,9,7) <= 1
 0 <= Ans(7,9,8) <= 1
 0 <= Ans(7,9,9) <= 1
 0 <= Ans(8,1,1) <= 1
 0 <= Ans(8,1,2) <= 1
 0 <= Ans(8,1,3) <= 1
 0 <= Ans(8,1,4) <= 1
 0 <= Ans(8,1,5) <= 1
 0 <= Ans(8,1,6) <= 1
 0 <= Ans(8,1,7) <= 1
 0 <= Ans(8,1,8) <= 1
 0 <= Ans(8,1,9) <= 1
 0 <= Ans(8,2,1) <= 1
 0 <= Ans(8,2,2) <= 1
 0 <= Ans(8,2,3) <= 1
 0 <= Ans(8,2,4) <= 1
 0 <= Ans(8,2,5) <= 1
 0 <= Ans(8,2,6) <= 1
 0 <= Ans(8,2,7) <= 1
 0 <= Ans(8,2,8) <= 1
 0 <= Ans(8,2,9) <= 1
 0 <= Ans(8,3,1) <= 1
 0 <= Ans(8,3,2) <= 1
 0 <= Ans(8,3,3) <= 1
 0 <= Ans(8,3,4) <= 1
 0 <= Ans(8,3,5) <= 1
 0 <= Ans(8,3,6) <= 1
 0 <= Ans(8,3,7) <= 1
 0 <= Ans(8,3,8) <= 1
 0 <= Ans(8,3,9) <= 1
 0 <= Ans(8,4,1) <= 1
 0 <= Ans(8,4,2) <= 1
 0 <= Ans(8,4,3) <= 1
 0 <= Ans(8,4,4) <= 1
 0 <= Ans(8,4,5) <= 1
 0 <= Ans(8,4,6) <= 1
 0 <= Ans(8,4,7) <= 1
 0 <= Ans(8,4,8) <= 1
 0 <= Ans(8,4,9) <= 1
 0 <= Ans(8,5,1) <= 1
 0 <= Ans(8,5,2) <= 1
 0 <= Ans(8,5,3) <= 1
 0 <= Ans(8,5,4) <= 1
 0 <= Ans(8,5,5) <= 1
 0 <= Ans(8,5,6) <= 1
 0 <= Ans(8,5,7) <= 1
 0 <= Ans(8,5,8) <= 1
 0 <= Ans(8,5,9) <= 1
 0 <= Ans(8,6,1) <= 1
 0 <= Ans(8,6,2) <= 1
 0 <= Ans(8,6,3) <= 1
 0 <= Ans(8,6,4) <= 1
 0 <= Ans(8,6,5) <= 1
 0 <= Ans(8,6,6) <= 1
 0 <= Ans(8,6,7) <= 1
 0 <= Ans(8,6,8) <= 1
 0 <= Ans(8,6,9) <= 1
 0 <= Ans(8,7,1) <= 1
 0 <= Ans(8,7,2) <= 1
 0 <= Ans(8,7,3) <= 1
 0 <= Ans(8,7,4) <= 1
 0 <= Ans(8,7,5) <= 1
 0 <= Ans(8,7,6) <= 1
 0 <= Ans(8,7,7) <= 1
 0 <= Ans(8,7,8) <= 1
 0 <= Ans(8,7,9) <= 1
 0 <= Ans(8,8,1) <= 1
 0 <= Ans(8,8,2) <= 1
 0 <= Ans(8,8,3) <= 1
 0 <= Ans(8,8,4) <= 1
 0 <= Ans(8,8,5) <= 1
 0 <= Ans(8,8,6) <= 1
 0 <= Ans(8,8,7) <= 1
 0 <= Ans(8,8,8) <= 1
 0 <= Ans(8,8,9) <= 1
 0 <= Ans(8,9,1) <= 1
 0 <= Ans(8,9,2) <= 1
 0 <= Ans(8,9,3) <= 1
 0 <= Ans(8,9,4) <= 1
 0 <= Ans(8,9,5) <= 1
 0 <= Ans(8,9,6) <= 1
 0 <= Ans(8,9,7) <= 1
 0 <= Ans(8,9,8) <= 1
 0 <= Ans(8,9,9) <= 1
 0 <= Ans(9,1,1) <= 1
 0 <= Ans(9,1,2) <= 1
 0 <= Ans(9,1,3) <= 1
 0 <= Ans(9,1,4) <= 1
 0 <= Ans(9,1,5) <= 1
 0 <= Ans(9,1,6) <= 1
 0 <= Ans(9,1,7) <= 1
 0 <= Ans(9,1,8) <= 1
 0 <= Ans(9,1,9) <= 1
 0 <= Ans(9,2,1) <= 1
 0 <= Ans(9,2,2) <= 1
 0 <= Ans(9,2,3) <= 1
 0 <= Ans(9,2,4) <= 1
 0 <= Ans(9,2,5) <= 1
 0 <= Ans(9,2,6) <= 1
 0 <= Ans(9,2,7) <= 1
 0 <= Ans(9,2,8) <= 1
 0 <= Ans(9,2,9) <= 1
 0 <= Ans(9,3,1) <= 1
 0 <= Ans(9,3,2) <= 1
 0 <= Ans(9,3,3) <= 1
 0 <= Ans(9,3,4) <= 1
 0 <= Ans(9,3,5) <= 1
 0 <= Ans(9,3,6) <= 1
 0 <= Ans(9,3,7) <= 1
 0 <= Ans(9,3,8) <= 1
 0 <= Ans(9,3,9) <= 1
 0 <= Ans(9,4,1) <= 1
 0 <= Ans(9,4,2) <= 1
 0 <= Ans(9,4,3) <= 1
 0 <= Ans(9,4,4) <= 1
 0 <= Ans(9,4,5) <= 1
 0 <= Ans(9,4,6) <= 1
 0 <= Ans(9,4,7) <= 1
 0 <= Ans(9,4,8) <= 1
 0 <= Ans(9,4,9) <= 1
 0 <= Ans(9,5,1) <= 1
 0 <= Ans(9,5,2) <= 1
 0 <= Ans(9,5,3) <= 1
 0 <= Ans(9,5,4) <= 1
 0 <= Ans(9,5,5) <= 1
 0 <= Ans(9,5,6) <= 1
 0 <= Ans(9,5,7) <= 1
 0 <= Ans(9,5,8) <= 1
 0 <= Ans(9,5,9) <= 1
 0 <= Ans(9,6,1) <= 1
 0 <= Ans(9,6,2) <= 1
 0 <= Ans(9,6,3) <= 1
 0 <= Ans(9,6,4) <= 1
 0 <= Ans(9,6,5) <= 1
 0 <= Ans(9,6,6) <= 1
 0 <= Ans(9,6,7) <= 1
 0 <= Ans(9,6,8) <= 1
 0 <= Ans(9,6,9) <= 1
 0 <= Ans(9,7,1) <= 1
 0 <= Ans(9,7,2) <= 1
 0 <= Ans(9,7,3) <= 1
 0 <= Ans(9,7,4) <= 1
 0 <= Ans(9,7,5) <= 1
 0 <= Ans(9,7,6) <= 1
 0 <= Ans(9,7,7) <= 1
 0 <= Ans(9,7,8) <= 1
 0 <= Ans(9,7,9) <= 1
 0 <= Ans(9,8,1) <= 1
 0 <= Ans(9,8,2) <= 1
 0 <= Ans(9,8,3) <= 1
 0 <= Ans(9,8,4) <= 1
 0 <= Ans(9,8,5) <= 1
 0 <= Ans(9,8,6) <= 1
 0 <= Ans(9,8,7) <= 1
 0 <= Ans(9,8,8) <= 1
 0 <= Ans(9,8,9) <= 1
 0 <= Ans(9,9,1) <= 1
 0 <= Ans(9,9,2) <= 1
 0 <= Ans(9,9,3) <= 1
 0 <= Ans(9,9,4) <= 1
 0 <= Ans(9,9,5) <= 1
 0 <= Ans(9,9,6) <= 1
 0 <= Ans(9,9,7) <= 1
 0 <= Ans(9,9,8) <= 1
 0 <= Ans(9,9,9) <= 1

Generals
 Ans(1,1,1)
 Ans(1,1,2)
 Ans(1,1,3)
 Ans(1,1,4)
 Ans(1,1,5)
 Ans(1,1,6)
 Ans(1,1,7)
 Ans(1,1,8)
 Ans(1,1,9)
 Ans(1,2,1)
 Ans(1,2,2)
 Ans(1,2,3)
 Ans(1,2,4)
 Ans(1,2,5)
 Ans(1,2,6)
 Ans(1,2,7)
 Ans(1,2,8)
 Ans(1,2,9)
 Ans(1,3,1)
 Ans(1,3,2)
 Ans(1,3,3)
 Ans(1,3,4)
 Ans(1,3,5)
 Ans(1,3,6)
 Ans(1,3,7)
 Ans(1,3,8)
 Ans(1,3,9)
 Ans(1,4,1)
 Ans(1,4,2)
 Ans(1,4,3)
 Ans(1,4,4)
 Ans(1,4,5)
 Ans(1,4,6)
 Ans(1,4,7)
 Ans(1,4,8)
 Ans(1,4,9)
 Ans(1,5,1)
 Ans(1,5,2)
 Ans(1,5,3)
 Ans(1,5,4)
 Ans(1,5,5)
 Ans(1,5,6)
 Ans(1,5,7)
 Ans(1,5,8)
 Ans(1,5,9)
 Ans(1,6,1)
 Ans(1,6,2)
 Ans(1,6,3)
 Ans(1,6,4)
 Ans(1,6,5)
 Ans(1,6,6)
 Ans(1,6,7)
 Ans(1,6,8)
 Ans(1,6,9)
 Ans(1,7,1)
 Ans(1,7,2)
 Ans(1,7,3)
 Ans(1,7,4)
 Ans(1,7,5)
 Ans(1,7,6)
 Ans(1,7,7)
 Ans(1,7,8)
 Ans(1,7,9)
 Ans(1,8,1)
 Ans(1,8,2)
 Ans(1,8,3)
 Ans(1,8,4)
 Ans(1,8,5)
 Ans(1,8,6)
 Ans(1,8,7)
 Ans(1,8,8)
 Ans(1,8,9)
 Ans(1,9,1)
 Ans(1,9,2)
 Ans(1,9,3)
 Ans(1,9,4)
 Ans(1,9,5)
 Ans(1,9,6)
 Ans(1,9,7)
 Ans(1,9,8)
 Ans(1,9,9)
 Ans(2,1,1)
 Ans(2,1,2)
 Ans(2,1,3)
 Ans(2,1,4)
 Ans(2,1,5)
 Ans(2,1,6)
 Ans(2,1,7)
 Ans(2,1,8)
 Ans(2,1,9)
 Ans(2,2,1)
 Ans(2,2,2)
 Ans(2,2,3)
 Ans(2,2,4)
 Ans(2,2,5)
 Ans(2,2,6)
 Ans(2,2,7)
 Ans(2,2,8)
 Ans(2,2,9)
 Ans(2,3,1)
 Ans(2,3,2)
 Ans(2,3,3)
 Ans(2,3,4)
 Ans(2,3,5)
 Ans(2,3,6)
 Ans(2,3,7)
 Ans(2,3,8)
 Ans(2,3,9)
 Ans(2,4,1)
 Ans(2,4,2)
 Ans(2,4,3)
 Ans(2,4,4)
 Ans(2,4,5)
 Ans(2,4,6)
 Ans(2,4,7)
 Ans(2,4,8)
 Ans(2,4,9)
 Ans(2,5,1)
 Ans(2,5,2)
 Ans(2,5,3)
 Ans(2,5,4)
 Ans(2,5,5)
 Ans(2,5,6)
 Ans(2,5,7)
 Ans(2,5,8)
 Ans(2,5,9)
 Ans(2,6,1)
 Ans(2,6,2)
 Ans(2,6,3)
 Ans(2,6,4)
 Ans(2,6,5)
 Ans(2,6,6)
 Ans(2,6,7)
 Ans(2,6,8)
 Ans(2,6,9)
 Ans(2,7,1)
 Ans(2,7,2)
 Ans(2,7,3)
 Ans(2,7,4)
 Ans(2,7,5)
 Ans(2,7,6)
 Ans(2,7,7)
 Ans(2,7,8)
 Ans(2,7,9)
 Ans(2,8,1)
 Ans(2,8,2)
 Ans(2,8,3)
 Ans(2,8,4)
 Ans(2,8,5)
 Ans(2,8,6)
 Ans(2,8,7)
 Ans(2,8,8)
 Ans(2,8,9)
 Ans(2,9,1)
 Ans(2,9,2)
 Ans(2,9,3)
 Ans(2,9,4)
 Ans(2,9,5)
 Ans(2,9,6)
 Ans(2,9,7)
 Ans(2,9,8)
 Ans(2,9,9)
 Ans(3,1,1)
 Ans(3,1,2)
 Ans(3,1,3)
 Ans(3,1,4)
 Ans(3,1,5)
 Ans(3,1,6)
 Ans(3,1,7)
 Ans(3,1,8)
 Ans(3,1,9)
 Ans(3,2,1)
 Ans(3,2,2)
 Ans(3,2,3)
 Ans(3,2,4)
 Ans(3,2,5)
 Ans(3,2,6)
 Ans(3,2,7)
 Ans(3,2,8)
 Ans(3,2,9)
 Ans(3,3,1)
 Ans(3,3,2)
 Ans(3,3,3)
 Ans(3,3,4)
 Ans(3,3,5)
 Ans(3,3,6)
 Ans(3,3,7)
 Ans(3,3,8)
 Ans(3,3,9)
 Ans(3,4,1)
 Ans(3,4,2)
 Ans(3,4,3)
 Ans(3,4,4)
 Ans(3,4,5)
 Ans(3,4,6)
 Ans(3,4,7)
 Ans(3,4,8)
 Ans(3,4,9)
 Ans(3,5,1)
 Ans(3,5,2)
 Ans(3,5,3)
 Ans(3,5,4)
 Ans(3,5,5)
 Ans(3,5,6)
 Ans(3,5,7)
 Ans(3,5,8)
 Ans(3,5,9)
 Ans(3,6,1)
 Ans(3,6,2)
 Ans(3,6,3)
 Ans(3,6,4)
 Ans(3,6,5)
 Ans(3,6,6)
 Ans(3,6,7)
 Ans(3,6,8)
 Ans(3,6,9)
 Ans(3,7,1)
 Ans(3,7,2)
 Ans(3,7,3)
 Ans(3,7,4)
 Ans(3,7,5)
 Ans(3,7,6)
 Ans(3,7,7)
 Ans(3,7,8)
 Ans(3,7,9)
 Ans(3,8,1)
 Ans(3,8,2)
 Ans(3,8,3)
 Ans(3,8,4)
 Ans(3,8,5)
 Ans(3,8,6)
 Ans(3,8,7)
 Ans(3,8,8)
 Ans(3,8,9)
 Ans(3,9,1)
 Ans(3,9,2)
 Ans(3,9,3)
 Ans(3,9,4)
 Ans(3,9,5)
 Ans(3,9,6)
 Ans(3,9,7)
 Ans(3,9,8)
 Ans(3,9,9)
 Ans(4,1,1)
 Ans(4,1,2)
 Ans(4,1,3)
 Ans(4,1,4)
 Ans(4,1,5)
 Ans(4,1,6)
 Ans(4,1,7)
 Ans(4,1,8)
 Ans(4,1,9)
 Ans(4,2,1)
 Ans(4,2,2)
 Ans(4,2,3)
 Ans(4,2,4)
 Ans(4,2,5)
 Ans(4,2,6)
 Ans(4,2,7)
 Ans(4,2,8)
 Ans(4,2,9)
 Ans(4,3,1)
 Ans(4,3,2)
 Ans(4,3,3)
 Ans(4,3,4)
 Ans(4,3,5)
 Ans(4,3,6)
 Ans(4,3,7)
 Ans(4,3,8)
 Ans(4,3,9)
 Ans(4,4,1)
 Ans(4,4,2)
 Ans(4,4,3)
 Ans(4,4,4)
 Ans(4,4,5)
 Ans(4,4,6)
 Ans(4,4,7)
 Ans(4,4,8)
 Ans(4,4,9)
 Ans(4,5,1)
 Ans(4,5,2)
 Ans(4,5,3)
 Ans(4,5,4)
 Ans(4,5,5)
 Ans(4,5,6)
 Ans(4,5,7)
 Ans(4,5,8)
 Ans(4,5,9)
 Ans(4,6,1)
 Ans(4,6,2)
 Ans(4,6,3)
 Ans(4,6,4)
 Ans(4,6,5)
 Ans(4,6,6)
 Ans(4,6,7)
 Ans(4,6,8)
 Ans(4,6,9)
 Ans(4,7,1)
 Ans(4,7,2)
 Ans(4,7,3)
 Ans(4,7,4)
 Ans(4,7,5)
 Ans(4,7,6)
 Ans(4,7,7)
 Ans(4,7,8)
 Ans(4,7,9)
 Ans(4,8,1)
 Ans(4,8,2)
 Ans(4,8,3)
 Ans(4,8,4)
 Ans(4,8,5)
 Ans(4,8,6)
 Ans(4,8,7)
 Ans(4,8,8)
 Ans(4,8,9)
 Ans(4,9,1)
 Ans(4,9,2)
 Ans(4,9,3)
 Ans(4,9,4)
 Ans(4,9,5)
 Ans(4,9,6)
 Ans(4,9,7)
 Ans(4,9,8)
 Ans(4,9,9)
 Ans(5,1,1)
 Ans(5,1,2)
 Ans(5,1,3)
 Ans(5,1,4)
 Ans(5,1,5)
 Ans(5,1,6)
 Ans(5,1,7)
 Ans(5,1,8)
 Ans(5,1,9)
 Ans(5,2,1)
 Ans(5,2,2)
 Ans(5,2,3)
 Ans(5,2,4)
 Ans(5,2,5)
 Ans(5,2,6)
 Ans(5,2,7)
 Ans(5,2,8)
 Ans(5,2,9)
 Ans(5,3,1)
 Ans(5,3,2)
 Ans(5,3,3)
 Ans(5,3,4)
 Ans(5,3,5)
 Ans(5,3,6)
 Ans(5,3,7)
 Ans(5,3,8)
 Ans(5,3,9)
 Ans(5,4,1)
 Ans(5,4,2)
 Ans(5,4,3)
 Ans(5,4,4)
 Ans(5,4,5)
 Ans(5,4,6)
 Ans(5,4,7)
 Ans(5,4,8)
 Ans(5,4,9)
 Ans(5,5,1)
 Ans(5,5,2)
 Ans(5,5,3)
 Ans(5,5,4)
 Ans(5,5,5)
 Ans(5,5,6)
 Ans(5,5,7)
 Ans(5,5,8)
 Ans(5,5,9)
 Ans(5,6,1)
 Ans(5,6,2)
 Ans(5,6,3)
 Ans(5,6,4)
 Ans(5,6,5)
 Ans(5,6,6)
 Ans(5,6,7)
 Ans(5,6,8)
 Ans(5,6,9)
 Ans(5,7,1)
 Ans(5,7,2)
 Ans(5,7,3)
 Ans(5,7,4)
 Ans(5,7,5)
 Ans(5,7,6)
 Ans(5,7,7)
 Ans(5,7,8)
 Ans(5,7,9)
 Ans(5,8,1)
 Ans(5,8,2)
 Ans(5,8,3)
 Ans(5,8,4)
 Ans(5,8,5)
 Ans(5,8,6)
 Ans(5,8,7)
 Ans(5,8,8)
 Ans(5,8,9)
 Ans(5,9,1)
 Ans(5,9,2)
 Ans(5,9,3)
 Ans(5,9,4)
 Ans(5,9,5)
 Ans(5,9,6)
 Ans(5,9,7)
 Ans(5,9,8)
 Ans(5,9,9)
 Ans(6,1,1)
 Ans(6,1,2)
 Ans(6,1,3)
 Ans(6,1,4)
 Ans(6,1,5)
 Ans(6,1,6)
 Ans(6,1,7)
 Ans(6,1,8)
 Ans(6,1,9)
 Ans(6,2,1)
 Ans(6,2,2)
 Ans(6,2,3)
 Ans(6,2,4)
 Ans(6,2,5)
 Ans(6,2,6)
 Ans(6,2,7)
 Ans(6,2,8)
 Ans(6,2,9)
 Ans(6,3,1)
 Ans(6,3,2)
 Ans(6,3,3)
 Ans(6,3,4)
 Ans(6,3,5)
 Ans(6,3,6)
 Ans(6,3,7)
 Ans(6,3,8)
 Ans(6,3,9)
 Ans(6,4,1)
 Ans(6,4,2)
 Ans(6,4,3)
 Ans(6,4,4)
 Ans(6,4,5)
 Ans(6,4,6)
 Ans(6,4,7)
 Ans(6,4,8)
 Ans(6,4,9)
 Ans(6,5,1)
 Ans(6,5,2)
 Ans(6,5,3)
 Ans(6,5,4)
 Ans(6,5,5)
 Ans(6,5,6)
 Ans(6,5,7)
 Ans(6,5,8)
 Ans(6,5,9)
 Ans(6,6,1)
 Ans(6,6,2)
 Ans(6,6,3)
 Ans(6,6,4)
 Ans(6,6,5)
 Ans(6,6,6)
 Ans(6,6,7)
 Ans(6,6,8)
 Ans(6,6,9)
 Ans(6,7,1)
 Ans(6,7,2)
 Ans(6,7,3)
 Ans(6,7,4)
 Ans(6,7,5)
 Ans(6,7,6)
 Ans(6,7,7)
 Ans(6,7,8)
 Ans(6,7,9)
 Ans(6,8,1)
 Ans(6,8,2)
 Ans(6,8,3)
 Ans(6,8,4)
 Ans(6,8,5)
 Ans(6,8,6)
 Ans(6,8,7)
 Ans(6,8,8)
 Ans(6,8,9)
 Ans(6,9,1)
 Ans(6,9,2)
 Ans(6,9,3)
 Ans(6,9,4)
 Ans(6,9,5)
 Ans(6,9,6)
 Ans(6,9,7)
 Ans(6,9,8)
 Ans(6,9,9)
 Ans(7,1,1)
 Ans(7,1,2)
 Ans(7,1,3)
 Ans(7,1,4)
 Ans(7,1,5)
 Ans(7,1,6)
 Ans(7,1,7)
 Ans(7,1,8)
 Ans(7,1,9)
 Ans(7,2,1)
 Ans(7,2,2)
 Ans(7,2,3)
 Ans(7,2,4)
 Ans(7,2,5)
 Ans(7,2,6)
 Ans(7,2,7)
 Ans(7,2,8)
 Ans(7,2,9)
 Ans(7,3,1)
 Ans(7,3,2)
 Ans(7,3,3)
 Ans(7,3,4)
 Ans(7,3,5)
 Ans(7,3,6)
 Ans(7,3,7)
 Ans(7,3,8)
 Ans(7,3,9)
 Ans(7,4,1)
 Ans(7,4,2)
 Ans(7,4,3)
 Ans(7,4,4)
 Ans(7,4,5)
 Ans(7,4,6)
 Ans(7,4,7)
 Ans(7,4,8)
 Ans(7,4,9)
 Ans(7,5,1)
 Ans(7,5,2)
 Ans(7,5,3)
 Ans(7,5,4)
 Ans(7,5,5)
 Ans(7,5,6)
 Ans(7,5,7)
 Ans(7,5,8)
 Ans(7,5,9)
 Ans(7,6,1)
 Ans(7,6,2)
 Ans(7,6,3)
 Ans(7,6,4)
 Ans(7,6,5)
 Ans(7,6,6)
 Ans(7,6,7)
 Ans(7,6,8)
 Ans(7,6,9)
 Ans(7,7,1)
 Ans(7,7,2)
 Ans(7,7,3)
 Ans(7,7,4)
 Ans(7,7,5)
 Ans(7,7,6)
 Ans(7,7,7)
 Ans(7,7,8)
 Ans(7,7,9)
 Ans(7,8,1)
 Ans(7,8,2)
 Ans(7,8,3)
 Ans(7,8,4)
 Ans(7,8,5)
 Ans(7,8,6)
 Ans(7,8,7)
 Ans(7,8,8)
 Ans(7,8,9)
 Ans(7,9,1)
 Ans(7,9,2)
 Ans(7,9,3)
 Ans(7,9,4)
 Ans(7,9,5)
 Ans(7,9,6)
 Ans(7,9,7)
 Ans(7,9,8)
 Ans(7,9,9)
 Ans(8,1,1)
 Ans(8,1,2)
 Ans(8,1,3)
 Ans(8,1,4)
 Ans(8,1,5)
 Ans(8,1,6)
 Ans(8,1,7)
 Ans(8,1,8)
 Ans(8,1,9)
 Ans(8,2,1)
 Ans(8,2,2)
 Ans(8,2,3)
 Ans(8,2,4)
 Ans(8,2,5)
 Ans(8,2,6)
 Ans(8,2,7)
 Ans(8,2,8)
 Ans(8,2,9)
 Ans(8,3,1)
 Ans(8,3,2)
 Ans(8,3,3)
 Ans(8,3,4)
 Ans(8,3,5)
 Ans(8,3,6)
 Ans(8,3,7)
 Ans(8,3,8)
 Ans(8,3,9)
 Ans(8,4,1)
 Ans(8,4,2)
 Ans(8,4,3)
 Ans(8,4,4)
 Ans(8,4,5)
 Ans(8,4,6)
 Ans(8,4,7)
 Ans(8,4,8)
 Ans(8,4,9)
 Ans(8,5,1)
 Ans(8,5,2)
 Ans(8,5,3)
 Ans(8,5,4)
 Ans(8,5,5)
 Ans(8,5,6)
 Ans(8,5,7)
 Ans(8,5,8)
 Ans(8,5,9)
 Ans(8,6,1)
 Ans(8,6,2)
 Ans(8,6,3)
 Ans(8,6,4)
 Ans(8,6,5)
 Ans(8,6,6)
 Ans(8,6,7)
 Ans(8,6,8)
 Ans(8,6,9)
 Ans(8,7,1)
 Ans(8,7,2)
 Ans(8,7,3)
 Ans(8,7,4)
 Ans(8,7,5)
 Ans(8,7,6)
 Ans(8,7,7)
 Ans(8,7,8)
 Ans(8,7,9)
 Ans(8,8,1)
 Ans(8,8,2)
 Ans(8,8,3)
 Ans(8,8,4)
 Ans(8,8,5)
 Ans(8,8,6)
 Ans(8,8,7)
 Ans(8,8,8)
 Ans(8,8,9)
 Ans(8,9,1)
 Ans(8,9,2)
 Ans(8,9,3)
 Ans(8,9,4)
 Ans(8,9,5)
 Ans(8,9,6)
 Ans(8,9,7)
 Ans(8,9,8)
 Ans(8,9,9)
 Ans(9,1,1)
 Ans(9,1,2)
 Ans(9,1,3)
 Ans(9,1,4)
 Ans(9,1,5)
 Ans(9,1,6)
 Ans(9,1,7)
 Ans(9,1,8)
 Ans(9,1,9)
 Ans(9,2,1)
 Ans(9,2,2)
 Ans(9,2,3)
 Ans(9,2,4)
 Ans(9,2,5)
 Ans(9,2,6)
 Ans(9,2,7)
 Ans(9,2,8)
 Ans(9,2,9)
 Ans(9,3,1)
 Ans(9,3,2)
 Ans(9,3,3)
 Ans(9,3,4)
 Ans(9,3,5)
 Ans(9,3,6)
 Ans(9,3,7)
 Ans(9,3,8)
 Ans(9,3,9)
 Ans(9,4,1)
 Ans(9,4,2)
 Ans(9,4,3)
 Ans(9,4,4)
 Ans(9,4,5)
 Ans(9,4,6)
 Ans(9,4,7)
 Ans(9,4,8)
 Ans(9,4,9)
 Ans(9,5,1)
 Ans(9,5,2)
 Ans(9,5,3)
 Ans(9,5,4)
 Ans(9,5,5)
 Ans(9,5,6)
 Ans(9,5,7)
 Ans(9,5,8)
 Ans(9,5,9)
 Ans(9,6,1)
 Ans(9,6,2)
 Ans(9,6,3)
 Ans(9,6,4)
 Ans(9,6,5)
 Ans(9,6,6)
 Ans(9,6,7)
 Ans(9,6,8)
 Ans(9,6,9)
 Ans(9,7,1)
 Ans(9,7,2)
 Ans(9,7,3)
 Ans(9,7,4)
 Ans(9,7,5)
 Ans(9,7,6)
 Ans(9,7,7)
 Ans(9,7,8)
 Ans(9,7,9)
 Ans(9,8,1)
 Ans(9,8,2)
 Ans(9,8,3)
 Ans(9,8,4)
 Ans(9,8,5)
 Ans(9,8,6)
 Ans(9,8,7)
 Ans(9,8,8)
 Ans(9,8,9)
 Ans(9,9,1)
 Ans(9,9,2)
 Ans(9,9,3)
 Ans(9,9,4)
 Ans(9,9,5)
 Ans(9,9,6)
 Ans(9,9,7)
 Ans(9,9,8)
 Ans(9,9,9)

End