% File: n9

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

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