start(0,0).
goal(24,24).
cell(0,0).
cell(0,1).
cell(0,2).
cell(0,3).
cell(0,4).
cell(0,6).
cell(0,8).
cell(0,9).
cell(0,10).
cell(0,11).
cell(0,12).
cell(0,13).
cell(0,14).
cell(0,15).
cell(0,16).
cell(0,17).
cell(0,18).
cell(0,19).
cell(0,20).
cell(0,22).
cell(0,23).
cell(0,24).
cell(1,2).
cell(1,6).
cell(1,8).
cell(1,20).
cell(1,24).
cell(2,0).
cell(2,1).
cell(2,2).
cell(2,4).
cell(2,6).
cell(2,8).
cell(2,10).
cell(2,12).
cell(2,14).
cell(2,15).
cell(2,16).
cell(2,17).
cell(2,18).
cell(2,19).
cell(2,20).
cell(2,22).
cell(2,24).
cell(3,0).
cell(3,2).
cell(3,4).
cell(3,6).
cell(3,8).
cell(3,10).
cell(3,12).
cell(3,20).
cell(3,22).
cell(3,24).
cell(4,0).
cell(4,2).
cell(4,4).
cell(4,6).
cell(4,8).
cell(4,10).
cell(4,11).
cell(4,12).
cell(4,13).
cell(4,14).
cell(4,16).
cell(4,17).
cell(4,18).
cell(4,19).
cell(4,20).
cell(4,21).
cell(4,22).
cell(4,24).
cell(5,0).
cell(5,4).
cell(5,6).
cell(5,8).
cell(5,10).
cell(5,14).
cell(5,16).
cell(5,22).
cell(5,24).
cell(6,0).
cell(6,1).
cell(6,2).
cell(6,4).
cell(6,5).
cell(6,6).
cell(6,8).
cell(6,10).
cell(6,11).
cell(6,12).
cell(6,14).
cell(6,15).
cell(6,16).
cell(6,17).
cell(6,18).
cell(6,19).
cell(6,20).
cell(6,22).
cell(6,23).
cell(6,24).
cell(7,0).
cell(7,2).
cell(7,4).
cell(7,6).
cell(7,8).
cell(7,14).
cell(8,0).
cell(8,2).
cell(8,3).
cell(8,4).
cell(8,6).
cell(8,8).
cell(8,10).
cell(8,11).
cell(8,12).
cell(8,13).
cell(8,14).
cell(8,15).
cell(8,16).
cell(8,17).
cell(8,18).
cell(8,19).
cell(8,20).
cell(8,22).
cell(8,23).
cell(8,24).
cell(9,0).
cell(9,8).
cell(9,10).
cell(9,22).
cell(9,24).
cell(10,0).
cell(10,2).
cell(10,4).
cell(10,6).
cell(10,8).
cell(10,10).
cell(10,11).
cell(10,12).
cell(10,14).
cell(10,16).
cell(10,18).
cell(10,20).
cell(10,22).
cell(10,24).
cell(11,0).
cell(11,2).
cell(11,4).
cell(11,6).
cell(11,8).
cell(11,10).
cell(11,12).
cell(11,14).
cell(11,16).
cell(11,18).
cell(11,20).
cell(11,22).
cell(11,24).
cell(12,0).
cell(12,2).
cell(12,3).
cell(12,4).
cell(12,6).
cell(12,8).
cell(12,10).
cell(12,12).
cell(12,14).
cell(12,16).
cell(12,18).
cell(12,19).
cell(12,20).
cell(12,22).
cell(12,24).
cell(13,0).
cell(13,4).
cell(13,6).
cell(13,8).
cell(13,12).
cell(13,14).
cell(13,16).
cell(13,20).
cell(13,22).
cell(13,24).
cell(14,0).
cell(14,1).
cell(14,2).
cell(14,3).
cell(14,4).
cell(14,5).
cell(14,6).
cell(14,8).
cell(14,10).
cell(14,12).
cell(14,13).
cell(14,14).
cell(14,16).
cell(14,17).
cell(14,18).
cell(14,19).
cell(14,20).
cell(14,21).
cell(14,22).
cell(14,24).
cell(15,0).
cell(15,2).
cell(15,4).
cell(15,6).
cell(15,8).
cell(15,10).
cell(15,12).
cell(15,14).
cell(15,16).
cell(15,22).
cell(15,24).
cell(16,0).
cell(16,2).
cell(16,4).
cell(16,6).
cell(16,7).
cell(16,8).
cell(16,10).
cell(16,11).
cell(16,12).
cell(16,14).
cell(16,15).
cell(16,16).
cell(16,17).
cell(16,18).
cell(16,19).
cell(16,20).
cell(16,22).
cell(16,24).
cell(17,0).
cell(17,6).
cell(17,8).
cell(17,12).
cell(17,16).
cell(17,20).
cell(17,22).
cell(17,24).
cell(18,0).
cell(18,2).
cell(18,3).
cell(18,4).
cell(18,5).
cell(18,6).
cell(18,8).
cell(18,10).
cell(18,11).
cell(18,12).
cell(18,13).
cell(18,14).
cell(18,16).
cell(18,17).
cell(18,18).
cell(18,20).
cell(18,22).
cell(18,24).
cell(19,6).
cell(19,10).
cell(19,24).
cell(20,0).
cell(20,1).
cell(20,2).
cell(20,4).
cell(20,5).
cell(20,6).
cell(20,7).
cell(20,8).
cell(20,10).
cell(20,11).
cell(20,12).
cell(20,14).
cell(20,15).
cell(20,16).
cell(20,17).
cell(20,18).
cell(20,19).
cell(20,20).
cell(20,21).
cell(20,22).
cell(20,24).
cell(21,0).
cell(21,8).
cell(21,10).
cell(21,20).
cell(21,24).
cell(22,0).
cell(22,1).
cell(22,2).
cell(22,3).
cell(22,4).
cell(22,5).
cell(22,6).
cell(22,7).
cell(22,8).
cell(22,10).
cell(22,11).
cell(22,12).
cell(22,13).
cell(22,14).
cell(22,15).
cell(22,16).
cell(22,17).
cell(22,18).
cell(22,19).
cell(22,20).
cell(22,21).
cell(22,22).
cell(22,24).
cell(23,16).
cell(24,0).
cell(24,1).
cell(24,2).
cell(24,3).
cell(24,4).
cell(24,5).
cell(24,6).
cell(24,7).
cell(24,8).
cell(24,9).
cell(24,10).
cell(24,11).
cell(24,12).
cell(24,13).
cell(24,14).
cell(24,15).
cell(24,16).
cell(24,17).
cell(24,18).
cell(24,19).
cell(24,20).
cell(24,21).
cell(24,22).
cell(24,23).
cell(24,24).