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