box(col3row2).
box(col4row2).
box(col5row2).
next(1,2).
next(10,11).
next(11,12).
next(12,13).
next(2,3).
next(3,4).
next(4,5).
next(5,6).
next(6,7).
next(7,8).
next(8,9).
next(9,10).
right(col2row2,col3row2).
right(col2row3,col3row3).
right(col2row5,col3row5).
right(col3row1,col4row1).
right(col3row2,col4row2).
right(col3row3,col4row3).
right(col3row5,col4row5).
right(col4row1,col5row1).
right(col4row2,col5row2).
right(col4row4,col5row4).
right(col4row5,col5row5).
right(col5row2,col6row2).
right(col5row4,col6row4).
sokoban(col3row1).
solution(col2row3).
solution(col4row2).
solution(col4row4).
step(1).
step(10).
step(11).
step(12).
step(13).
step(2).
step(3).
step(4).
step(5).
step(6).
step(7).
step(8).
step(9).
top(col2row3,col2row2).
top(col2row4,col2row3).
top(col2row5,col2row4).
top(col3row2,col3row1).
top(col3row3,col3row2).
top(col4row2,col4row1).
top(col4row3,col4row2).
top(col4row4,col4row3).
top(col4row5,col4row4).
top(col5row2,col5row1).
top(col5row5,col5row4).
top(col6row3,col6row2).
top(col6row4,col6row3).