% File: n2

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

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