% File: n7

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

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