/* A Sudoku puzzle */
n(2,1,2).
n(4,1,6).
n(6,1,1).
n(8,1,8).
n(1,2,8).
n(4,2,4).
n(6,2,3).
n(9,2,6).
n(2,3,7).
n(5,3,9).
n(8,3,5).
n(3,4,4).
n(7,4,1).
n(1,5,9).
n(2,5,3).
n(8,5,7).
n(9,5,4).
n(3,6,7).
n(7,6,5).
n(2,7,4).
n(5,7,8).
n(8,7,1).
n(1,8,3).
n(4,8,1).
n(6,8,7).
n(9,8,9).
n(2,9,8).
n(4,9,5).
n(6,9,9).
n(8,9,4).

