(:trajectory

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_4) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_5) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_5) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_6) (robot_has robot1 white) (robot_has robot2 black) (robot_has robot3 white) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (change_color robot2 black black))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_4) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_5) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_5) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_6) (robot_has robot1 white) (robot_has robot2 black) (robot_has robot3 white) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (change_color robot2 black white))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_4) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_5) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_5) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_6) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 white) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (paint_up robot1 tile_2_4 tile_1_4 white))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_5) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_5) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_6) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 white) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (move_left robot3 tile_3_6 tile_3_5))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_6) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_5) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_5) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 white) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (change_color robot3 white black))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_6) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_5) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_5) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 black) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (paint_up robot3 tile_4_5 tile_3_5 black))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_4) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_6) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (painted tile_4_5 black) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_1_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_5) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 black) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (move_down robot1 tile_1_4 tile_0_4))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_3) (clear tile_1_4) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_6) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (painted tile_4_5 black) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_0_4) (robot_at robot2 tile_1_2) (robot_at robot3 tile_3_5) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 black) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (move_left robot2 tile_1_2 tile_1_1))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_2) (clear tile_1_3) (clear tile_1_4) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_1) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_6) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (painted tile_4_5 black) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_0_4) (robot_at robot2 tile_1_1) (robot_at robot3 tile_3_5) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 black) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

(:action (move_up robot2 tile_1_1 tile_2_1))

(:state (available_color black) (available_color white) (clear tile_0_1) (clear tile_0_2) (clear tile_0_3) (clear tile_0_5) (clear tile_0_6) (clear tile_0_7) (clear tile_1_1) (clear tile_1_2) (clear tile_1_3) (clear tile_1_4) (clear tile_1_5) (clear tile_1_6) (clear tile_1_7) (clear tile_2_2) (clear tile_2_3) (clear tile_2_5) (clear tile_2_6) (clear tile_2_7) (clear tile_3_1) (clear tile_3_2) (clear tile_3_3) (clear tile_3_4) (clear tile_3_6) (clear tile_3_7) (clear tile_4_1) (clear tile_4_2) (clear tile_4_3) (clear tile_4_4) (clear tile_4_6) (clear tile_4_7) (clear tile_5_1) (clear tile_5_2) (clear tile_5_3) (clear tile_5_4) (clear tile_5_5) (clear tile_5_6) (clear tile_5_7) (clear tile_6_1) (clear tile_6_2) (clear tile_6_3) (clear tile_6_4) (clear tile_6_5) (clear tile_6_6) (clear tile_6_7) (clear tile_7_1) (clear tile_7_2) (clear tile_7_3) (clear tile_7_4) (clear tile_7_5) (clear tile_7_6) (clear tile_7_7) (clear tile_8_1) (clear tile_8_2) (clear tile_8_3) (clear tile_8_4) (clear tile_8_5) (clear tile_8_6) (clear tile_8_7) (down tile_0_1 tile_1_1) (down tile_0_2 tile_1_2) (down tile_0_3 tile_1_3) (down tile_0_4 tile_1_4) (down tile_0_5 tile_1_5) (down tile_0_6 tile_1_6) (down tile_0_7 tile_1_7) (down tile_1_1 tile_2_1) (down tile_1_2 tile_2_2) (down tile_1_3 tile_2_3) (down tile_1_4 tile_2_4) (down tile_1_5 tile_2_5) (down tile_1_6 tile_2_6) (down tile_1_7 tile_2_7) (down tile_2_1 tile_3_1) (down tile_2_2 tile_3_2) (down tile_2_3 tile_3_3) (down tile_2_4 tile_3_4) (down tile_2_5 tile_3_5) (down tile_2_6 tile_3_6) (down tile_2_7 tile_3_7) (down tile_3_1 tile_4_1) (down tile_3_2 tile_4_2) (down tile_3_3 tile_4_3) (down tile_3_4 tile_4_4) (down tile_3_5 tile_4_5) (down tile_3_6 tile_4_6) (down tile_3_7 tile_4_7) (down tile_4_1 tile_5_1) (down tile_4_2 tile_5_2) (down tile_4_3 tile_5_3) (down tile_4_4 tile_5_4) (down tile_4_5 tile_5_5) (down tile_4_6 tile_5_6) (down tile_4_7 tile_5_7) (down tile_5_1 tile_6_1) (down tile_5_2 tile_6_2) (down tile_5_3 tile_6_3) (down tile_5_4 tile_6_4) (down tile_5_5 tile_6_5) (down tile_5_6 tile_6_6) (down tile_5_7 tile_6_7) (down tile_6_1 tile_7_1) (down tile_6_2 tile_7_2) (down tile_6_3 tile_7_3) (down tile_6_4 tile_7_4) (down tile_6_5 tile_7_5) (down tile_6_6 tile_7_6) (down tile_6_7 tile_7_7) (down tile_7_1 tile_8_1) (down tile_7_2 tile_8_2) (down tile_7_3 tile_8_3) (down tile_7_4 tile_8_4) (down tile_7_5 tile_8_5) (down tile_7_6 tile_8_6) (down tile_7_7 tile_8_7) (left tile_0_1 tile_0_2) (left tile_0_2 tile_0_3) (left tile_0_3 tile_0_4) (left tile_0_4 tile_0_5) (left tile_0_5 tile_0_6) (left tile_0_6 tile_0_7) (left tile_1_1 tile_1_2) (left tile_1_2 tile_1_3) (left tile_1_3 tile_1_4) (left tile_1_4 tile_1_5) (left tile_1_5 tile_1_6) (left tile_1_6 tile_1_7) (left tile_2_1 tile_2_2) (left tile_2_2 tile_2_3) (left tile_2_3 tile_2_4) (left tile_2_4 tile_2_5) (left tile_2_5 tile_2_6) (left tile_2_6 tile_2_7) (left tile_3_1 tile_3_2) (left tile_3_2 tile_3_3) (left tile_3_3 tile_3_4) (left tile_3_4 tile_3_5) (left tile_3_5 tile_3_6) (left tile_3_6 tile_3_7) (left tile_4_1 tile_4_2) (left tile_4_2 tile_4_3) (left tile_4_3 tile_4_4) (left tile_4_4 tile_4_5) (left tile_4_5 tile_4_6) (left tile_4_6 tile_4_7) (left tile_5_1 tile_5_2) (left tile_5_2 tile_5_3) (left tile_5_3 tile_5_4) (left tile_5_4 tile_5_5) (left tile_5_5 tile_5_6) (left tile_5_6 tile_5_7) (left tile_6_1 tile_6_2) (left tile_6_2 tile_6_3) (left tile_6_3 tile_6_4) (left tile_6_4 tile_6_5) (left tile_6_5 tile_6_6) (left tile_6_6 tile_6_7) (left tile_7_1 tile_7_2) (left tile_7_2 tile_7_3) (left tile_7_3 tile_7_4) (left tile_7_4 tile_7_5) (left tile_7_5 tile_7_6) (left tile_7_6 tile_7_7) (left tile_8_1 tile_8_2) (left tile_8_2 tile_8_3) (left tile_8_3 tile_8_4) (left tile_8_4 tile_8_5) (left tile_8_5 tile_8_6) (left tile_8_6 tile_8_7) (painted tile_2_4 white) (painted tile_4_5 black) (right tile_0_2 tile_0_1) (right tile_0_3 tile_0_2) (right tile_0_4 tile_0_3) (right tile_0_5 tile_0_4) (right tile_0_6 tile_0_5) (right tile_0_7 tile_0_6) (right tile_1_2 tile_1_1) (right tile_1_3 tile_1_2) (right tile_1_4 tile_1_3) (right tile_1_5 tile_1_4) (right tile_1_6 tile_1_5) (right tile_1_7 tile_1_6) (right tile_2_2 tile_2_1) (right tile_2_3 tile_2_2) (right tile_2_4 tile_2_3) (right tile_2_5 tile_2_4) (right tile_2_6 tile_2_5) (right tile_2_7 tile_2_6) (right tile_3_2 tile_3_1) (right tile_3_3 tile_3_2) (right tile_3_4 tile_3_3) (right tile_3_5 tile_3_4) (right tile_3_6 tile_3_5) (right tile_3_7 tile_3_6) (right tile_4_2 tile_4_1) (right tile_4_3 tile_4_2) (right tile_4_4 tile_4_3) (right tile_4_5 tile_4_4) (right tile_4_6 tile_4_5) (right tile_4_7 tile_4_6) (right tile_5_2 tile_5_1) (right tile_5_3 tile_5_2) (right tile_5_4 tile_5_3) (right tile_5_5 tile_5_4) (right tile_5_6 tile_5_5) (right tile_5_7 tile_5_6) (right tile_6_2 tile_6_1) (right tile_6_3 tile_6_2) (right tile_6_4 tile_6_3) (right tile_6_5 tile_6_4) (right tile_6_6 tile_6_5) (right tile_6_7 tile_6_6) (right tile_7_2 tile_7_1) (right tile_7_3 tile_7_2) (right tile_7_4 tile_7_3) (right tile_7_5 tile_7_4) (right tile_7_6 tile_7_5) (right tile_7_7 tile_7_6) (right tile_8_2 tile_8_1) (right tile_8_3 tile_8_2) (right tile_8_4 tile_8_3) (right tile_8_5 tile_8_4) (right tile_8_6 tile_8_5) (right tile_8_7 tile_8_6) (robot_at robot1 tile_0_4) (robot_at robot2 tile_2_1) (robot_at robot3 tile_3_5) (robot_has robot1 white) (robot_has robot2 white) (robot_has robot3 black) (up tile_1_1 tile_0_1) (up tile_1_2 tile_0_2) (up tile_1_3 tile_0_3) (up tile_1_4 tile_0_4) (up tile_1_5 tile_0_5) (up tile_1_6 tile_0_6) (up tile_1_7 tile_0_7) (up tile_2_1 tile_1_1) (up tile_2_2 tile_1_2) (up tile_2_3 tile_1_3) (up tile_2_4 tile_1_4) (up tile_2_5 tile_1_5) (up tile_2_6 tile_1_6) (up tile_2_7 tile_1_7) (up tile_3_1 tile_2_1) (up tile_3_2 tile_2_2) (up tile_3_3 tile_2_3) (up tile_3_4 tile_2_4) (up tile_3_5 tile_2_5) (up tile_3_6 tile_2_6) (up tile_3_7 tile_2_7) (up tile_4_1 tile_3_1) (up tile_4_2 tile_3_2) (up tile_4_3 tile_3_3) (up tile_4_4 tile_3_4) (up tile_4_5 tile_3_5) (up tile_4_6 tile_3_6) (up tile_4_7 tile_3_7) (up tile_5_1 tile_4_1) (up tile_5_2 tile_4_2) (up tile_5_3 tile_4_3) (up tile_5_4 tile_4_4) (up tile_5_5 tile_4_5) (up tile_5_6 tile_4_6) (up tile_5_7 tile_4_7) (up tile_6_1 tile_5_1) (up tile_6_2 tile_5_2) (up tile_6_3 tile_5_3) (up tile_6_4 tile_5_4) (up tile_6_5 tile_5_5) (up tile_6_6 tile_5_6) (up tile_6_7 tile_5_7) (up tile_7_1 tile_6_1) (up tile_7_2 tile_6_2) (up tile_7_3 tile_6_3) (up tile_7_4 tile_6_4) (up tile_7_5 tile_6_5) (up tile_7_6 tile_6_6) (up tile_7_7 tile_6_7) (up tile_8_1 tile_7_1) (up tile_8_2 tile_7_2) (up tile_8_3 tile_7_3) (up tile_8_4 tile_7_4) (up tile_8_5 tile_7_5) (up tile_8_6 tile_7_6) (up tile_8_7 tile_7_7))

)