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

