(define (problem p14c) (:domain zeon) (:objects plane1 plane2 plane3 person1 person2 person3 person4 person5 person6 city0 city1 city2 city3 city4 fl0 fl1 fl2 fl3 fl4 fl5 fl6) (:init (aircraft plane1) (aircraft plane2) (aircraft plane3) (person person1) (person person2) (person person3) (person person4) (person person5) (person person6) (city city0) (city city1) (city city2) (city city3) (city city4) (flevel fl0) (flevel fl1) (flevel fl2) (flevel fl3) (flevel fl4) (flevel fl5) (flevel fl6) (at plane1 city0) (at plane2 city3) (at plane3 city0) (at person1 city1) (at person2 city0) (at person3 city2) (at person4 city0) (at person5 city3) (at person6 city4) (fuel_level plane1 fl6) (fuel_level plane3 fl3) (fuel_level plane2 fl0) (next fl0 fl1) (next fl1 fl2) (next fl2 fl3) (next fl3 fl4) (next fl4 fl5) (next fl5 fl6) (prev_autstate_1_2 plane1) (prev_autstate_1_2 plane2) (prev_autstate_1_2 plane3) (prev_autstate_1_2 person1) (prev_autstate_1_2 person2) (prev_autstate_1_2 person3) (prev_autstate_1_2 person4) (prev_autstate_1_2 person5) (prev_autstate_1_2 person6) (prev_autstate_1_2 city0) (prev_autstate_1_2 city1) (prev_autstate_1_2 city2) (prev_autstate_1_2 city3) (prev_autstate_1_2 city4) (prev_autstate_1_2 fl0) (prev_autstate_1_2 fl1) (prev_autstate_1_2 fl2) (prev_autstate_1_2 fl3) (prev_autstate_1_2 fl4) (prev_autstate_1_2 fl5) (prev_autstate_1_2 fl6) (prev_autstate_2_3 plane1 plane1) (prev_autstate_2_3 plane1 plane2) (prev_autstate_2_3 plane1 plane3) (prev_autstate_2_3 plane1 person1) (prev_autstate_2_3 plane1 person2) (prev_autstate_2_3 plane1 person3) (prev_autstate_2_3 plane1 person4) (prev_autstate_2_3 plane1 person5) (prev_autstate_2_3 plane1 person6) (prev_autstate_2_3 plane1 city0) (prev_autstate_2_3 plane1 city1) (prev_autstate_2_3 plane1 city2) (prev_autstate_2_3 plane1 city3) (prev_autstate_2_3 plane1 city4) (prev_autstate_2_3 plane1 fl0) (prev_autstate_2_3 plane1 fl1) (prev_autstate_2_3 plane1 fl2) (prev_autstate_2_3 plane1 fl3) (prev_autstate_2_3 plane1 fl4) (prev_autstate_2_3 plane1 fl5) (prev_autstate_2_3 plane1 fl6) (prev_autstate_2_3 plane2 plane1) (prev_autstate_2_3 plane2 plane2) (prev_autstate_2_3 plane2 plane3) (prev_autstate_2_3 plane2 person1) (prev_autstate_2_3 plane2 person2) (prev_autstate_2_3 plane2 person3) (prev_autstate_2_3 plane2 person4) (prev_autstate_2_3 plane2 person5) (prev_autstate_2_3 plane2 person6) (prev_autstate_2_3 plane2 city0) (prev_autstate_2_3 plane2 city1) (prev_autstate_2_3 plane2 city2) (prev_autstate_2_3 plane2 city3) (prev_autstate_2_3 plane2 city4) (prev_autstate_2_3 plane2 fl0) (prev_autstate_2_3 plane2 fl1) (prev_autstate_2_3 plane2 fl2) (prev_autstate_2_3 plane2 fl3) (prev_autstate_2_3 plane2 fl4) (prev_autstate_2_3 plane2 fl5) (prev_autstate_2_3 plane2 fl6) (prev_autstate_2_3 plane3 plane1) (prev_autstate_2_3 plane3 plane2) (prev_autstate_2_3 plane3 plane3) (prev_autstate_2_3 plane3 person1) (prev_autstate_2_3 plane3 person2) (prev_autstate_2_3 plane3 person3) (prev_autstate_2_3 plane3 person4) (prev_autstate_2_3 plane3 person5) (prev_autstate_2_3 plane3 person6) (prev_autstate_2_3 plane3 city0) (prev_autstate_2_3 plane3 city1) (prev_autstate_2_3 plane3 city2) (prev_autstate_2_3 plane3 city3) (prev_autstate_2_3 plane3 city4) (prev_autstate_2_3 plane3 fl0) (prev_autstate_2_3 plane3 fl1) (prev_autstate_2_3 plane3 fl2) (prev_autstate_2_3 plane3 fl3) (prev_autstate_2_3 plane3 fl4) (prev_autstate_2_3 plane3 fl5) (prev_autstate_2_3 plane3 fl6) (prev_autstate_2_3 person1 plane1) (prev_autstate_2_3 person1 plane2) (prev_autstate_2_3 person1 plane3) (prev_autstate_2_3 person1 person1) (prev_autstate_2_3 person1 person2) (prev_autstate_2_3 person1 person3) (prev_autstate_2_3 person1 person4) (prev_autstate_2_3 person1 person5) (prev_autstate_2_3 person1 person6) (prev_autstate_2_3 person1 city0) (prev_autstate_2_3 person1 city1) (prev_autstate_2_3 person1 city2) (prev_autstate_2_3 person1 city3) (prev_autstate_2_3 person1 city4) (prev_autstate_2_3 person1 fl0) (prev_autstate_2_3 person1 fl1) (prev_autstate_2_3 person1 fl2) (prev_autstate_2_3 person1 fl3) (prev_autstate_2_3 person1 fl4) (prev_autstate_2_3 person1 fl5) (prev_autstate_2_3 person1 fl6) (prev_autstate_2_3 person2 plane1) (prev_autstate_2_3 person2 plane2) (prev_autstate_2_3 person2 plane3) (prev_autstate_2_3 person2 person1) (prev_autstate_2_3 person2 person2) (prev_autstate_2_3 person2 person3) (prev_autstate_2_3 person2 person4) (prev_autstate_2_3 person2 person5) (prev_autstate_2_3 person2 person6) (prev_autstate_2_3 person2 city0) (prev_autstate_2_3 person2 city1) (prev_autstate_2_3 person2 city2) (prev_autstate_2_3 person2 city3) (prev_autstate_2_3 person2 city4) (prev_autstate_2_3 person2 fl0) (prev_autstate_2_3 person2 fl1) (prev_autstate_2_3 person2 fl2) (prev_autstate_2_3 person2 fl3) (prev_autstate_2_3 person2 fl4) (prev_autstate_2_3 person2 fl5) (prev_autstate_2_3 person2 fl6) (prev_autstate_2_3 person3 plane1) (prev_autstate_2_3 person3 plane2) (prev_autstate_2_3 person3 plane3) (prev_autstate_2_3 person3 person1) (prev_autstate_2_3 person3 person2) (prev_autstate_2_3 person3 person3) (prev_autstate_2_3 person3 person4) (prev_autstate_2_3 person3 person5) (prev_autstate_2_3 person3 person6) (prev_autstate_2_3 person3 city0) (prev_autstate_2_3 person3 city1) (prev_autstate_2_3 person3 city2) (prev_autstate_2_3 person3 city3) (prev_autstate_2_3 person3 city4) (prev_autstate_2_3 person3 fl0) (prev_autstate_2_3 person3 fl1) (prev_autstate_2_3 person3 fl2) (prev_autstate_2_3 person3 fl3) (prev_autstate_2_3 person3 fl4) (prev_autstate_2_3 person3 fl5) (prev_autstate_2_3 person3 fl6) (prev_autstate_2_3 person4 plane1) (prev_autstate_2_3 person4 plane2) (prev_autstate_2_3 person4 plane3) (prev_autstate_2_3 person4 person1) (prev_autstate_2_3 person4 person2) (prev_autstate_2_3 person4 person3) (prev_autstate_2_3 person4 person4) (prev_autstate_2_3 person4 person5) (prev_autstate_2_3 person4 person6) (prev_autstate_2_3 person4 city0) (prev_autstate_2_3 person4 city1) (prev_autstate_2_3 person4 city2) (prev_autstate_2_3 person4 city3) (prev_autstate_2_3 person4 city4) (prev_autstate_2_3 person4 fl0) (prev_autstate_2_3 person4 fl1) (prev_autstate_2_3 person4 fl2) (prev_autstate_2_3 person4 fl3) (prev_autstate_2_3 person4 fl4) (prev_autstate_2_3 person4 fl5) (prev_autstate_2_3 person4 fl6) (prev_autstate_2_3 person5 plane1) (prev_autstate_2_3 person5 plane2) (prev_autstate_2_3 person5 plane3) (prev_autstate_2_3 person5 person1) (prev_autstate_2_3 person5 person2) (prev_autstate_2_3 person5 person3) (prev_autstate_2_3 person5 person4) (prev_autstate_2_3 person5 person5) (prev_autstate_2_3 person5 person6) (prev_autstate_2_3 person5 city0) (prev_autstate_2_3 person5 city1) (prev_autstate_2_3 person5 city2) (prev_autstate_2_3 person5 city3) (prev_autstate_2_3 person5 city4) (prev_autstate_2_3 person5 fl0) (prev_autstate_2_3 person5 fl1) (prev_autstate_2_3 person5 fl2) (prev_autstate_2_3 person5 fl3) (prev_autstate_2_3 person5 fl4) (prev_autstate_2_3 person5 fl5) (prev_autstate_2_3 person5 fl6) (prev_autstate_2_3 person6 plane1) (prev_autstate_2_3 person6 plane2) (prev_autstate_2_3 person6 plane3) (prev_autstate_2_3 person6 person1) (prev_autstate_2_3 person6 person2) (prev_autstate_2_3 person6 person3) (prev_autstate_2_3 person6 person4) (prev_autstate_2_3 person6 person5) (prev_autstate_2_3 person6 person6) (prev_autstate_2_3 person6 city0) (prev_autstate_2_3 person6 city1) (prev_autstate_2_3 person6 city2) (prev_autstate_2_3 person6 city3) (prev_autstate_2_3 person6 city4) (prev_autstate_2_3 person6 fl0) (prev_autstate_2_3 person6 fl1) (prev_autstate_2_3 person6 fl2) (prev_autstate_2_3 person6 fl3) (prev_autstate_2_3 person6 fl4) (prev_autstate_2_3 person6 fl5) (prev_autstate_2_3 person6 fl6) (prev_autstate_2_3 city0 plane1) (prev_autstate_2_3 city0 plane2) (prev_autstate_2_3 city0 plane3) (prev_autstate_2_3 city0 person1) (prev_autstate_2_3 city0 person2) (prev_autstate_2_3 city0 person3) (prev_autstate_2_3 city0 person4) (prev_autstate_2_3 city0 person5) (prev_autstate_2_3 city0 person6) (prev_autstate_2_3 city0 city0) (prev_autstate_2_3 city0 city1) (prev_autstate_2_3 city0 city2) (prev_autstate_2_3 city0 city3) (prev_autstate_2_3 city0 city4) (prev_autstate_2_3 city0 fl0) (prev_autstate_2_3 city0 fl1) (prev_autstate_2_3 city0 fl2) (prev_autstate_2_3 city0 fl3) (prev_autstate_2_3 city0 fl4) (prev_autstate_2_3 city0 fl5) (prev_autstate_2_3 city0 fl6) (prev_autstate_2_3 city1 plane1) (prev_autstate_2_3 city1 plane2) (prev_autstate_2_3 city1 plane3) (prev_autstate_2_3 city1 person1) (prev_autstate_2_3 city1 person2) (prev_autstate_2_3 city1 person3) (prev_autstate_2_3 city1 person4) (prev_autstate_2_3 city1 person5) (prev_autstate_2_3 city1 person6) (prev_autstate_2_3 city1 city0) (prev_autstate_2_3 city1 city1) (prev_autstate_2_3 city1 city2) (prev_autstate_2_3 city1 city3) (prev_autstate_2_3 city1 city4) (prev_autstate_2_3 city1 fl0) (prev_autstate_2_3 city1 fl1) (prev_autstate_2_3 city1 fl2) (prev_autstate_2_3 city1 fl3) (prev_autstate_2_3 city1 fl4) (prev_autstate_2_3 city1 fl5) (prev_autstate_2_3 city1 fl6) (prev_autstate_2_3 city2 plane1) (prev_autstate_2_3 city2 plane2) (prev_autstate_2_3 city2 plane3) (prev_autstate_2_3 city2 person1) (prev_autstate_2_3 city2 person2) (prev_autstate_2_3 city2 person3) (prev_autstate_2_3 city2 person4) (prev_autstate_2_3 city2 person5) (prev_autstate_2_3 city2 person6) (prev_autstate_2_3 city2 city0) (prev_autstate_2_3 city2 city1) (prev_autstate_2_3 city2 city2) (prev_autstate_2_3 city2 city3) (prev_autstate_2_3 city2 city4) (prev_autstate_2_3 city2 fl0) (prev_autstate_2_3 city2 fl1) (prev_autstate_2_3 city2 fl2) (prev_autstate_2_3 city2 fl3) (prev_autstate_2_3 city2 fl4) (prev_autstate_2_3 city2 fl5) (prev_autstate_2_3 city2 fl6) (prev_autstate_2_3 city3 plane1) (prev_autstate_2_3 city3 plane2) (prev_autstate_2_3 city3 plane3) (prev_autstate_2_3 city3 person1) (prev_autstate_2_3 city3 person2) (prev_autstate_2_3 city3 person3) (prev_autstate_2_3 city3 person4) (prev_autstate_2_3 city3 person5) (prev_autstate_2_3 city3 person6) (prev_autstate_2_3 city3 city0) (prev_autstate_2_3 city3 city1) (prev_autstate_2_3 city3 city2) (prev_autstate_2_3 city3 city3) (prev_autstate_2_3 city3 city4) (prev_autstate_2_3 city3 fl0) (prev_autstate_2_3 city3 fl1) (prev_autstate_2_3 city3 fl2) (prev_autstate_2_3 city3 fl3) (prev_autstate_2_3 city3 fl4) (prev_autstate_2_3 city3 fl5) (prev_autstate_2_3 city3 fl6) (prev_autstate_2_3 city4 plane1) (prev_autstate_2_3 city4 plane2) (prev_autstate_2_3 city4 plane3) (prev_autstate_2_3 city4 person1) (prev_autstate_2_3 city4 person2) (prev_autstate_2_3 city4 person3) (prev_autstate_2_3 city4 person4) (prev_autstate_2_3 city4 person5) (prev_autstate_2_3 city4 person6) (prev_autstate_2_3 city4 city0) (prev_autstate_2_3 city4 city1) (prev_autstate_2_3 city4 city2) (prev_autstate_2_3 city4 city3) (prev_autstate_2_3 city4 city4) (prev_autstate_2_3 city4 fl0) (prev_autstate_2_3 city4 fl1) (prev_autstate_2_3 city4 fl2) (prev_autstate_2_3 city4 fl3) (prev_autstate_2_3 city4 fl4) (prev_autstate_2_3 city4 fl5) (prev_autstate_2_3 city4 fl6) (prev_autstate_2_3 fl0 plane1) (prev_autstate_2_3 fl0 plane2) (prev_autstate_2_3 fl0 plane3) (prev_autstate_2_3 fl0 person1) (prev_autstate_2_3 fl0 person2) (prev_autstate_2_3 fl0 person3) (prev_autstate_2_3 fl0 person4) (prev_autstate_2_3 fl0 person5) (prev_autstate_2_3 fl0 person6) (prev_autstate_2_3 fl0 city0) (prev_autstate_2_3 fl0 city1) (prev_autstate_2_3 fl0 city2) (prev_autstate_2_3 fl0 city3) (prev_autstate_2_3 fl0 city4) (prev_autstate_2_3 fl0 fl0) (prev_autstate_2_3 fl0 fl1) (prev_autstate_2_3 fl0 fl2) (prev_autstate_2_3 fl0 fl3) (prev_autstate_2_3 fl0 fl4) (prev_autstate_2_3 fl0 fl5) (prev_autstate_2_3 fl0 fl6) (prev_autstate_2_3 fl1 plane1) (prev_autstate_2_3 fl1 plane2) (prev_autstate_2_3 fl1 plane3) (prev_autstate_2_3 fl1 person1) (prev_autstate_2_3 fl1 person2) (prev_autstate_2_3 fl1 person3) (prev_autstate_2_3 fl1 person4) (prev_autstate_2_3 fl1 person5) (prev_autstate_2_3 fl1 person6) (prev_autstate_2_3 fl1 city0) (prev_autstate_2_3 fl1 city1) (prev_autstate_2_3 fl1 city2) (prev_autstate_2_3 fl1 city3) (prev_autstate_2_3 fl1 city4) (prev_autstate_2_3 fl1 fl0) (prev_autstate_2_3 fl1 fl1) (prev_autstate_2_3 fl1 fl2) (prev_autstate_2_3 fl1 fl3) (prev_autstate_2_3 fl1 fl4) (prev_autstate_2_3 fl1 fl5) (prev_autstate_2_3 fl1 fl6) (prev_autstate_2_3 fl2 plane1) (prev_autstate_2_3 fl2 plane2) (prev_autstate_2_3 fl2 plane3) (prev_autstate_2_3 fl2 person1) (prev_autstate_2_3 fl2 person2) (prev_autstate_2_3 fl2 person3) (prev_autstate_2_3 fl2 person4) (prev_autstate_2_3 fl2 person5) (prev_autstate_2_3 fl2 person6) (prev_autstate_2_3 fl2 city0) (prev_autstate_2_3 fl2 city1) (prev_autstate_2_3 fl2 city2) (prev_autstate_2_3 fl2 city3) (prev_autstate_2_3 fl2 city4) (prev_autstate_2_3 fl2 fl0) (prev_autstate_2_3 fl2 fl1) (prev_autstate_2_3 fl2 fl2) (prev_autstate_2_3 fl2 fl3) (prev_autstate_2_3 fl2 fl4) (prev_autstate_2_3 fl2 fl5) (prev_autstate_2_3 fl2 fl6) (prev_autstate_2_3 fl3 plane1) (prev_autstate_2_3 fl3 plane2) (prev_autstate_2_3 fl3 plane3) (prev_autstate_2_3 fl3 person1) (prev_autstate_2_3 fl3 person2) (prev_autstate_2_3 fl3 person3) (prev_autstate_2_3 fl3 person4) (prev_autstate_2_3 fl3 person5) (prev_autstate_2_3 fl3 person6) (prev_autstate_2_3 fl3 city0) (prev_autstate_2_3 fl3 city1) (prev_autstate_2_3 fl3 city2) (prev_autstate_2_3 fl3 city3) (prev_autstate_2_3 fl3 city4) (prev_autstate_2_3 fl3 fl0) (prev_autstate_2_3 fl3 fl1) (prev_autstate_2_3 fl3 fl2) (prev_autstate_2_3 fl3 fl3) (prev_autstate_2_3 fl3 fl4) (prev_autstate_2_3 fl3 fl5) (prev_autstate_2_3 fl3 fl6) (prev_autstate_2_3 fl4 plane1) (prev_autstate_2_3 fl4 plane2) (prev_autstate_2_3 fl4 plane3) (prev_autstate_2_3 fl4 person1) (prev_autstate_2_3 fl4 person2) (prev_autstate_2_3 fl4 person3) (prev_autstate_2_3 fl4 person4) (prev_autstate_2_3 fl4 person5) (prev_autstate_2_3 fl4 person6) (prev_autstate_2_3 fl4 city0) (prev_autstate_2_3 fl4 city1) (prev_autstate_2_3 fl4 city2) (prev_autstate_2_3 fl4 city3) (prev_autstate_2_3 fl4 city4) (prev_autstate_2_3 fl4 fl0) (prev_autstate_2_3 fl4 fl1) (prev_autstate_2_3 fl4 fl2) (prev_autstate_2_3 fl4 fl3) (prev_autstate_2_3 fl4 fl4) (prev_autstate_2_3 fl4 fl5) (prev_autstate_2_3 fl4 fl6) (prev_autstate_2_3 fl5 plane1) (prev_autstate_2_3 fl5 plane2) (prev_autstate_2_3 fl5 plane3) (prev_autstate_2_3 fl5 person1) (prev_autstate_2_3 fl5 person2) (prev_autstate_2_3 fl5 person3) (prev_autstate_2_3 fl5 person4) (prev_autstate_2_3 fl5 person5) (prev_autstate_2_3 fl5 person6) (prev_autstate_2_3 fl5 city0) (prev_autstate_2_3 fl5 city1) (prev_autstate_2_3 fl5 city2) (prev_autstate_2_3 fl5 city3) (prev_autstate_2_3 fl5 city4) (prev_autstate_2_3 fl5 fl0) (prev_autstate_2_3 fl5 fl1) (prev_autstate_2_3 fl5 fl2) (prev_autstate_2_3 fl5 fl3) (prev_autstate_2_3 fl5 fl4) (prev_autstate_2_3 fl5 fl5) (prev_autstate_2_3 fl5 fl6) (prev_autstate_2_3 fl6 plane1) (prev_autstate_2_3 fl6 plane2) (prev_autstate_2_3 fl6 plane3) (prev_autstate_2_3 fl6 person1) (prev_autstate_2_3 fl6 person2) (prev_autstate_2_3 fl6 person3) (prev_autstate_2_3 fl6 person4) (prev_autstate_2_3 fl6 person5) (prev_autstate_2_3 fl6 person6) (prev_autstate_2_3 fl6 city0) (prev_autstate_2_3 fl6 city1) (prev_autstate_2_3 fl6 city2) (prev_autstate_2_3 fl6 city3) (prev_autstate_2_3 fl6 city4) (prev_autstate_2_3 fl6 fl0) (prev_autstate_2_3 fl6 fl1) (prev_autstate_2_3 fl6 fl2) (prev_autstate_2_3 fl6 fl3) (prev_autstate_2_3 fl6 fl4) (prev_autstate_2_3 fl6 fl5) (prev_autstate_2_3 fl6 fl6) (prev_autstate_3_2) (prev_autstate_4_2) ) (:goal (and (forall (?x0) (aut_in_final_1 ?x0)) (and (forall (?x1) (forall (?x2) (aut_in_final_2 ?x1 ?x2)) ) (and (aut_in_final_3) (aut_in_final_4))))))