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

