% File: n4

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

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