% File: n6

col(1..10).
row(1..10).
num(1..10).

numbered(2,1,1).
numbered(6,1,9).
numbered(9,1,2).
numbered(7,2,1).
numbered(10,3,4).
numbered(1,3,2).
numbered(6,4,4).
numbered(1,5,2).
numbered(9,6,4).
numbered(2,8,2).
numbered(9,8,2).
numbered(5,9,3).
numbered(4,10,1).
numbered(7,10,2).
