% File: n5

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

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