%     #####
%     #   #
%     #$  #
%   ###  $##
%   #  $ $ #
% ### # ## #   ######
% #   # ## #####  ..#
% # $  $          ..#
% ##### ### #@##  ..#
%     #     #########
%     #######
% 
top(col11row8,col11row7).
right(col11row7,col12row7).
right(col12row7,col13row7).
right(col13row7,col14row7).
top(col14row7,col14row6).
right(col14row6,col15row6).
top(col15row7,col15row6).
top(col15row8,col15row7).
right(col15row8,col16row8).
top(col16row8,col16row7).
top(col16row7,col16row6).
right(col16row6,col17row6).
top(col17row7,col17row6).
top(col17row8,col17row7).
right(col16row7,col17row7).
right(col16row8,col17row8).
top(col14row8,col14row7).
right(col14row8,col15row8).
right(col15row7,col16row7).
right(col15row6,col16row6).
right(col14row7,col15row7).
right(col10row7,col11row7).
top(col9row8,col9row7).
top(col9row9,col9row8).
right(col8row9,col9row9).
right(col7row9,col8row9).
right(col6row9,col7row9).
top(col5row9,col5row8).
top(col5row8,col5row7).
top(col5row7,col5row6).
top(col5row6,col5row5).
top(col5row5,col5row4).
top(col5row4,col5row3).
top(col5row3,col5row2).
top(col5row2,col5row1).
right(col5row1,col6row1).
top(col6row2,col6row1).
top(col6row3,col6row2).
top(col6row4,col6row3).
right(col6row4,col7row4).
top(col7row4,col7row3).
top(col7row3,col7row2).
top(col7row2,col7row1).
right(col7row4,col8row4).
top(col8row5,col8row4).
top(col8row6,col8row5).
top(col8row7,col8row6).
right(col8row7,col9row7).
right(col7row7,col8row7).
right(col6row7,col7row7).
right(col6row3,col7row3).
right(col6row2,col7row2).
right(col6row1,col7row1).
right(col5row2,col6row2).
right(col5row3,col6row3).
right(col5row4,col6row4).
right(col4row4,col5row4).
top(col3row5,col3row4).
top(col3row6,col3row5).
top(col3row7,col3row6).
right(col3row7,col4row7).
right(col4row7,col5row7).
top(col2row7,col2row6).
right(col2row6,col3row6).
top(col1row7,col1row6).
right(col1row7,col2row7).
right(col1row6,col2row6).
right(col2row7,col3row7).
right(col3row4,col4row4).
right(col5row7,col6row7).
right(col5row9,col6row9).
right(col9row7,col10row7).
box(col5row7,0).
box(col5row4,0).
box(col5row2,0).
box(col7row4,0).
box(col7row3,0).
box(col2row7,0).
solution(col16row8).
solution(col16row7).
solution(col16row6).
solution(col17row6).
solution(col17row7).
solution(col17row8).
sokoban(col11row8,0).