(: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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f3_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f3_0f f4_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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f4_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f4_0f f3_0f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f3_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f3_0f f3_1f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f3_1f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f3_1f f3_0f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f3_0f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f3_0f f3_1f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f3_1f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f3_1f f3_2f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_3f) (at_robot f3_2f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(: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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_4f) (at_robot f3_3f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (push f3_3f f3_4f f3_5f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_5f) (at_robot f3_4f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f3_4f f2_4f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_5f) (at_robot f2_4f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (move f2_4f f2_5f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f3_5f) (at_robot f2_5f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (push f2_5f f3_5f f4_5f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f4_5f) (at_robot f3_5f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f5_0f) (clear f5_2f) (clear f5_3f) (clear f5_5f))

(:action (push f3_5f f4_5f f5_5f 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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f1_5f 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 f1_5f right) (adjacent f1_4f f2_4f down) (adjacent f1_5f f0_5f up) (adjacent f1_5f f1_4f left) (adjacent f1_5f f2_5f 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 f2_5f right) (adjacent f2_4f f3_4f down) (adjacent f2_5f f1_5f up) (adjacent f2_5f f2_4f left) (adjacent f2_5f f3_5f 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 f3_5f right) (adjacent f3_4f f4_4f down) (adjacent f3_5f f2_5f up) (adjacent f3_5f f3_4f left) (adjacent f3_5f f4_5f down) (adjacent f4_0f f3_0f up) (adjacent f4_0f f4_1f right) (adjacent f4_0f f5_0f down) (adjacent f4_1f f3_1f up) (adjacent f4_1f f4_0f left) (adjacent f4_1f f4_2f right) (adjacent f4_1f f5_1f down) (adjacent f4_2f f3_2f up) (adjacent f4_2f f4_1f left) (adjacent f4_2f f4_3f right) (adjacent f4_2f f5_2f down) (adjacent f4_3f f3_3f up) (adjacent f4_3f f4_2f left) (adjacent f4_3f f4_4f right) (adjacent f4_3f f5_3f down) (adjacent f4_4f f3_4f up) (adjacent f4_4f f4_3f left) (adjacent f4_4f f4_5f right) (adjacent f4_4f f5_4f down) (adjacent f4_5f f3_5f up) (adjacent f4_5f f4_4f left) (adjacent f4_5f f5_5f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (at box0 f5_5f) (at_robot f4_5f) (clear f0_0f) (clear f0_3f) (clear f0_4f) (clear f0_5f) (clear f1_0f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_4f) (clear f2_5f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f4_0f) (clear f4_3f) (clear f4_4f) (clear f4_5f) (clear f5_0f) (clear f5_2f) (clear f5_3f))

)