#program base_2.

init_above(2,1).
goal_below(2,1).

#program base_3.

init_above(3,2).
goal_below(3,1).

#program base_4.

init_above(4,2).
init_below(4,3).
goal_above(4,3).
goal_below(4,1).

#program base_5.

init_above(5,1).
init_below(5,3).
goal_above(5,2).

#program base_6.

init_above(6,1).
goal_below(6,3).
