% ########
% ########
% ########
% # .  ###
% # .# ###
% # @$$  #
% # $.   #
% ########
% 
top(col2row5,col2row4).
top(col2row4,col2row3).
right(col2row3,col3row3).
right(col3row3,col4row3).
top(col4row4,col4row3).
top(col4row5,col4row4).
top(col4row6,col4row5).
right(col4row6,col5row6).
top(col5row6,col5row5).
right(col5row5,col6row5).
top(col6row6,col6row5).
right(col5row6,col6row6).
top(col3row6,col3row5).
right(col3row5,col4row5).
right(col3row6,col4row6).
top(col2row6,col2row5).
right(col2row6,col3row6).
top(col1row6,col1row5).
top(col1row5,col1row4).
top(col1row4,col1row3).
right(col1row3,col2row3).
right(col1row4,col2row4).
right(col1row5,col2row5).
right(col1row6,col2row6).
right(col4row5,col5row5).
right(col2row5,col3row5).
box(col4row5,0).
box(col3row5,0).
box(col2row6,0).
solution(col2row4).
solution(col2row3).
solution(col3row6).
sokoban(col2row5,0).