(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_3f) (at_robot f2_0f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(: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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_3f) (at_robot f3_0f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_3f) (at_robot f3_1f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_3f) (at_robot f3_2f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

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

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_4f) (at_robot f3_3f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (push f3_3f f3_4f f3_5f right box1))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_5f) (at_robot f3_4f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (push f3_4f f3_5f f3_6f right box1))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_6f) (at_robot f3_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (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_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (move f3_5f f4_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_6f) (at_robot f4_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (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_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (move f4_5f f3_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_6f) (at_robot f3_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (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_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (move f3_5f f2_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_6f) (at_robot f2_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (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_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (move f2_5f f2_6f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f3_6f) (at_robot f2_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (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_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (push f2_6f f3_6f f4_6f down box1))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f4_6f) (at_robot f3_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (move f3_6f f2_6f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f4_6f) (at_robot f2_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (move f2_6f f3_6f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f4_6f) (at_robot f3_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f5_0f) (clear f5_6f) (clear f6_0f) (clear f6_6f))

(:action (push f3_6f f4_6f f5_6f down box1))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f5_6f) (at_robot f4_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f6_0f) (clear f6_6f))

(:action (push f4_6f f5_6f f6_6f down box1))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f5_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f5_6f f4_6f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f4_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f4_6f f4_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f4_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f4_5f f3_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f3_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f3_5f f2_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f2_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f2_5f f1_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_5f f1_6f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_6f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_6f f1_5f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_5f f1_4f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_4f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_4f f1_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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_5f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_5f f1_4f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_4f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_4f f1_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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_3f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (push f1_3f f1_2f f1_1f left 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f1_2f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_2f f2_2f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f2_2f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f2_2f f3_2f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f3_2f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f3_2f f3_1f 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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f3_1f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(: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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f3_0f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f3_0f f2_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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f2_0f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f2_0f f1_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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_1f) (at box1 f6_6f) (at_robot f1_0f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_2f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (push f1_0f f1_1f f1_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 f0_5f right) (adjacent f0_4f f1_4f down) (adjacent f0_5f f0_4f left) (adjacent f0_5f f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_1f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

(:action (move f1_1f f1_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 f0_6f right) (adjacent f0_5f f1_5f down) (adjacent f0_6f f0_5f left) (adjacent f0_6f f1_6f 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 f1_6f right) (adjacent f1_5f f2_5f down) (adjacent f1_6f f0_6f up) (adjacent f1_6f f1_5f left) (adjacent f1_6f f2_6f 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 f2_6f right) (adjacent f2_5f f3_5f down) (adjacent f2_6f f1_6f up) (adjacent f2_6f f2_5f left) (adjacent f2_6f f3_6f 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 f3_6f right) (adjacent f3_5f f4_5f down) (adjacent f3_6f f2_6f up) (adjacent f3_6f f3_5f left) (adjacent f3_6f f4_6f 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 f4_6f right) (adjacent f4_5f f5_5f down) (adjacent f4_6f f3_6f up) (adjacent f4_6f f4_5f left) (adjacent f4_6f f5_6f down) (adjacent f5_0f f4_0f up) (adjacent f5_0f f5_1f right) (adjacent f5_0f f6_0f down) (adjacent f5_1f f4_1f up) (adjacent f5_1f f5_0f left) (adjacent f5_1f f5_2f right) (adjacent f5_1f f6_1f down) (adjacent f5_2f f4_2f up) (adjacent f5_2f f5_1f left) (adjacent f5_2f f5_3f right) (adjacent f5_2f f6_2f down) (adjacent f5_3f f4_3f up) (adjacent f5_3f f5_2f left) (adjacent f5_3f f5_4f right) (adjacent f5_3f f6_3f down) (adjacent f5_4f f4_4f up) (adjacent f5_4f f5_3f left) (adjacent f5_4f f5_5f right) (adjacent f5_4f f6_4f down) (adjacent f5_5f f4_5f up) (adjacent f5_5f f5_4f left) (adjacent f5_5f f5_6f right) (adjacent f5_5f f6_5f down) (adjacent f5_6f f4_6f up) (adjacent f5_6f f5_5f left) (adjacent f5_6f f6_6f down) (adjacent f6_0f f5_0f up) (adjacent f6_0f f6_1f right) (adjacent f6_1f f5_1f up) (adjacent f6_1f f6_0f left) (adjacent f6_1f f6_2f right) (adjacent f6_2f f5_2f up) (adjacent f6_2f f6_1f left) (adjacent f6_2f f6_3f right) (adjacent f6_3f f5_3f up) (adjacent f6_3f f6_2f left) (adjacent f6_3f f6_4f right) (adjacent f6_4f f5_4f up) (adjacent f6_4f f6_3f left) (adjacent f6_4f f6_5f right) (adjacent f6_5f f5_5f up) (adjacent f6_5f f6_4f left) (adjacent f6_5f f6_6f right) (adjacent f6_6f f5_6f up) (adjacent f6_6f f6_5f left) (at box0 f1_2f) (at box1 f6_6f) (at_robot f1_0f) (clear f0_0f) (clear f0_2f) (clear f0_5f) (clear f0_6f) (clear f1_0f) (clear f1_1f) (clear f1_3f) (clear f1_4f) (clear f1_5f) (clear f1_6f) (clear f2_0f) (clear f2_2f) (clear f2_3f) (clear f2_5f) (clear f2_6f) (clear f3_0f) (clear f3_1f) (clear f3_2f) (clear f3_3f) (clear f3_4f) (clear f3_5f) (clear f3_6f) (clear f4_0f) (clear f4_3f) (clear f4_5f) (clear f4_6f) (clear f5_0f) (clear f5_6f) (clear f6_0f))

)