% File: n10

col(1..15).
row(1..15).
num(1..15).

numbered(4,1,2).
numbered(7,1,1).
numbered(8,2,1).
numbered(11,2,3).
numbered(7,3,2).
numbered(13,3,3).
numbered(4,4,7).
numbered(6,5,1).
numbered(10,5,8).
numbered(12,5,2).
numbered(3,6,4).
numbered(14,6,9).
numbered(5,7,1).
numbered(2,8,5).
numbered(4,8,1).
numbered(5,9,3).
numbered(9,9,4).
numbered(11,9,4).
numbered(13,9,1).
numbered(7,10,1).
numbered(15,10,1).
numbered(12,11,4).
numbered(14,11,1).
numbered(5,12,2).
numbered(4,14,9).
numbered(8,14,6).
numbered(10,15,9).
numbered(14,15,6).
