% File: n8

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

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