(:trajectory

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_1f) (at_robot f0_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f0_0f f1_0f down))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_1f) (at_robot f1_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f1_0f f2_0f down))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_1f) (at_robot f2_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f2_0f f3_0f down))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_1f) (at_robot f3_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (push f3_0f f3_1f f3_2f right box0))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_2f) (at_robot f3_1f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (push f3_1f f3_2f f3_3f right box0))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_3f) (at_robot f3_2f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (push f3_2f f3_3f f3_4f right box0))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_4f) (at_robot f3_3f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f3_3f f2_3f up))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_4f) (at_robot f2_3f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f2_3f f2_4f right))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_4f) (at_robot f2_4f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f2_4f f2_3f left))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_4f) (at_robot f2_3f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (move f2_3f f2_4f right))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f3_4f) (at_robot f2_4f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f4_0f) (clear f4_1f) (clear f4_4f))

(:action (push f2_4f f3_4f f4_4f down box0))

(:state (adjacent f0_0f f0_1f right) (adjacent f0_0f f1_0f down) (adjacent f0_1f f0_0f left) (adjacent f0_1f f0_2f right) (adjacent f0_1f f1_1f down) (adjacent f0_2f f0_1f left) (adjacent f0_2f f0_3f right) (adjacent f0_2f f1_2f down) (adjacent f0_3f f0_2f left) (adjacent f0_3f f0_4f right) (adjacent f0_3f f1_3f down) (adjacent f0_4f f0_3f left) (adjacent f0_4f f1_4f down) (adjacent f1_0f f0_0f up) (adjacent f1_0f f1_1f right) (adjacent f1_0f f2_0f down) (adjacent f1_1f f0_1f up) (adjacent f1_1f f1_0f left) (adjacent f1_1f f1_2f right) (adjacent f1_1f f2_1f down) (adjacent f1_2f f0_2f up) (adjacent f1_2f f1_1f left) (adjacent f1_2f f1_3f right) (adjacent f1_2f f2_2f down) (adjacent f1_3f f0_3f up) (adjacent f1_3f f1_2f left) (adjacent f1_3f f1_4f right) (adjacent f1_3f f2_3f down) (adjacent f1_4f f0_4f up) (adjacent f1_4f f1_3f left) (adjacent f1_4f f2_4f down) (adjacent f2_0f f1_0f up) (adjacent f2_0f f2_1f right) (adjacent f2_0f f3_0f down) (adjacent f2_1f f1_1f up) (adjacent f2_1f f2_0f left) (adjacent f2_1f f2_2f right) (adjacent f2_1f f3_1f down) (adjacent f2_2f f1_2f up) (adjacent f2_2f f2_1f left) (adjacent f2_2f f2_3f right) (adjacent f2_2f f3_2f down) (adjacent f2_3f f1_3f up) (adjacent f2_3f f2_2f left) (adjacent f2_3f f2_4f right) (adjacent f2_3f f3_3f down) (adjacent f2_4f f1_4f up) (adjacent f2_4f f2_3f left) (adjacent f2_4f f3_4f down) (adjacent f3_0f f2_0f up) (adjacent f3_0f f3_1f right) (adjacent f3_0f f4_0f down) (adjacent f3_1f f2_1f up) (adjacent f3_1f f3_0f left) (adjacent f3_1f f3_2f right) (adjacent f3_1f f4_1f down) (adjacent f3_2f f2_2f up) (adjacent f3_2f f3_1f left) (adjacent f3_2f f3_3f right) (adjacent f3_2f f4_2f down) (adjacent f3_3f f2_3f up) (adjacent f3_3f f3_2f left) (adjacent f3_3f f3_4f right) (adjacent f3_3f f4_3f down) (adjacent f3_4f f2_4f up) (adjacent f3_4f f3_3f left) (adjacent f3_4f f4_4f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (at box0 f4_4f) (at_robot f3_4f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f2_0f) (clear f2_1f) (clear f2_3f) (clear f2_4f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_1f))

)