top(c2r5,c2r4).
top(c2r6,c2r5).
top(c3r3,c3r2).
top(c3r4,c3r3).
top(c3r5,c3r4).
top(c3r6,c3r5).
top(c5r5,c5r4).
top(c5r6,c5r5).
top(c6r3,c6r2).
top(c6r4,c6r3).
top(c6r5,c6r4).
top(c7r4,c7r3).
top(c7r5,c7r4).

right(c3r2,c4r2).
right(c4r2,c5r2).
right(c5r2,c6r2).
right(c6r3,c7r3).
right(c2r4,c3r4).
right(c3r4,c4r4).
right(c4r4,c5r4).
right(c5r4,c6r4).
right(c6r4,c7r4).
right(c2r5,c3r5).
right(c5r5,c6r5).
right(c6r5,c7r5).
right(c2r6,c3r6).
right(c3r6,c4r6).
right(c4r6,c5r6).

box(c6r3).
box(c5r4).
box(c5r5).

storage(c3r3).
storage(c3r4).
storage(c4r4).
sokoban(c4r6).