start(0,0).
goal(14,14).
cell(0,0).
cell(0,1).
cell(0,2).
cell(0,3).
cell(0,4).
cell(0,5).
cell(0,6).
cell(0,7).
cell(0,8).
cell(0,9).
cell(0,10).
cell(0,12).
cell(0,13).
cell(0,14).
cell(1,4).
cell(1,10).
cell(1,12).
cell(2,0).
cell(2,1).
cell(2,2).
cell(2,3).
cell(2,4).
cell(2,5).
cell(2,6).
cell(2,7).
cell(2,8).
cell(2,10).
cell(2,11).
cell(2,12).
cell(2,13).
cell(2,14).
cell(3,0).
cell(3,6).
cell(3,10).
cell(3,12).
cell(3,14).
cell(4,0).
cell(4,1).
cell(4,2).
cell(4,3).
cell(4,4).
cell(4,6).
cell(4,7).
cell(4,8).
cell(4,10).
cell(4,12).
cell(4,14).
cell(5,8).
cell(5,12).
cell(5,14).
cell(6,0).
cell(6,1).
cell(6,2).
cell(6,3).
cell(6,4).
cell(6,5).
cell(6,6).
cell(6,7).
cell(6,8).
cell(6,9).
cell(6,10).
cell(6,12).
cell(6,14).
cell(7,2).
cell(8,0).
cell(8,2).
cell(8,4).
cell(8,6).
cell(8,7).
cell(8,8).
cell(8,9).
cell(8,10).
cell(8,11).
cell(8,12).
cell(8,13).
cell(8,14).
cell(9,0).
cell(9,2).
cell(9,4).
cell(9,8).
cell(9,14).
cell(10,0).
cell(10,1).
cell(10,2).
cell(10,3).
cell(10,4).
cell(10,5).
cell(10,6).
cell(10,7).
cell(10,8).
cell(10,9).
cell(10,10).
cell(10,11).
cell(10,12).
cell(10,14).
cell(11,0).
cell(11,4).
cell(11,10).
cell(11,12).
cell(11,14).
cell(12,0).
cell(12,1).
cell(12,2).
cell(12,4).
cell(12,6).
cell(12,7).
cell(12,8).
cell(12,9).
cell(12,10).
cell(12,12).
cell(12,14).
cell(13,0).
cell(13,8).
cell(14,0).
cell(14,1).
cell(14,2).
cell(14,3).
cell(14,4).
cell(14,6).
cell(14,7).
cell(14,8).
cell(14,9).
cell(14,10).
cell(14,11).
cell(14,12).
cell(14,13).
cell(14,14).