% ######## % ### . # % # $@#. # % # $# ## % # * ## % ## # ## % ### ## % ######## % top(col3row2,col3row1). right(col3row1,col4row1). right(col4row1,col5row1). top(col5row2,col5row1). top(col5row3,col5row2). top(col5row4,col5row3). top(col5row5,col5row4). top(col5row6,col5row5). right(col4row6,col5row6). top(col3row6,col3row5). top(col3row5,col3row4). top(col3row4,col3row3). top(col3row3,col3row2). top(col2row3,col2row2). right(col2row2,col3row2). top(col1row3,col1row2). top(col1row4,col1row3). right(col1row4,col2row4). top(col2row4,col2row3). top(col2row5,col2row4). right(col2row5,col3row5). right(col2row4,col3row4). right(col1row3,col2row3). right(col1row2,col2row2). right(col2row3,col3row3). right(col3row4,col4row4). right(col4row4,col5row4). right(col3row6,col4row6). right(col5row2,col6row2). top(col6row2,col6row1). right(col5row1,col6row1). box(col3row4,0). box(col3row3,0). box(col2row2,0). solution(col4row1). solution(col5row2). solution(col3row4). sokoban(col3row2,0).