% File: n1

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

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