%  ########
%  ##  ####
%  ## * . #
%  # $  # #
%  # # $  #
%  #@ .####
%  ########
% 
top(col2row5,col2row4).
top(col2row4,col2row3).
right(col2row3,col3row3).
top(col3row3,col3row2).
top(col3row2,col3row1).
right(col3row1,col4row1).
top(col4row2,col4row1).
top(col4row3,col4row2).
top(col4row4,col4row3).
top(col4row5,col4row4).
right(col3row5,col4row5).
right(col4row4,col5row4).
top(col5row4,col5row3).
top(col5row3,col5row2).
right(col5row2,col6row2).
right(col6row2,col7row2).
top(col7row3,col7row2).
top(col7row4,col7row3).
right(col6row4,col7row4).
right(col5row4,col6row4).
right(col4row3,col5row3).
right(col4row2,col5row2).
right(col3row2,col4row2).
right(col3row3,col4row3).
right(col2row5,col3row5).
box(col3row3,0).
box(col4row2,0).
box(col5row4,0).
solution(col4row2).
solution(col4row5).
solution(col6row2).
sokoban(col2row5,0).