% ########
% # ..####
% # $    #
% #  #$# #
% # @ .$ #
% ########
% ########
% ########
% 
top(col2row4,col2row3).
top(col2row3,col2row2).
top(col2row2,col2row1).
right(col2row1,col3row1).
top(col3row2,col3row1).
right(col3row2,col4row2).
top(col4row3,col4row2).
top(col4row4,col4row3).
right(col4row4,col5row4).
right(col5row4,col6row4).
top(col6row4,col6row3).
top(col6row3,col6row2).
right(col5row2,col6row2).
right(col3row4,col4row4).
right(col4row2,col5row2).
top(col1row2,col1row1).
top(col1row3,col1row2).
top(col1row4,col1row3).
right(col1row4,col2row4).
right(col1row3,col2row3).
right(col1row2,col2row2).
right(col1row1,col2row1).
right(col2row2,col3row2).
right(col2row4,col3row4).
box(col2row2,0).
box(col4row3,0).
box(col5row4,0).
solution(col2row1).
solution(col3row1).
solution(col4row4).
sokoban(col2row4,0).