% File: n3

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

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