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

