start(0,0).
goal(6,6).
cell(0,0).
cell(0,1).
cell(0,2).
cell(0,3).
cell(0,4).
cell(0,5).
cell(0,6).
cell(1,4).
cell(1,6).
cell(2,0).
cell(2,1).
cell(2,2).
cell(2,3).
cell(2,4).
cell(2,6).
cell(3,4).
cell(4,0).
cell(4,2).
cell(4,3).
cell(4,4).
cell(4,5).
cell(4,6).
cell(5,0).
cell(5,2).
cell(5,5).
cell(6,0).
cell(6,1).
cell(6,2).
cell(6,3).
cell(6,4).
cell(6,5).
cell(6,6).