(Defdomain logistics
   (
     ;; basic operators

     (:operator (!load-truck ?obj ?truck ?loc)
                ()
                ((obj-at ?obj ?loc)) ;;delete list
                ((in-truck ?obj ?truck))) ;;add list
           
     (:operator (!unload-truck ?obj ?truck ?loc)
                ()
                ((in-truck ?obj ?truck))
                ((obj-at ?obj ?loc)))

     (:operator (!load-airplane ?obj ?airplane ?loc)
                ()
                ((obj-at ?obj ?loc))
                ((in-airplane ?obj ?airplane))) ;;Ke: please fill this

     (:operator (!unload-airplane ?obj ?airplane ?loc)
                ()
                ((in-airplane ?obj ?airplane))
                ((obj-at ?obj ?loc)))
     
      (:operator (!drive-truck ?truck ?locfrom ?locto)
                ()
                ((truck-at ?truck ?locfrom))
                ((truck-at ?truck ?locto)))

     (:operator (!fly-airplane ?airplane ?airportfrom ?airportto)
                ()
                ((airplane-at ?airplane ?airportfrom))
                ((airplane-at ?airplane ?airportto)))
           

      (:operator (!do-nothing)
                ()
                ()
                ()
                0)
    
    
   
     (:method (achieve-goals (list ?goal . ?goals))
              ()
              ((achieve-single-goal ?goal)
               (achieve-goals ?goals)))

     (:method (achieve-goals nil)
              ()
              ((!do-nothing)))
              
      
              

         
     
;*********************************************cases*****************************

(:case (achieve-single-goal (obj-at ?package20 ?city2-cl3 ))
((obj-at ?package20 ?city4-cl2 )
(type ?package20 smallpackage )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl1 )
(truck ?truck6-2 ?city2 )
(type ?truck1-4 truck )
(truck-at ?truck1-4 ?city4-cl3 )
(truck ?truck1-4 ?city4 )
(type ?plane5 plane )
(airplane-at ?plane5 ?city1-ap1 )
(airplane ?plane5 ?city1 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck1-4 ?city4-cl3 ?city4-cl2 )
(!load-truck ?package20 ?truck1-4 ?city4-cl2 )
(!drive-truck ?truck1-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package20 ?truck1-4 ?city4-ap4 )
(!fly-airplane ?plane5 ?city1-ap1 ?city4-ap4 )
(!load-airplane ?package20 ?plane5 ?city4-ap4 )
(!fly-airplane ?plane5 ?city4-ap4 ?city2-ap2 )
(!unload-airplane ?package20 ?plane5 ?city2-ap2 )
(!drive-truck ?truck6-2 ?city2-cl1 ?city2-ap2 )
(!load-truck ?package20 ?truck6-2 ?city2-ap2 )
(!drive-truck ?truck6-2 ?city2-ap2 ?city2-cl3 )
(!unload-truck ?package20 ?truck6-2 ?city2-cl3 )
))


(:case (achieve-single-goal (obj-at ?package20 ?city2-cl1 ))
((obj-at ?package20 ?city2-cl2 )
(type ?package20 smallpackage )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl2 )
(truck ?truck6-2 ?city2 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city2-cl2 ?city2 )
)
()
(
(!load-truck ?package20 ?truck6-2 ?city2-cl2 )
(!drive-truck ?truck6-2 ?city2-cl2 ?city2-cl1 )
(!unload-truck ?package20 ?truck6-2 ?city2-cl1 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city2-cl1 ))
((obj-at ?package4 ?city1-cl1 )
(type ?package4 smallpackage )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl1 )
(truck ?truck6-2 ?city2 )
(type ?plane15 mediumplane )
(airplane-at ?plane15 ?city1-ap1 )
(airplane ?plane15 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!load-truck ?package4 ?truck5-1 ?city1-cl1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!unload-truck ?package4 ?truck5-1 ?city1-ap1 )
(!load-airplane ?package4 ?plane15 ?city1-ap1 )
(!fly-airplane ?plane15 ?city1-ap1 ?city2-ap2 )
(!unload-airplane ?package4 ?plane15 ?city2-ap2 )
(!drive-truck ?truck6-2 ?city2-cl1 ?city2-ap2 )
(!load-truck ?package4 ?truck6-2 ?city2-ap2 )
(!drive-truck ?truck6-2 ?city2-ap2 ?city2-cl1 )
(!unload-truck ?package4 ?truck6-2 ?city2-cl1 )
))


(:case (achieve-single-goal (obj-at ?package1 ?city5-cl3 ))
((obj-at ?package1 ?city3-cl1 )
(type ?package1 package )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl2 )
(truck ?truck5-3 ?city3 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl3 )
(truck ?truck2-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city3-ap3 )
(airplane ?plane2 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck5-3 ?city3-cl2 ?city3-cl1 )
(!load-truck ?package1 ?truck5-3 ?city3-cl1 )
(!drive-truck ?truck5-3 ?city3-cl1 ?city3-ap3 )
(!unload-truck ?package1 ?truck5-3 ?city3-ap3 )
(!load-airplane ?package1 ?plane2 ?city3-ap3 )
(!fly-airplane ?plane2 ?city3-ap3 ?city5-ap5 )
(!unload-airplane ?package1 ?plane2 ?city5-ap5 )
(!drive-truck ?truck2-5 ?city5-cl3 ?city5-ap5 )
(!load-truck ?package1 ?truck2-5 ?city5-ap5 )
(!drive-truck ?truck2-5 ?city5-ap5 ?city5-cl3 )
(!unload-truck ?package1 ?truck2-5 ?city5-cl3 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city5-cl1 ))
((obj-at ?package3 ?city4-cl3 )
(type ?package3 mediumpackage )
(type ?truck7-4 mediumtruck )
(truck-at ?truck7-4 ?city4-ap4 )
(truck ?truck7-4 ?city4 )
(type ?truck7-5 mediumtruck )
(truck-at ?truck7-5 ?city5-cl1 )
(truck ?truck7-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city5-ap5 )
(airplane ?plane2 ?city5 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city4-ap4 ?city4 )
(in-city ?city5-ap5 ?city5 )
(airport ?city4-ap4 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck7-4 ?city4-ap4 ?city4-cl3 )
(!load-truck ?package3 ?truck7-4 ?city4-cl3 )
(!drive-truck ?truck7-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package3 ?truck7-4 ?city4-ap4 )
(!fly-airplane ?plane2 ?city5-ap5 ?city4-ap4 )
(!load-airplane ?package3 ?plane2 ?city4-ap4 )
(!fly-airplane ?plane2 ?city4-ap4 ?city5-ap5 )
(!unload-airplane ?package3 ?plane2 ?city5-ap5 )
(!drive-truck ?truck7-5 ?city5-cl1 ?city5-ap5 )
(!load-truck ?package3 ?truck7-5 ?city5-ap5 )
(!drive-truck ?truck7-5 ?city5-ap5 ?city5-cl1 )
(!unload-truck ?package3 ?truck7-5 ?city5-cl1 )
))


(:case (achieve-single-goal (obj-at ?package6 ?city5-cl3 ))
((obj-at ?package6 ?city5-cl2 )
(type ?package6 bigpackage )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-ap5 )
(truck ?truck2-5 ?city5 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city5-ap5 ?city5 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck2-5 ?city5-ap5 ?city5-cl2 )
(!load-truck ?package6 ?truck2-5 ?city5-cl2 )
(!drive-truck ?truck2-5 ?city5-cl2 ?city5-cl3 )
(!unload-truck ?package6 ?truck2-5 ?city5-cl3 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city5-cl1 ))
((obj-at ?package8 ?city1-cl3 )
(type ?package8 smallpackage )
(type ?truck4-1 smalltruck )
(truck-at ?truck4-1 ?city1-cl1 )
(truck ?truck4-1 ?city1 )
(type ?truck6-5 bigtruck )
(truck-at ?truck6-5 ?city5-ap5 )
(truck ?truck6-5 ?city5 )
(type ?plane20 smallplane )
(airplane-at ?plane20 ?city3-ap3 )
(airplane ?plane20 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck4-1 ?city1-cl1 ?city1-cl3 )
(!load-truck ?package8 ?truck4-1 ?city1-cl3 )
(!drive-truck ?truck4-1 ?city1-cl3 ?city1-ap1 )
(!unload-truck ?package8 ?truck4-1 ?city1-ap1 )
(!fly-airplane ?plane20 ?city3-ap3 ?city1-ap1 )
(!load-airplane ?package8 ?plane20 ?city1-ap1 )
(!fly-airplane ?plane20 ?city1-ap1 ?city5-ap5 )
(!unload-airplane ?package8 ?plane20 ?city5-ap5 )
(!load-truck ?package8 ?truck6-5 ?city5-ap5 )
(!drive-truck ?truck6-5 ?city5-ap5 ?city5-cl1 )
(!unload-truck ?package8 ?truck6-5 ?city5-cl1 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city5-cl2 ))
((obj-at ?package11 ?city2-cl2 )
(type ?package11 mediumpackage )
(type ?truck3-2 mediumtruck )
(truck-at ?truck3-2 ?city2-cl2 )
(truck ?truck3-2 ?city2 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl3 )
(truck ?truck3-5 ?city5 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package11 ?truck3-2 ?city2-cl2 )
(!drive-truck ?truck3-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package11 ?truck3-2 ?city2-ap2 )
(!fly-airplane ?plane14 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package11 ?plane14 ?city2-ap2 )
(!fly-airplane ?plane14 ?city2-ap2 ?city5-ap5 )
(!unload-airplane ?package11 ?plane14 ?city5-ap5 )
(!drive-truck ?truck3-5 ?city5-cl3 ?city5-ap5 )
(!load-truck ?package11 ?truck3-5 ?city5-ap5 )
(!drive-truck ?truck3-5 ?city5-ap5 ?city5-cl2 )
(!unload-truck ?package11 ?truck3-5 ?city5-cl2 )
))


(:case (achieve-single-goal (obj-at ?package13 ?city5-cl1 ))
((obj-at ?package13 ?city5-cl1 )
(type ?package13 package )
(type ?truck5-5 truck )
(truck-at ?truck5-5 ?city5-cl1 )
(truck ?truck5-5 ?city5 )
(in-city ?city5-cl1 ?city5 )
)
()
(
(!load-truck ?package13 ?truck5-5 ?city5-cl1 )
(!drive-truck ?truck5-5 ?city5-cl1 ?city5-cl1 )
(!unload-truck ?package13 ?truck5-5 ?city5-cl1 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city5-cl3 ))
((obj-at ?package3 ?city4-cl2 )
(type ?package3 mediumpackage )
(type ?truck7-4 mediumtruck )
(truck-at ?truck7-4 ?city4-cl2 )
(truck ?truck7-4 ?city4 )
(type ?truck6-5 bigtruck )
(truck-at ?truck6-5 ?city5-ap5 )
(truck ?truck6-5 ?city5 )
(type ?plane19 mediumplane )
(airplane-at ?plane19 ?city2-ap2 )
(airplane ?plane19 ?city2 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(in-city ?city5-ap5 ?city5 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package3 ?truck7-4 ?city4-cl2 )
(!drive-truck ?truck7-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package3 ?truck7-4 ?city4-ap4 )
(!fly-airplane ?plane19 ?city2-ap2 ?city4-ap4 )
(!load-airplane ?package3 ?plane19 ?city4-ap4 )
(!fly-airplane ?plane19 ?city4-ap4 ?city5-ap5 )
(!unload-airplane ?package3 ?plane19 ?city5-ap5 )
(!load-truck ?package3 ?truck6-5 ?city5-ap5 )
(!drive-truck ?truck6-5 ?city5-ap5 ?city5-cl3 )
(!unload-truck ?package3 ?truck6-5 ?city5-cl3 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city3-cl3 ))
((obj-at ?package8 ?city3-cl2 )
(type ?package8 smallpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-cl2 )
(truck ?truck2-3 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
)
()
(
(!load-truck ?package8 ?truck2-3 ?city3-cl2 )
(!drive-truck ?truck2-3 ?city3-cl2 ?city3-cl3 )
(!unload-truck ?package8 ?truck2-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city3-cl2 ))
((obj-at ?package11 ?city4-cl2 )
(type ?package11 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl3 )
(truck ?truck2-4 ?city4 )
(type ?plane18 bigplane )
(airplane-at ?plane18 ?city4-ap4 )
(airplane ?plane18 ?city4 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck2-4 ?city4-cl3 ?city4-cl2 )
(!load-truck ?package11 ?truck2-4 ?city4-cl2 )
(!drive-truck ?truck2-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package11 ?truck2-4 ?city4-ap4 )
(!load-airplane ?package11 ?plane18 ?city4-ap4 )
(!fly-airplane ?plane18 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package11 ?plane18 ?city3-ap3 )
(!load-truck ?package11 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package11 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city3-cl1 ))
((obj-at ?package16 ?city1-cl2 )
(type ?package16 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl3 )
(truck ?truck5-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city1-ap1 )
(airplane ?plane6 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package16 ?truck2-1 ?city1-cl2 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!unload-truck ?package16 ?truck2-1 ?city1-ap1 )
(!load-airplane ?package16 ?plane6 ?city1-ap1 )
(!fly-airplane ?plane6 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package16 ?plane6 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-cl3 ?city3-ap3 )
(!load-truck ?package16 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package16 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package1 ?city3-cl1 ))
((obj-at ?package1 ?city3-cl3 )
(type ?package1 package )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl2 )
(truck ?truck5-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
)
()
(
(!drive-truck ?truck5-3 ?city3-cl2 ?city3-cl3 )
(!load-truck ?package1 ?truck5-3 ?city3-cl3 )
(!drive-truck ?truck5-3 ?city3-cl3 ?city3-cl1 )
(!unload-truck ?package1 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city3-cl2 ))
((obj-at ?package8 ?city3-cl2 )
(type ?package8 smallpackage )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl2 )
(truck ?truck5-3 ?city3 )
(in-city ?city3-cl2 ?city3 )
)
()
(
(!load-truck ?package8 ?truck5-3 ?city3-cl2 )
(!drive-truck ?truck5-3 ?city3-cl2 ?city3-cl2 )
(!unload-truck ?package8 ?truck5-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city3-cl1 ))
((obj-at ?package11 ?city4-cl1 )
(type ?package11 mediumpackage )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(type ?truck3-4 mediumtruck )
(truck-at ?truck3-4 ?city4-cl1 )
(truck ?truck3-4 ?city4 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city4-ap4 )
(airplane ?plane14 ?city4 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package11 ?truck3-4 ?city4-cl1 )
(!drive-truck ?truck3-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package11 ?truck3-4 ?city4-ap4 )
(!load-airplane ?package11 ?plane14 ?city4-ap4 )
(!fly-airplane ?plane14 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package11 ?plane14 ?city3-ap3 )
(!load-truck ?package11 ?truck3-3 ?city3-ap3 )
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package11 ?truck3-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package13 ?city3-cl2 ))
((obj-at ?package13 ?city5-cl2 )
(type ?package13 package )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck5-5 truck )
(truck-at ?truck5-5 ?city5-cl1 )
(truck ?truck5-5 ?city5 )
(type ?plane18 bigplane )
(airplane-at ?plane18 ?city4-ap4 )
(airplane ?plane18 ?city4 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck5-5 ?city5-cl1 ?city5-cl2 )
(!load-truck ?package13 ?truck5-5 ?city5-cl2 )
(!drive-truck ?truck5-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package13 ?truck5-5 ?city5-ap5 )
(!fly-airplane ?plane18 ?city4-ap4 ?city5-ap5 )
(!load-airplane ?package13 ?plane18 ?city5-ap5 )
(!fly-airplane ?plane18 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package13 ?plane18 ?city3-ap3 )
(!load-truck ?package13 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package13 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city3-cl1 ))
((obj-at ?package8 ?city1-cl2 )
(type ?package8 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?plane5 plane )
(airplane-at ?plane5 ?city3-ap3 )
(airplane ?plane5 ?city3 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package8 ?truck2-1 ?city1-cl2 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!unload-truck ?package8 ?truck2-1 ?city1-ap1 )
(!fly-airplane ?plane5 ?city3-ap3 ?city1-ap1 )
(!load-airplane ?package8 ?plane5 ?city1-ap1 )
(!fly-airplane ?plane5 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package8 ?plane5 ?city3-ap3 )
(!load-truck ?package8 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package8 ?truck7-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package20 ?city3-cl2 ))
((obj-at ?package20 ?city3-cl1 )
(type ?package20 smallpackage )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-ap3 )
(truck ?truck5-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-ap3 ?city3 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!load-truck ?package20 ?truck5-3 ?city3-cl1 )
(!drive-truck ?truck5-3 ?city3-cl1 ?city3-cl2 )
(!unload-truck ?package20 ?truck5-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city3-cl3 ))
((obj-at ?package3 ?city4-cl3 )
(type ?package3 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl3 )
(truck ?truck2-4 ?city4 )
(type ?plane15 mediumplane )
(airplane-at ?plane15 ?city3-ap3 )
(airplane ?plane15 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package3 ?truck2-4 ?city4-cl3 )
(!drive-truck ?truck2-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package3 ?truck2-4 ?city4-ap4 )
(!fly-airplane ?plane15 ?city3-ap3 ?city4-ap4 )
(!load-airplane ?package3 ?plane15 ?city4-ap4 )
(!fly-airplane ?plane15 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package3 ?plane15 ?city3-ap3 )
(!load-truck ?package3 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package3 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package10 ?city3-cl1 ))
((obj-at ?package10 ?city4-cl2 )
(type ?package10 bigpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl2 )
(truck ?truck6-4 ?city4 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city2-ap2 )
(airplane ?plane2 ?city2 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package10 ?truck6-4 ?city4-cl2 )
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package10 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane2 ?city2-ap2 ?city4-ap4 )
(!load-airplane ?package10 ?plane2 ?city4-ap4 )
(!fly-airplane ?plane2 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package10 ?plane2 ?city3-ap3 )
(!load-truck ?package10 ?truck2-3 ?city3-ap3 )
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package10 ?truck2-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package13 ?city3-cl3 ))
((obj-at ?package13 ?city5-cl2 )
(type ?package13 package )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl3 )
(truck ?truck2-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city5-ap5 )
(airplane ?plane2 ?city5 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck2-5 ?city5-cl3 ?city5-cl2 )
(!load-truck ?package13 ?truck2-5 ?city5-cl2 )
(!drive-truck ?truck2-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package13 ?truck2-5 ?city5-ap5 )
(!load-airplane ?package13 ?plane2 ?city5-ap5 )
(!fly-airplane ?plane2 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package13 ?plane2 ?city3-ap3 )
(!load-truck ?package13 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package13 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city3-cl1 ))
((obj-at ?package15 ?city1-cl3 )
(type ?package15 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-cl2 )
(truck ?truck6-3 ?city3 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city1-ap1 )
(airplane ?plane10 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-cl3 )
(!load-truck ?package15 ?truck2-1 ?city1-cl3 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-ap1 )
(!unload-truck ?package15 ?truck2-1 ?city1-ap1 )
(!load-airplane ?package15 ?plane10 ?city1-ap1 )
(!fly-airplane ?plane10 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package15 ?plane10 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-ap3 )
(!load-truck ?package15 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package15 ?truck6-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package20 ?city3-cl1 ))
((obj-at ?package20 ?city3-cl3 )
(type ?package20 smallpackage )
(type ?truck4-3 smalltruck )
(truck-at ?truck4-3 ?city3-cl3 )
(truck ?truck4-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
)
()
(
(!load-truck ?package20 ?truck4-3 ?city3-cl3 )
(!drive-truck ?truck4-3 ?city3-cl3 ?city3-cl1 )
(!unload-truck ?package20 ?truck4-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city3-cl2 ))
((obj-at ?package3 ?city4-cl3 )
(type ?package3 mediumpackage )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl3 )
(truck ?truck6-4 ?city4 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city1-ap1 )
(airplane ?plane6 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package3 ?truck6-4 ?city4-cl3 )
(!drive-truck ?truck6-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package3 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane6 ?city1-ap1 ?city4-ap4 )
(!load-airplane ?package3 ?plane6 ?city4-ap4 )
(!fly-airplane ?plane6 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package3 ?plane6 ?city3-ap3 )
(!load-truck ?package3 ?truck3-3 ?city3-ap3 )
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package3 ?truck3-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package5 ?city3-cl3 ))
((obj-at ?package5 ?city2-cl1 )
(type ?package5 package )
(type ?truck5-2 truck )
(truck-at ?truck5-2 ?city2-cl2 )
(truck ?truck5-2 ?city2 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city3-ap3 )
(airplane ?plane2 ?city3 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck5-2 ?city2-cl2 ?city2-cl1 )
(!load-truck ?package5 ?truck5-2 ?city2-cl1 )
(!drive-truck ?truck5-2 ?city2-cl1 ?city2-ap2 )
(!unload-truck ?package5 ?truck5-2 ?city2-ap2 )
(!fly-airplane ?plane2 ?city3-ap3 ?city2-ap2 )
(!load-airplane ?package5 ?plane2 ?city2-ap2 )
(!fly-airplane ?plane2 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package5 ?plane2 ?city3-ap3 )
(!load-truck ?package5 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package5 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city3-cl2 ))
((obj-at ?package8 ?city3-cl3 )
(type ?package8 smallpackage )
(type ?truck4-3 smalltruck )
(truck-at ?truck4-3 ?city3-cl1 )
(truck ?truck4-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
)
()
(
(!drive-truck ?truck4-3 ?city3-cl1 ?city3-cl3 )
(!load-truck ?package8 ?truck4-3 ?city3-cl3 )
(!drive-truck ?truck4-3 ?city3-cl3 ?city3-cl2 )
(!unload-truck ?package8 ?truck4-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package10 ?city3-cl3 ))
((obj-at ?package10 ?city4-cl2 )
(type ?package10 bigpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl2 )
(truck ?truck6-4 ?city4 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city3-ap3 )
(airplane ?plane6 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package10 ?truck6-4 ?city4-cl2 )
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package10 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane6 ?city3-ap3 ?city4-ap4 )
(!load-airplane ?package10 ?plane6 ?city4-ap4 )
(!fly-airplane ?plane6 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package10 ?plane6 ?city3-ap3 )
(!load-truck ?package10 ?truck2-3 ?city3-ap3 )
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package10 ?truck2-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package10 ?city3-cl3 ))
((obj-at ?package10 ?city4-cl2 )
(type ?package10 bigpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl2 )
(truck ?truck6-4 ?city4 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city3-ap3 )
(airplane ?plane6 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package10 ?truck6-4 ?city4-cl2 )
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package10 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane6 ?city3-ap3 ?city4-ap4 )
(!load-airplane ?package10 ?plane6 ?city4-ap4 )
(!fly-airplane ?plane6 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package10 ?plane6 ?city3-ap3 )
(!load-truck ?package10 ?truck2-3 ?city3-ap3 )
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package10 ?truck2-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city3-cl3 ))
((obj-at ?package15 ?city1-cl2 )
(type ?package15 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane3 mediumplane )
(airplane-at ?plane3 ?city3-ap3 )
(airplane ?plane3 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-cl2 )
(!load-truck ?package15 ?truck2-1 ?city1-cl2 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!unload-truck ?package15 ?truck2-1 ?city1-ap1 )
(!fly-airplane ?plane3 ?city3-ap3 ?city1-ap1 )
(!load-airplane ?package15 ?plane3 ?city1-ap1 )
(!fly-airplane ?plane3 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package15 ?plane3 ?city3-ap3 )
(!load-truck ?package15 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package15 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package20 ?city3-cl3 ))
((obj-at ?package20 ?city5-cl3 )
(type ?package20 smallpackage )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-ap3 )
(truck ?truck5-3 ?city3 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl3 )
(truck ?truck2-5 ?city5 )
(type ?plane9 plane )
(airplane-at ?plane9 ?city5-ap5 )
(airplane ?plane9 ?city5 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package20 ?truck2-5 ?city5-cl3 )
(!drive-truck ?truck2-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package20 ?truck2-5 ?city5-ap5 )
(!load-airplane ?package20 ?plane9 ?city5-ap5 )
(!fly-airplane ?plane9 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package20 ?plane9 ?city3-ap3 )
(!load-truck ?package20 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package20 ?truck5-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city3-cl1 ))
((obj-at ?package3 ?city1-cl2 )
(type ?package3 mediumpackage )
(type ?truck7-1 mediumtruck )
(truck-at ?truck7-1 ?city1-cl2 )
(truck ?truck7-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane18 bigplane )
(airplane-at ?plane18 ?city4-ap4 )
(airplane ?plane18 ?city4 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package3 ?truck7-1 ?city1-cl2 )
(!drive-truck ?truck7-1 ?city1-cl2 ?city1-ap1 )
(!unload-truck ?package3 ?truck7-1 ?city1-ap1 )
(!fly-airplane ?plane18 ?city4-ap4 ?city1-ap1 )
(!load-airplane ?package3 ?plane18 ?city1-ap1 )
(!fly-airplane ?plane18 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package3 ?plane18 ?city3-ap3 )
(!load-truck ?package3 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package3 ?truck6-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city3-cl1 ))
((obj-at ?package8 ?city3-cl3 )
(type ?package8 smallpackage )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl3 )
(truck ?truck5-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
)
()
(
(!load-truck ?package8 ?truck5-3 ?city3-cl3 )
(!drive-truck ?truck5-3 ?city3-cl3 ?city3-cl1 )
(!unload-truck ?package8 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package2 ?city3-cl2 ))
((obj-at ?package2 ?city4-cl1 )
(type ?package2 bigpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl2 )
(truck ?truck6-4 ?city4 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city2-ap2 )
(airplane ?plane2 ?city2 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-cl1 )
(!load-truck ?package2 ?truck6-4 ?city4-cl1 )
(!drive-truck ?truck6-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package2 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane2 ?city2-ap2 ?city4-ap4 )
(!load-airplane ?package2 ?plane2 ?city4-ap4 )
(!fly-airplane ?plane2 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package2 ?plane2 ?city3-ap3 )
(!load-truck ?package2 ?truck2-3 ?city3-ap3 )
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package2 ?truck2-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package5 ?city3-cl1 ))
((obj-at ?package5 ?city5-cl3 )
(type ?package5 package )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl3 )
(truck ?truck2-5 ?city5 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city5-ap5 )
(airplane ?plane6 ?city5 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package5 ?truck2-5 ?city5-cl3 )
(!drive-truck ?truck2-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package5 ?truck2-5 ?city5-ap5 )
(!load-airplane ?package5 ?plane6 ?city5-ap5 )
(!fly-airplane ?plane6 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package5 ?plane6 ?city3-ap3 )
(!load-truck ?package5 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package5 ?truck6-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city3-cl2 ))
((obj-at ?package7 ?city3-cl1 )
(type ?package7 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-cl2 )
(truck ?truck6-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
)
()
(
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-cl1 )
(!load-truck ?package7 ?truck6-3 ?city3-cl1 )
(!drive-truck ?truck6-3 ?city3-cl1 ?city3-cl2 )
(!unload-truck ?package7 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city3-cl2 ))
((obj-at ?package12 ?city5-cl2 )
(type ?package12 smallpackage )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl2 )
(truck ?truck3-5 ?city5 )
(type ?plane13 plane )
(airplane-at ?plane13 ?city5-ap5 )
(airplane ?plane13 ?city5 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package12 ?truck3-5 ?city5-cl2 )
(!drive-truck ?truck3-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package12 ?truck3-5 ?city5-ap5 )
(!load-airplane ?package12 ?plane13 ?city5-ap5 )
(!fly-airplane ?plane13 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package12 ?plane13 ?city3-ap3 )
(!load-truck ?package12 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package12 ?truck7-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city3-cl3 ))
((obj-at ?package15 ?city1-cl1 )
(type ?package15 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city3-ap3 )
(airplane ?plane6 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!load-truck ?package15 ?truck3-1 ?city1-cl1 )
(!drive-truck ?truck3-1 ?city1-cl1 ?city1-ap1 )
(!unload-truck ?package15 ?truck3-1 ?city1-ap1 )
(!fly-airplane ?plane6 ?city3-ap3 ?city1-ap1 )
(!load-airplane ?package15 ?plane6 ?city1-ap1 )
(!fly-airplane ?plane6 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package15 ?plane6 ?city3-ap3 )
(!load-truck ?package15 ?truck3-3 ?city3-ap3 )
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package15 ?truck3-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package2 ?city3-cl2 ))
((obj-at ?package2 ?city1-cl3 )
(type ?package2 bigpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl3 )
(truck ?truck2-1 ?city1 )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city3-ap3 )
(airplane ?plane6 ?city3 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package2 ?truck2-1 ?city1-cl3 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-ap1 )
(!unload-truck ?package2 ?truck2-1 ?city1-ap1 )
(!fly-airplane ?plane6 ?city3-ap3 ?city1-ap1 )
(!load-airplane ?package2 ?plane6 ?city1-ap1 )
(!fly-airplane ?plane6 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package2 ?plane6 ?city3-ap3 )
(!load-truck ?package2 ?truck2-3 ?city3-ap3 )
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package2 ?truck2-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city3-cl1 ))
((obj-at ?package7 ?city3-cl1 )
(type ?package7 mediumpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-cl1 )
(truck ?truck2-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
)
()
(
(!load-truck ?package7 ?truck2-3 ?city3-cl1 )
(!drive-truck ?truck2-3 ?city3-cl1 ?city3-cl1 )
(!unload-truck ?package7 ?truck2-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city3-cl1 ))
((obj-at ?package12 ?city5-cl1 )
(type ?package12 smallpackage )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-ap3 )
(truck ?truck5-3 ?city3 )
(type ?truck4-5 smalltruck )
(truck-at ?truck4-5 ?city5-cl1 )
(truck ?truck4-5 ?city5 )
(type ?plane1 plane )
(airplane-at ?plane1 ?city5-ap5 )
(airplane ?plane1 ?city5 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package12 ?truck4-5 ?city5-cl1 )
(!drive-truck ?truck4-5 ?city5-cl1 ?city5-ap5 )
(!unload-truck ?package12 ?truck4-5 ?city5-ap5 )
(!load-airplane ?package12 ?plane1 ?city5-ap5 )
(!fly-airplane ?plane1 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package12 ?plane1 ?city3-ap3 )
(!load-truck ?package12 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package12 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city3-cl3 ))
((obj-at ?package15 ?city1-cl1 )
(type ?package15 mediumpackage )
(type ?truck7-1 mediumtruck )
(truck-at ?truck7-1 ?city1-cl2 )
(truck ?truck7-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane11 mediumplane )
(airplane-at ?plane11 ?city2-ap2 )
(airplane ?plane11 ?city2 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck7-1 ?city1-cl2 ?city1-cl1 )
(!load-truck ?package15 ?truck7-1 ?city1-cl1 )
(!drive-truck ?truck7-1 ?city1-cl1 ?city1-ap1 )
(!unload-truck ?package15 ?truck7-1 ?city1-ap1 )
(!fly-airplane ?plane11 ?city2-ap2 ?city1-ap1 )
(!load-airplane ?package15 ?plane11 ?city1-ap1 )
(!fly-airplane ?plane11 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package15 ?plane11 ?city3-ap3 )
(!load-truck ?package15 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package15 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city3-cl3 ))
((obj-at ?package19 ?city3-cl2 )
(type ?package19 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city3-ap3 ?city3 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!load-truck ?package19 ?truck6-3 ?city3-cl2 )
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-cl3 )
(!unload-truck ?package19 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city3-cl3 ))
((obj-at ?package4 ?city2-cl3 )
(type ?package4 smallpackage )
(type ?truck4-2 smalltruck )
(truck-at ?truck4-2 ?city2-cl3 )
(truck ?truck4-2 ?city2 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-ap3 )
(truck ?truck5-3 ?city3 )
(type ?plane9 plane )
(airplane-at ?plane9 ?city1-ap1 )
(airplane ?plane9 ?city1 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package4 ?truck4-2 ?city2-cl3 )
(!drive-truck ?truck4-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package4 ?truck4-2 ?city2-ap2 )
(!fly-airplane ?plane9 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package4 ?plane9 ?city2-ap2 )
(!fly-airplane ?plane9 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package4 ?plane9 ?city3-ap3 )
(!load-truck ?package4 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package4 ?truck5-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city3-cl1 ))
((obj-at ?package12 ?city5-cl3 )
(type ?package12 smallpackage )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl3 )
(truck ?truck5-3 ?city3 )
(type ?truck7-5 mediumtruck )
(truck-at ?truck7-5 ?city5-cl3 )
(truck ?truck7-5 ?city5 )
(type ?plane16 smallplane )
(airplane-at ?plane16 ?city5-ap5 )
(airplane ?plane16 ?city5 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package12 ?truck7-5 ?city5-cl3 )
(!drive-truck ?truck7-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package12 ?truck7-5 ?city5-ap5 )
(!load-airplane ?package12 ?plane16 ?city5-ap5 )
(!fly-airplane ?plane16 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package12 ?plane16 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-cl3 ?city3-ap3 )
(!load-truck ?package12 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package12 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package14 ?city3-cl2 ))
((obj-at ?package14 ?city1-cl1 )
(type ?package14 bigpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city4-ap4 )
(airplane ?plane10 ?city4 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl1 )
(!load-truck ?package14 ?truck6-1 ?city1-cl1 )
(!drive-truck ?truck6-1 ?city1-cl1 ?city1-ap1 )
(!unload-truck ?package14 ?truck6-1 ?city1-ap1 )
(!fly-airplane ?plane10 ?city4-ap4 ?city1-ap1 )
(!load-airplane ?package14 ?plane10 ?city1-ap1 )
(!fly-airplane ?plane10 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package14 ?plane10 ?city3-ap3 )
(!load-truck ?package14 ?truck2-3 ?city3-ap3 )
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package14 ?truck2-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city3-cl2 ))
((obj-at ?package19 ?city5-cl2 )
(type ?package19 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-cl2 )
(truck ?truck6-3 ?city3 )
(type ?truck7-5 mediumtruck )
(truck-at ?truck7-5 ?city5-cl1 )
(truck ?truck7-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city3-ap3 )
(airplane ?plane2 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck7-5 ?city5-cl1 ?city5-cl2 )
(!load-truck ?package19 ?truck7-5 ?city5-cl2 )
(!drive-truck ?truck7-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package19 ?truck7-5 ?city5-ap5 )
(!fly-airplane ?plane2 ?city3-ap3 ?city5-ap5 )
(!load-airplane ?package19 ?plane2 ?city5-ap5 )
(!fly-airplane ?plane2 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package19 ?plane2 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-ap3 )
(!load-truck ?package19 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package19 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city3-cl2 ))
((obj-at ?package4 ?city2-cl2 )
(type ?package4 smallpackage )
(type ?truck1-2 truck )
(truck-at ?truck1-2 ?city2-cl2 )
(truck ?truck1-2 ?city2 )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?plane8 smallplane )
(airplane-at ?plane8 ?city2-ap2 )
(airplane ?plane8 ?city2 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package4 ?truck1-2 ?city2-cl2 )
(!drive-truck ?truck1-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package4 ?truck1-2 ?city2-ap2 )
(!load-airplane ?package4 ?plane8 ?city2-ap2 )
(!fly-airplane ?plane8 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package4 ?plane8 ?city3-ap3 )
(!load-truck ?package4 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package4 ?truck7-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city3-cl3 ))
((obj-at ?package7 ?city3-cl2 )
(type ?package7 mediumpackage )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city3-ap3 ?city3 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl2 )
(!load-truck ?package7 ?truck3-3 ?city3-cl2 )
(!drive-truck ?truck3-3 ?city3-cl2 ?city3-cl3 )
(!unload-truck ?package7 ?truck3-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package9 ?city3-cl2 ))
((obj-at ?package9 ?city4-cl3 )
(type ?package9 package )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl3 )
(truck ?truck2-4 ?city4 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city5-ap5 )
(airplane ?plane14 ?city5 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package9 ?truck2-4 ?city4-cl3 )
(!drive-truck ?truck2-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package9 ?truck2-4 ?city4-ap4 )
(!fly-airplane ?plane14 ?city5-ap5 ?city4-ap4 )
(!load-airplane ?package9 ?plane14 ?city4-ap4 )
(!fly-airplane ?plane14 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package9 ?plane14 ?city3-ap3 )
(!load-truck ?package9 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package9 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city3-cl3 ))
((obj-at ?package12 ?city5-cl2 )
(type ?package12 smallpackage )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl2 )
(truck ?truck3-5 ?city5 )
(type ?plane20 smallplane )
(airplane-at ?plane20 ?city1-ap1 )
(airplane ?plane20 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package12 ?truck3-5 ?city5-cl2 )
(!drive-truck ?truck3-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package12 ?truck3-5 ?city5-ap5 )
(!fly-airplane ?plane20 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package12 ?plane20 ?city5-ap5 )
(!fly-airplane ?plane20 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package12 ?plane20 ?city3-ap3 )
(!load-truck ?package12 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package12 ?truck7-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city3-cl1 ))
((obj-at ?package19 ?city5-cl1 )
(type ?package19 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl1 )
(truck ?truck2-5 ?city5 )
(type ?plane3 mediumplane )
(airplane-at ?plane3 ?city5-ap5 )
(airplane ?plane3 ?city5 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package19 ?truck2-5 ?city5-cl1 )
(!drive-truck ?truck2-5 ?city5-cl1 ?city5-ap5 )
(!unload-truck ?package19 ?truck2-5 ?city5-ap5 )
(!load-airplane ?package19 ?plane3 ?city5-ap5 )
(!fly-airplane ?plane3 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package19 ?plane3 ?city3-ap3 )
(!load-truck ?package19 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package19 ?truck6-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city3-cl1 ))
((obj-at ?package4 ?city2-cl2 )
(type ?package4 smallpackage )
(type ?truck5-2 truck )
(truck-at ?truck5-2 ?city2-cl2 )
(truck ?truck5-2 ?city2 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-ap3 )
(truck ?truck5-3 ?city3 )
(type ?plane1 plane )
(airplane-at ?plane1 ?city1-ap1 )
(airplane ?plane1 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package4 ?truck5-2 ?city2-cl2 )
(!drive-truck ?truck5-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package4 ?truck5-2 ?city2-ap2 )
(!fly-airplane ?plane1 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package4 ?plane1 ?city2-ap2 )
(!fly-airplane ?plane1 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package4 ?plane1 ?city3-ap3 )
(!load-truck ?package4 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package4 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city3-cl2 ))
((obj-at ?package7 ?city3-cl1 )
(type ?package7 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-ap3 ?city3 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!load-truck ?package7 ?truck6-3 ?city3-cl1 )
(!drive-truck ?truck6-3 ?city3-cl1 ?city3-cl2 )
(!unload-truck ?package7 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city3-cl2 ))
((obj-at ?package12 ?city2-cl2 )
(type ?package12 smallpackage )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl2 )
(truck ?truck6-2 ?city2 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl3 )
(truck ?truck5-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city1-ap1 )
(airplane ?plane6 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package12 ?truck6-2 ?city2-cl2 )
(!drive-truck ?truck6-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package12 ?truck6-2 ?city2-ap2 )
(!fly-airplane ?plane6 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package12 ?plane6 ?city2-ap2 )
(!fly-airplane ?plane6 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package12 ?plane6 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-cl3 ?city3-ap3 )
(!load-truck ?package12 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package12 ?truck5-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package6 ?city3-cl1 ))
((obj-at ?package6 ?city3-cl3 )
(type ?package6 bigpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city3-ap3 ?city3 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl3 )
(!load-truck ?package6 ?truck2-3 ?city3-cl3 )
(!drive-truck ?truck2-3 ?city3-cl3 ?city3-cl1 )
(!unload-truck ?package6 ?truck2-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package9 ?city3-cl2 ))
((obj-at ?package9 ?city4-cl2 )
(type ?package9 package )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck5-4 truck )
(truck-at ?truck5-4 ?city4-cl1 )
(truck ?truck5-4 ?city4 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city4-ap4 )
(airplane ?plane6 ?city4 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck5-4 ?city4-cl1 ?city4-cl2 )
(!load-truck ?package9 ?truck5-4 ?city4-cl2 )
(!drive-truck ?truck5-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package9 ?truck5-4 ?city4-ap4 )
(!load-airplane ?package9 ?plane6 ?city4-ap4 )
(!fly-airplane ?plane6 ?city4-ap4 ?city3-ap3 )
(!unload-airplane ?package9 ?plane6 ?city3-ap3 )
(!load-truck ?package9 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package9 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city3-cl3 ))
((obj-at ?package16 ?city2-cl1 )
(type ?package16 smallpackage )
(type ?truck2-2 bigtruck )
(truck-at ?truck2-2 ?city2-cl1 )
(truck ?truck2-2 ?city2 )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?plane13 plane )
(airplane-at ?plane13 ?city2-ap2 )
(airplane ?plane13 ?city2 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package16 ?truck2-2 ?city2-cl1 )
(!drive-truck ?truck2-2 ?city2-cl1 ?city2-ap2 )
(!unload-truck ?package16 ?truck2-2 ?city2-ap2 )
(!load-airplane ?package16 ?plane13 ?city2-ap2 )
(!fly-airplane ?plane13 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package16 ?plane13 ?city3-ap3 )
(!load-truck ?package16 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package16 ?truck7-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city3-cl3 ))
((obj-at ?package16 ?city2-cl1 )
(type ?package16 smallpackage )
(type ?truck2-2 bigtruck )
(truck-at ?truck2-2 ?city2-cl1 )
(truck ?truck2-2 ?city2 )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?plane13 plane )
(airplane-at ?plane13 ?city2-ap2 )
(airplane ?plane13 ?city2 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package16 ?truck2-2 ?city2-cl1 )
(!drive-truck ?truck2-2 ?city2-cl1 ?city2-ap2 )
(!unload-truck ?package16 ?truck2-2 ?city2-ap2 )
(!load-airplane ?package16 ?plane13 ?city2-ap2 )
(!fly-airplane ?plane13 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package16 ?plane13 ?city3-ap3 )
(!load-truck ?package16 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package16 ?truck7-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city3-cl2 ))
((obj-at ?package19 ?city5-cl3 )
(type ?package19 mediumpackage )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl3 )
(truck ?truck3-5 ?city5 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city5-ap5 )
(airplane ?plane10 ?city5 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package19 ?truck3-5 ?city5-cl3 )
(!drive-truck ?truck3-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package19 ?truck3-5 ?city5-ap5 )
(!load-airplane ?package19 ?plane10 ?city5-ap5 )
(!fly-airplane ?plane10 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package19 ?plane10 ?city3-ap3 )
(!load-truck ?package19 ?truck3-3 ?city3-ap3 )
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl2 )
(!unload-truck ?package19 ?truck3-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package1 ?city3-cl3 ))
((obj-at ?package1 ?city1-cl2 )
(type ?package1 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane18 bigplane )
(airplane-at ?plane18 ?city2-ap2 )
(airplane ?plane18 ?city2 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-cl2 )
(!load-truck ?package1 ?truck5-1 ?city1-cl2 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!unload-truck ?package1 ?truck5-1 ?city1-ap1 )
(!fly-airplane ?plane18 ?city2-ap2 ?city1-ap1 )
(!load-airplane ?package1 ?plane18 ?city1-ap1 )
(!fly-airplane ?plane18 ?city1-ap1 ?city3-ap3 )
(!unload-airplane ?package1 ?plane18 ?city3-ap3 )
(!load-truck ?package1 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package1 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city3-cl1 ))
((obj-at ?package4 ?city2-cl1 )
(type ?package4 smallpackage )
(type ?truck7-2 mediumtruck )
(truck-at ?truck7-2 ?city2-cl1 )
(truck ?truck7-2 ?city2 )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?plane9 plane )
(airplane-at ?plane9 ?city2-ap2 )
(airplane ?plane9 ?city2 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package4 ?truck7-2 ?city2-cl1 )
(!drive-truck ?truck7-2 ?city2-cl1 ?city2-ap2 )
(!unload-truck ?package4 ?truck7-2 ?city2-ap2 )
(!load-airplane ?package4 ?plane9 ?city2-ap2 )
(!fly-airplane ?plane9 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package4 ?plane9 ?city3-ap3 )
(!load-truck ?package4 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package4 ?truck7-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package6 ?city3-cl3 ))
((obj-at ?package6 ?city3-cl2 )
(type ?package6 bigpackage )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-ap3 )
(truck ?truck2-3 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city3-ap3 ?city3 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck2-3 ?city3-ap3 ?city3-cl2 )
(!load-truck ?package6 ?truck2-3 ?city3-cl2 )
(!drive-truck ?truck2-3 ?city3-cl2 ?city3-cl3 )
(!unload-truck ?package6 ?truck2-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city3-cl3 ))
((obj-at ?package11 ?city5-cl3 )
(type ?package11 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl3 )
(truck ?truck3-5 ?city5 )
(type ?plane19 mediumplane )
(airplane-at ?plane19 ?city1-ap1 )
(airplane ?plane19 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package11 ?truck3-5 ?city5-cl3 )
(!drive-truck ?truck3-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package11 ?truck3-5 ?city5-ap5 )
(!fly-airplane ?plane19 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package11 ?plane19 ?city5-ap5 )
(!fly-airplane ?plane19 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package11 ?plane19 ?city3-ap3 )
(!load-truck ?package11 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package11 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city3-cl3 ))
((obj-at ?package11 ?city5-cl3 )
(type ?package11 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl3 )
(truck ?truck3-5 ?city5 )
(type ?plane19 mediumplane )
(airplane-at ?plane19 ?city1-ap1 )
(airplane ?plane19 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package11 ?truck3-5 ?city5-cl3 )
(!drive-truck ?truck3-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package11 ?truck3-5 ?city5-ap5 )
(!fly-airplane ?plane19 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package11 ?plane19 ?city5-ap5 )
(!fly-airplane ?plane19 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package11 ?plane19 ?city3-ap3 )
(!load-truck ?package11 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package11 ?truck6-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city3-cl1 ))
((obj-at ?package19 ?city5-cl3 )
(type ?package19 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck7-5 mediumtruck )
(truck-at ?truck7-5 ?city5-ap5 )
(truck ?truck7-5 ?city5 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city5-ap5 )
(airplane ?plane6 ?city5 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck7-5 ?city5-ap5 ?city5-cl3 )
(!load-truck ?package19 ?truck7-5 ?city5-cl3 )
(!drive-truck ?truck7-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package19 ?truck7-5 ?city5-ap5 )
(!load-airplane ?package19 ?plane6 ?city5-ap5 )
(!fly-airplane ?plane6 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package19 ?plane6 ?city3-ap3 )
(!load-truck ?package19 ?truck6-3 ?city3-ap3 )
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package19 ?truck6-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city3-cl1 ))
((obj-at ?package4 ?city2-cl3 )
(type ?package4 smallpackage )
(type ?truck2-2 bigtruck )
(truck-at ?truck2-2 ?city2-cl3 )
(truck ?truck2-2 ?city2 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl3 )
(truck ?truck5-3 ?city3 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city1-ap1 )
(airplane ?plane10 ?city1 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package4 ?truck2-2 ?city2-cl3 )
(!drive-truck ?truck2-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package4 ?truck2-2 ?city2-ap2 )
(!fly-airplane ?plane10 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package4 ?plane10 ?city2-ap2 )
(!fly-airplane ?plane10 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package4 ?plane10 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-cl3 ?city3-ap3 )
(!load-truck ?package4 ?truck5-3 ?city3-ap3 )
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!unload-truck ?package4 ?truck5-3 ?city3-cl1 )
))


(:case (achieve-single-goal (obj-at ?package6 ?city3-cl2 ))
((obj-at ?package6 ?city3-cl1 )
(type ?package6 bigpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-cl1 )
(truck ?truck6-3 ?city3 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
)
()
(
(!load-truck ?package6 ?truck6-3 ?city3-cl1 )
(!drive-truck ?truck6-3 ?city3-cl1 ?city3-cl2 )
(!unload-truck ?package6 ?truck6-3 ?city3-cl2 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city3-cl3 ))
((obj-at ?package19 ?city5-cl2 )
(type ?package19 mediumpackage )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl3 )
(truck ?truck3-5 ?city5 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city5-ap5 )
(airplane ?plane10 ?city5 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck3-5 ?city5-cl3 ?city5-cl2 )
(!load-truck ?package19 ?truck3-5 ?city5-cl2 )
(!drive-truck ?truck3-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package19 ?truck3-5 ?city5-ap5 )
(!load-airplane ?package19 ?plane10 ?city5-ap5 )
(!fly-airplane ?plane10 ?city5-ap5 ?city3-ap3 )
(!unload-airplane ?package19 ?plane10 ?city3-ap3 )
(!load-truck ?package19 ?truck3-3 ?city3-ap3 )
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package19 ?truck3-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city3-cl3 ))
((obj-at ?package4 ?city2-cl2 )
(type ?package4 smallpackage )
(type ?truck2-2 bigtruck )
(truck-at ?truck2-2 ?city2-ap2 )
(truck ?truck2-2 ?city2 )
(type ?truck7-3 mediumtruck )
(truck-at ?truck7-3 ?city3-ap3 )
(truck ?truck7-3 ?city3 )
(type ?plane20 smallplane )
(airplane-at ?plane20 ?city2-ap2 )
(airplane ?plane20 ?city2 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck2-2 ?city2-ap2 ?city2-cl2 )
(!load-truck ?package4 ?truck2-2 ?city2-cl2 )
(!drive-truck ?truck2-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package4 ?truck2-2 ?city2-ap2 )
(!load-airplane ?package4 ?plane20 ?city2-ap2 )
(!fly-airplane ?plane20 ?city2-ap2 ?city3-ap3 )
(!unload-airplane ?package4 ?plane20 ?city3-ap3 )
(!load-truck ?package4 ?truck7-3 ?city3-ap3 )
(!drive-truck ?truck7-3 ?city3-ap3 ?city3-cl3 )
(!unload-truck ?package4 ?truck7-3 ?city3-cl3 )
))


(:case (achieve-single-goal (obj-at ?package13 ?city1-cl3 ))
((obj-at ?package13 ?city3-cl2 )
(type ?package13 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl2 )
(truck ?truck5-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city3-ap3 )
(airplane ?plane6 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package13 ?truck5-3 ?city3-cl2 )
(!drive-truck ?truck5-3 ?city3-cl2 ?city3-ap3 )
(!unload-truck ?package13 ?truck5-3 ?city3-ap3 )
(!load-airplane ?package13 ?plane6 ?city3-ap3 )
(!fly-airplane ?plane6 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package13 ?plane6 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package13 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package13 ?truck5-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city1-cl1 ))
((obj-at ?package16 ?city4-cl1 )
(type ?package16 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck1-4 truck )
(truck-at ?truck1-4 ?city4-cl3 )
(truck ?truck1-4 ?city4 )
(type ?plane4 smallplane )
(airplane-at ?plane4 ?city1-ap1 )
(airplane ?plane4 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck1-4 ?city4-cl3 ?city4-cl1 )
(!load-truck ?package16 ?truck1-4 ?city4-cl1 )
(!drive-truck ?truck1-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package16 ?truck1-4 ?city4-ap4 )
(!fly-airplane ?plane4 ?city1-ap1 ?city4-ap4 )
(!load-airplane ?package16 ?plane4 ?city4-ap4 )
(!fly-airplane ?plane4 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package16 ?plane4 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package16 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package16 ?truck2-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package1 ?city1-cl1 ))
((obj-at ?package1 ?city1-cl2 )
(type ?package1 package )
(type ?truck1-1 truck )
(truck-at ?truck1-1 ?city1-ap1 )
(truck ?truck1-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-ap1 ?city1 )
(airport ?city1-ap1 )
)
()
(
(!drive-truck ?truck1-1 ?city1-ap1 ?city1-cl2 )
(!load-truck ?package1 ?truck1-1 ?city1-cl2 )
(!drive-truck ?truck1-1 ?city1-cl2 ?city1-cl1 )
(!unload-truck ?package1 ?truck1-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city1-cl2 ))
((obj-at ?package8 ?city1-cl1 )
(type ?package8 smallpackage )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
)
()
(
(!load-truck ?package8 ?truck5-1 ?city1-cl1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-cl2 )
(!unload-truck ?package8 ?truck5-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city1-cl1 ))
((obj-at ?package11 ?city2-cl3 )
(type ?package11 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck7-2 mediumtruck )
(truck-at ?truck7-2 ?city2-ap2 )
(truck ?truck7-2 ?city2 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city1-ap1 )
(airplane ?plane6 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!drive-truck ?truck7-2 ?city2-ap2 ?city2-cl3 )
(!load-truck ?package11 ?truck7-2 ?city2-cl3 )
(!drive-truck ?truck7-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package11 ?truck7-2 ?city2-ap2 )
(!fly-airplane ?plane6 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package11 ?plane6 ?city2-ap2 )
(!fly-airplane ?plane6 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package11 ?plane6 ?city1-ap1 )
(!load-truck ?package11 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package11 ?truck3-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city1-cl1 ))
((obj-at ?package11 ?city2-cl3 )
(type ?package11 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck7-2 mediumtruck )
(truck-at ?truck7-2 ?city2-ap2 )
(truck ?truck7-2 ?city2 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city1-ap1 )
(airplane ?plane6 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!drive-truck ?truck7-2 ?city2-ap2 ?city2-cl3 )
(!load-truck ?package11 ?truck7-2 ?city2-cl3 )
(!drive-truck ?truck7-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package11 ?truck7-2 ?city2-ap2 )
(!fly-airplane ?plane6 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package11 ?plane6 ?city2-ap2 )
(!fly-airplane ?plane6 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package11 ?plane6 ?city1-ap1 )
(!load-truck ?package11 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package11 ?truck3-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city1-cl3 ))
((obj-at ?package16 ?city4-cl3 )
(type ?package16 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-cl1 )
(truck ?truck6-1 ?city1 )
(type ?truck1-4 truck )
(truck-at ?truck1-4 ?city4-cl2 )
(truck ?truck1-4 ?city4 )
(type ?plane17 plane )
(airplane-at ?plane17 ?city4-ap4 )
(airplane ?plane17 ?city4 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck1-4 ?city4-cl2 ?city4-cl3 )
(!load-truck ?package16 ?truck1-4 ?city4-cl3 )
(!drive-truck ?truck1-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package16 ?truck1-4 ?city4-ap4 )
(!load-airplane ?package16 ?plane17 ?city4-ap4 )
(!fly-airplane ?plane17 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package16 ?plane17 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package16 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package16 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package13 ?city1-cl3 ))
((obj-at ?package13 ?city3-cl1 )
(type ?package13 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl2 )
(truck ?truck5-1 ?city1 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-cl2 )
(truck ?truck5-3 ?city3 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck5-3 ?city3-cl2 ?city3-cl1 )
(!load-truck ?package13 ?truck5-3 ?city3-cl1 )
(!drive-truck ?truck5-3 ?city3-cl1 ?city3-ap3 )
(!unload-truck ?package13 ?truck5-3 ?city3-ap3 )
(!fly-airplane ?plane14 ?city1-ap1 ?city3-ap3 )
(!load-airplane ?package13 ?plane14 ?city3-ap3 )
(!fly-airplane ?plane14 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package13 ?plane14 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package13 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package13 ?truck5-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city1-cl2 ))
((obj-at ?package15 ?city4-cl2 )
(type ?package15 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(type ?truck7-4 mediumtruck )
(truck-at ?truck7-4 ?city4-ap4 )
(truck ?truck7-4 ?city4 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city4-ap4 )
(airplane ?plane10 ?city4 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck7-4 ?city4-ap4 ?city4-cl2 )
(!load-truck ?package15 ?truck7-4 ?city4-cl2 )
(!drive-truck ?truck7-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package15 ?truck7-4 ?city4-ap4 )
(!load-airplane ?package15 ?plane10 ?city4-ap4 )
(!fly-airplane ?plane10 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package15 ?plane10 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package15 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package15 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city1-cl3 ))
((obj-at ?package3 ?city2-cl2 )
(type ?package3 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck3-2 mediumtruck )
(truck-at ?truck3-2 ?city2-cl2 )
(truck ?truck3-2 ?city2 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city5-ap5 )
(airplane ?plane2 ?city5 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package3 ?truck3-2 ?city2-cl2 )
(!drive-truck ?truck3-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package3 ?truck3-2 ?city2-ap2 )
(!fly-airplane ?plane2 ?city5-ap5 ?city2-ap2 )
(!load-airplane ?package3 ?plane2 ?city2-ap2 )
(!fly-airplane ?plane2 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package3 ?plane2 ?city1-ap1 )
(!load-truck ?package3 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package3 ?truck3-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package5 ?city1-cl1 ))
((obj-at ?package5 ?city3-cl3 )
(type ?package5 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-cl1 )
(truck ?truck2-3 ?city3 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city5-ap5 )
(airplane ?plane10 ?city5 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck2-3 ?city3-cl1 ?city3-cl3 )
(!load-truck ?package5 ?truck2-3 ?city3-cl3 )
(!drive-truck ?truck2-3 ?city3-cl3 ?city3-ap3 )
(!unload-truck ?package5 ?truck2-3 ?city3-ap3 )
(!fly-airplane ?plane10 ?city5-ap5 ?city3-ap3 )
(!load-airplane ?package5 ?plane10 ?city3-ap3 )
(!fly-airplane ?plane10 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package5 ?plane10 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package5 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package5 ?truck5-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city1-cl3 ))
((obj-at ?package8 ?city1-cl3 )
(type ?package8 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-cl3 )
(!load-truck ?package8 ?truck2-1 ?city1-cl3 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-cl3 )
(!unload-truck ?package8 ?truck2-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package13 ?city1-cl2 ))
((obj-at ?package13 ?city3-cl3 )
(type ?package13 package )
(type ?truck1-1 truck )
(truck-at ?truck1-1 ?city1-ap1 )
(truck ?truck1-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-cl1 )
(truck ?truck6-3 ?city3 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city5-ap5 )
(airplane ?plane10 ?city5 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck6-3 ?city3-cl1 ?city3-cl3 )
(!load-truck ?package13 ?truck6-3 ?city3-cl3 )
(!drive-truck ?truck6-3 ?city3-cl3 ?city3-ap3 )
(!unload-truck ?package13 ?truck6-3 ?city3-ap3 )
(!fly-airplane ?plane10 ?city5-ap5 ?city3-ap3 )
(!load-airplane ?package13 ?plane10 ?city3-ap3 )
(!fly-airplane ?plane10 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package13 ?plane10 ?city1-ap1 )
(!load-truck ?package13 ?truck1-1 ?city1-ap1 )
(!drive-truck ?truck1-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package13 ?truck1-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city1-cl1 ))
((obj-at ?package15 ?city4-cl2 )
(type ?package15 mediumpackage )
(type ?truck7-1 mediumtruck )
(truck-at ?truck7-1 ?city1-ap1 )
(truck ?truck7-1 ?city1 )
(type ?truck7-4 mediumtruck )
(truck-at ?truck7-4 ?city4-cl2 )
(truck ?truck7-4 ?city4 )
(type ?plane3 mediumplane )
(airplane-at ?plane3 ?city4-ap4 )
(airplane ?plane3 ?city4 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package15 ?truck7-4 ?city4-cl2 )
(!drive-truck ?truck7-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package15 ?truck7-4 ?city4-ap4 )
(!load-airplane ?package15 ?plane3 ?city4-ap4 )
(!fly-airplane ?plane3 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package15 ?plane3 ?city1-ap1 )
(!load-truck ?package15 ?truck7-1 ?city1-ap1 )
(!drive-truck ?truck7-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package15 ?truck7-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package20 ?city1-cl1 ))
((obj-at ?package20 ?city1-cl2 )
(type ?package20 smallpackage )
(type ?truck8-1 smalltruck )
(truck-at ?truck8-1 ?city1-cl2 )
(truck ?truck8-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
)
()
(
(!load-truck ?package20 ?truck8-1 ?city1-cl2 )
(!drive-truck ?truck8-1 ?city1-cl2 ?city1-cl1 )
(!unload-truck ?package20 ?truck8-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city1-cl2 ))
((obj-at ?package3 ?city4-cl1 )
(type ?package3 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl3 )
(truck ?truck2-4 ?city4 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city1-ap1 )
(airplane ?plane6 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck2-4 ?city4-cl3 ?city4-cl1 )
(!load-truck ?package3 ?truck2-4 ?city4-cl1 )
(!drive-truck ?truck2-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package3 ?truck2-4 ?city4-ap4 )
(!fly-airplane ?plane6 ?city1-ap1 ?city4-ap4 )
(!load-airplane ?package3 ?plane6 ?city4-ap4 )
(!fly-airplane ?plane6 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package3 ?plane6 ?city1-ap1 )
(!load-truck ?package3 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package3 ?truck3-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city1-cl3 ))
((obj-at ?package15 ?city4-cl1 )
(type ?package15 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl1 )
(truck ?truck2-4 ?city4 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package15 ?truck2-4 ?city4-cl1 )
(!drive-truck ?truck2-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package15 ?truck2-4 ?city4-ap4 )
(!fly-airplane ?plane14 ?city1-ap1 ?city4-ap4 )
(!load-airplane ?package15 ?plane14 ?city4-ap4 )
(!fly-airplane ?plane14 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package15 ?plane14 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package15 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package15 ?truck2-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package3 ?city1-cl1 ))
((obj-at ?package3 ?city4-cl1 )
(type ?package3 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck3-4 mediumtruck )
(truck-at ?truck3-4 ?city4-cl1 )
(truck ?truck3-4 ?city4 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city2-ap2 )
(airplane ?plane2 ?city2 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package3 ?truck3-4 ?city4-cl1 )
(!drive-truck ?truck3-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package3 ?truck3-4 ?city4-ap4 )
(!fly-airplane ?plane2 ?city2-ap2 ?city4-ap4 )
(!load-airplane ?package3 ?plane2 ?city4-ap4 )
(!fly-airplane ?plane2 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package3 ?plane2 ?city1-ap1 )
(!load-truck ?package3 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package3 ?truck3-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package5 ?city1-cl3 ))
((obj-at ?package5 ?city5-cl2 )
(type ?package5 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck5-5 truck )
(truck-at ?truck5-5 ?city5-cl1 )
(truck ?truck5-5 ?city5 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city5-ap5 )
(airplane ?plane6 ?city5 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck5-5 ?city5-cl1 ?city5-cl2 )
(!load-truck ?package5 ?truck5-5 ?city5-cl2 )
(!drive-truck ?truck5-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package5 ?truck5-5 ?city5-ap5 )
(!load-airplane ?package5 ?plane6 ?city5-ap5 )
(!fly-airplane ?plane6 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package5 ?plane6 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package5 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package5 ?truck5-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package8 ?city1-cl1 ))
((obj-at ?package8 ?city1-cl1 )
(type ?package8 smallpackage )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
)
()
(
(!load-truck ?package8 ?truck5-1 ?city1-cl1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-cl1 )
(!unload-truck ?package8 ?truck5-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city1-cl2 ))
((obj-at ?package7 ?city1-cl3 )
(type ?package7 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-cl3 )
(!load-truck ?package7 ?truck2-1 ?city1-cl3 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-cl2 )
(!unload-truck ?package7 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city1-cl2 ))
((obj-at ?package12 ?city3-cl1 )
(type ?package12 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck5-3 truck )
(truck-at ?truck5-3 ?city3-ap3 )
(truck ?truck5-3 ?city3 )
(type ?plane4 smallplane )
(airplane-at ?plane4 ?city3-ap3 )
(airplane ?plane4 ?city3 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck5-3 ?city3-ap3 ?city3-cl1 )
(!load-truck ?package12 ?truck5-3 ?city3-cl1 )
(!drive-truck ?truck5-3 ?city3-cl1 ?city3-ap3 )
(!unload-truck ?package12 ?truck5-3 ?city3-ap3 )
(!load-airplane ?package12 ?plane4 ?city3-ap3 )
(!fly-airplane ?plane4 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package12 ?plane4 ?city1-ap1 )
(!load-truck ?package12 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package12 ?truck6-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package5 ?city1-cl3 ))
((obj-at ?package5 ?city5-cl1 )
(type ?package5 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl2 )
(truck ?truck5-1 ?city1 )
(type ?truck1-5 truck )
(truck-at ?truck1-5 ?city5-cl1 )
(truck ?truck1-5 ?city5 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package5 ?truck1-5 ?city5-cl1 )
(!drive-truck ?truck1-5 ?city5-cl1 ?city5-ap5 )
(!unload-truck ?package5 ?truck1-5 ?city5-ap5 )
(!fly-airplane ?plane14 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package5 ?plane14 ?city5-ap5 )
(!fly-airplane ?plane14 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package5 ?plane14 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package5 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package5 ?truck5-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city1-cl1 ))
((obj-at ?package7 ?city1-cl3 )
(type ?package7 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-cl3 )
(!load-truck ?package7 ?truck2-1 ?city1-cl3 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-cl1 )
(!unload-truck ?package7 ?truck2-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city1-cl1 ))
((obj-at ?package12 ?city3-cl3 )
(type ?package12 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-ap1 )
(truck ?truck2-1 ?city1 )
(type ?truck4-3 smalltruck )
(truck-at ?truck4-3 ?city3-cl3 )
(truck ?truck4-3 ?city3 )
(type ?plane16 smallplane )
(airplane-at ?plane16 ?city3-ap3 )
(airplane ?plane16 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package12 ?truck4-3 ?city3-cl3 )
(!drive-truck ?truck4-3 ?city3-cl3 ?city3-ap3 )
(!unload-truck ?package12 ?truck4-3 ?city3-ap3 )
(!load-airplane ?package12 ?plane16 ?city3-ap3 )
(!fly-airplane ?plane16 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package12 ?plane16 ?city1-ap1 )
(!load-truck ?package12 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package12 ?truck2-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package15 ?city1-cl2 ))
((obj-at ?package15 ?city4-cl2 )
(type ?package15 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl3 )
(truck ?truck6-4 ?city4 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city4-ap4 )
(airplane ?plane14 ?city4 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck6-4 ?city4-cl3 ?city4-cl2 )
(!load-truck ?package15 ?truck6-4 ?city4-cl2 )
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-ap4 )
(!unload-truck ?package15 ?truck6-4 ?city4-ap4 )
(!load-airplane ?package15 ?plane14 ?city4-ap4 )
(!fly-airplane ?plane14 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package15 ?plane14 ?city1-ap1 )
(!load-truck ?package15 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package15 ?truck3-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package17 ?city1-cl1 ))
((obj-at ?package17 ?city5-cl1 )
(type ?package17 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck5-5 truck )
(truck-at ?truck5-5 ?city5-cl1 )
(truck ?truck5-5 ?city5 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city2-ap2 )
(airplane ?plane10 ?city2 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package17 ?truck5-5 ?city5-cl1 )
(!drive-truck ?truck5-5 ?city5-cl1 ?city5-ap5 )
(!unload-truck ?package17 ?truck5-5 ?city5-ap5 )
(!fly-airplane ?plane10 ?city2-ap2 ?city5-ap5 )
(!load-airplane ?package17 ?plane10 ?city5-ap5 )
(!fly-airplane ?plane10 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package17 ?plane10 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package17 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package17 ?truck5-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package20 ?city1-cl2 ))
((obj-at ?package20 ?city3-cl3 )
(type ?package20 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck4-3 smalltruck )
(truck-at ?truck4-3 ?city3-cl1 )
(truck ?truck4-3 ?city3 )
(type ?plane8 smallplane )
(airplane-at ?plane8 ?city2-ap2 )
(airplane ?plane8 ?city2 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck4-3 ?city3-cl1 ?city3-cl3 )
(!load-truck ?package20 ?truck4-3 ?city3-cl3 )
(!drive-truck ?truck4-3 ?city3-cl3 ?city3-ap3 )
(!unload-truck ?package20 ?truck4-3 ?city3-ap3 )
(!fly-airplane ?plane8 ?city2-ap2 ?city3-ap3 )
(!load-airplane ?package20 ?plane8 ?city3-ap3 )
(!fly-airplane ?plane8 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package20 ?plane8 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package20 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package20 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city1-cl3 ))
((obj-at ?package7 ?city1-cl2 )
(type ?package7 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-cl2 )
(!load-truck ?package7 ?truck2-1 ?city1-cl2 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-cl3 )
(!unload-truck ?package7 ?truck2-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city1-cl3 ))
((obj-at ?package12 ?city3-cl2 )
(type ?package12 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck2-3 bigtruck )
(truck-at ?truck2-3 ?city3-cl2 )
(truck ?truck2-3 ?city3 )
(type ?plane3 mediumplane )
(airplane-at ?plane3 ?city4-ap4 )
(airplane ?plane3 ?city4 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package12 ?truck2-3 ?city3-cl2 )
(!drive-truck ?truck2-3 ?city3-cl2 ?city3-ap3 )
(!unload-truck ?package12 ?truck2-3 ?city3-ap3 )
(!fly-airplane ?plane3 ?city4-ap4 ?city3-ap3 )
(!load-airplane ?package12 ?plane3 ?city3-ap3 )
(!fly-airplane ?plane3 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package12 ?plane3 ?city1-ap1 )
(!load-truck ?package12 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package12 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package17 ?city1-cl3 ))
((obj-at ?package17 ?city2-cl3 )
(type ?package17 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl3 )
(truck ?truck5-1 ?city1 )
(type ?truck1-2 truck )
(truck-at ?truck1-2 ?city2-cl2 )
(truck ?truck1-2 ?city2 )
(type ?plane10 bigplane )
(airplane-at ?plane10 ?city3-ap3 )
(airplane ?plane10 ?city3 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck1-2 ?city2-cl2 ?city2-cl3 )
(!load-truck ?package17 ?truck1-2 ?city2-cl3 )
(!drive-truck ?truck1-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package17 ?truck1-2 ?city2-ap2 )
(!fly-airplane ?plane10 ?city3-ap3 ?city2-ap2 )
(!load-airplane ?package17 ?plane10 ?city2-ap2 )
(!fly-airplane ?plane10 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package17 ?plane10 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl3 ?city1-ap1 )
(!load-truck ?package17 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package17 ?truck5-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package2 ?city1-cl3 ))
((obj-at ?package2 ?city4-cl1 )
(type ?package2 bigpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl2 )
(truck ?truck6-4 ?city4 )
(type ?plane18 bigplane )
(airplane-at ?plane18 ?city5-ap5 )
(airplane ?plane18 ?city5 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city4-cl1 ?city4 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
(airport ?city5-ap5 )
)
()
(
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-cl1 )
(!load-truck ?package2 ?truck6-4 ?city4-cl1 )
(!drive-truck ?truck6-4 ?city4-cl1 ?city4-ap4 )
(!unload-truck ?package2 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane18 ?city5-ap5 ?city4-ap4 )
(!load-airplane ?package2 ?plane18 ?city4-ap4 )
(!fly-airplane ?plane18 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package2 ?plane18 ?city1-ap1 )
(!load-truck ?package2 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package2 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package17 ?city1-cl1 ))
((obj-at ?package17 ?city5-cl3 )
(type ?package17 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl2 )
(truck ?truck5-1 ?city1 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl3 )
(truck ?truck2-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city1-ap1 )
(airplane ?plane2 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package17 ?truck2-5 ?city5-cl3 )
(!drive-truck ?truck2-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package17 ?truck2-5 ?city5-ap5 )
(!fly-airplane ?plane2 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package17 ?plane2 ?city5-ap5 )
(!fly-airplane ?plane2 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package17 ?plane2 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package17 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package17 ?truck5-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package17 ?city1-cl1 ))
((obj-at ?package17 ?city5-cl3 )
(type ?package17 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl2 )
(truck ?truck5-1 ?city1 )
(type ?truck2-5 bigtruck )
(truck-at ?truck2-5 ?city5-cl3 )
(truck ?truck2-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city1-ap1 )
(airplane ?plane2 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package17 ?truck2-5 ?city5-cl3 )
(!drive-truck ?truck2-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package17 ?truck2-5 ?city5-ap5 )
(!fly-airplane ?plane2 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package17 ?plane2 ?city5-ap5 )
(!fly-airplane ?plane2 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package17 ?plane2 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package17 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package17 ?truck5-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city1-cl2 ))
((obj-at ?package4 ?city5-cl2 )
(type ?package4 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-ap1 )
(truck ?truck2-1 ?city1 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl2 )
(truck ?truck3-5 ?city5 )
(type ?plane13 plane )
(airplane-at ?plane13 ?city5-ap5 )
(airplane ?plane13 ?city5 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package4 ?truck3-5 ?city5-cl2 )
(!drive-truck ?truck3-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package4 ?truck3-5 ?city5-ap5 )
(!load-airplane ?package4 ?plane13 ?city5-ap5 )
(!fly-airplane ?plane13 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package4 ?plane13 ?city1-ap1 )
(!load-truck ?package4 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package4 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city1-cl1 ))
((obj-at ?package7 ?city1-cl1 )
(type ?package7 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-ap1 ?city1 )
(airport ?city1-ap1 )
)
()
(
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!load-truck ?package7 ?truck3-1 ?city1-cl1 )
(!drive-truck ?truck3-1 ?city1-cl1 ?city1-cl1 )
(!unload-truck ?package7 ?truck3-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package9 ?city1-cl2 ))
((obj-at ?package9 ?city2-cl2 )
(type ?package9 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck5-2 truck )
(truck-at ?truck5-2 ?city2-cl2 )
(truck ?truck5-2 ?city2 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!load-truck ?package9 ?truck5-2 ?city2-cl2 )
(!drive-truck ?truck5-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package9 ?truck5-2 ?city2-ap2 )
(!fly-airplane ?plane14 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package9 ?plane14 ?city2-ap2 )
(!fly-airplane ?plane14 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package9 ?plane14 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package9 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package9 ?truck5-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city1-cl1 ))
((obj-at ?package12 ?city3-cl2 )
(type ?package12 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck4-3 smalltruck )
(truck-at ?truck4-3 ?city3-cl1 )
(truck ?truck4-3 ?city3 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city3-ap3 )
(airplane ?plane2 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck4-3 ?city3-cl1 ?city3-cl2 )
(!load-truck ?package12 ?truck4-3 ?city3-cl2 )
(!drive-truck ?truck4-3 ?city3-cl2 ?city3-ap3 )
(!unload-truck ?package12 ?truck4-3 ?city3-ap3 )
(!load-airplane ?package12 ?plane2 ?city3-ap3 )
(!fly-airplane ?plane2 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package12 ?plane2 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package12 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package12 ?truck2-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package14 ?city1-cl2 ))
((obj-at ?package14 ?city4-cl3 )
(type ?package14 bigpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl3 )
(truck ?truck2-1 ?city1 )
(type ?truck6-4 bigtruck )
(truck-at ?truck6-4 ?city4-cl2 )
(truck ?truck6-4 ?city4 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck6-4 ?city4-cl2 ?city4-cl3 )
(!load-truck ?package14 ?truck6-4 ?city4-cl3 )
(!drive-truck ?truck6-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package14 ?truck6-4 ?city4-ap4 )
(!fly-airplane ?plane14 ?city1-ap1 ?city4-ap4 )
(!load-airplane ?package14 ?plane14 ?city4-ap4 )
(!fly-airplane ?plane14 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package14 ?plane14 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-ap1 )
(!load-truck ?package14 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package14 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city1-cl2 ))
((obj-at ?package4 ?city5-cl1 )
(type ?package4 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck4-5 smalltruck )
(truck-at ?truck4-5 ?city5-cl1 )
(truck ?truck4-5 ?city5 )
(type ?plane17 plane )
(airplane-at ?plane17 ?city5-ap5 )
(airplane ?plane17 ?city5 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city5-cl1 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package4 ?truck4-5 ?city5-cl1 )
(!drive-truck ?truck4-5 ?city5-cl1 ?city5-ap5 )
(!unload-truck ?package4 ?truck4-5 ?city5-ap5 )
(!load-airplane ?package4 ?plane17 ?city5-ap5 )
(!fly-airplane ?plane17 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package4 ?plane17 ?city1-ap1 )
(!load-truck ?package4 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package4 ?truck6-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city1-cl3 ))
((obj-at ?package7 ?city1-cl3 )
(type ?package7 mediumpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-cl3 )
(truck ?truck6-1 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!load-truck ?package7 ?truck6-1 ?city1-cl3 )
(!drive-truck ?truck6-1 ?city1-cl3 ?city1-cl3 )
(!unload-truck ?package7 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city1-cl3 ))
((obj-at ?package12 ?city3-cl1 )
(type ?package12 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-cl1 )
(truck ?truck6-1 ?city1 )
(type ?truck8-3 smalltruck )
(truck-at ?truck8-3 ?city3-cl1 )
(truck ?truck8-3 ?city3 )
(type ?plane4 smallplane )
(airplane-at ?plane4 ?city3-ap3 )
(airplane ?plane4 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!load-truck ?package12 ?truck8-3 ?city3-cl1 )
(!drive-truck ?truck8-3 ?city3-cl1 ?city3-ap3 )
(!unload-truck ?package12 ?truck8-3 ?city3-ap3 )
(!load-airplane ?package12 ?plane4 ?city3-ap3 )
(!fly-airplane ?plane4 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package12 ?plane4 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package12 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package12 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package14 ?city1-cl1 ))
((obj-at ?package14 ?city1-cl2 )
(type ?package14 bigpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-ap1 ?city1 )
(airport ?city1-ap1 )
)
()
(
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl2 )
(!load-truck ?package14 ?truck6-1 ?city1-cl2 )
(!drive-truck ?truck6-1 ?city1-cl2 ?city1-cl1 )
(!unload-truck ?package14 ?truck6-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package17 ?city1-cl3 ))
((obj-at ?package17 ?city2-cl2 )
(type ?package17 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl2 )
(truck ?truck5-1 ?city1 )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl2 )
(truck ?truck6-2 ?city2 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city4-ap4 )
(airplane ?plane2 ?city4 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package17 ?truck6-2 ?city2-cl2 )
(!drive-truck ?truck6-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package17 ?truck6-2 ?city2-ap2 )
(!fly-airplane ?plane2 ?city4-ap4 ?city2-ap2 )
(!load-airplane ?package17 ?plane2 ?city2-ap2 )
(!fly-airplane ?plane2 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package17 ?plane2 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package17 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package17 ?truck5-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city1-cl1 ))
((obj-at ?package19 ?city3-cl3 )
(type ?package19 mediumpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl1 )
(truck ?truck2-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-cl2 )
(truck ?truck6-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city3-ap3 )
(airplane ?plane6 ?city3 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city3-cl3 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-cl3 )
(!load-truck ?package19 ?truck6-3 ?city3-cl3 )
(!drive-truck ?truck6-3 ?city3-cl3 ?city3-ap3 )
(!unload-truck ?package19 ?truck6-3 ?city3-ap3 )
(!load-airplane ?package19 ?plane6 ?city3-ap3 )
(!fly-airplane ?plane6 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package19 ?plane6 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package19 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package19 ?truck2-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package7 ?city1-cl2 ))
((obj-at ?package7 ?city1-cl3 )
(type ?package7 mediumpackage )
(type ?truck7-1 mediumtruck )
(truck-at ?truck7-1 ?city1-cl3 )
(truck ?truck7-1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!load-truck ?package7 ?truck7-1 ?city1-cl3 )
(!drive-truck ?truck7-1 ?city1-cl3 ?city1-cl2 )
(!unload-truck ?package7 ?truck7-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package12 ?city1-cl2 ))
((obj-at ?package12 ?city5-cl3 )
(type ?package12 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck4-5 smalltruck )
(truck-at ?truck4-5 ?city5-cl3 )
(truck ?truck4-5 ?city5 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city1-ap1 )
(airplane ?plane2 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package12 ?truck4-5 ?city5-cl3 )
(!drive-truck ?truck4-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package12 ?truck4-5 ?city5-ap5 )
(!fly-airplane ?plane2 ?city1-ap1 ?city5-ap5 )
(!load-airplane ?package12 ?plane2 ?city5-ap5 )
(!fly-airplane ?plane2 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package12 ?plane2 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package12 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package12 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package14 ?city1-cl3 ))
((obj-at ?package14 ?city1-cl2 )
(type ?package14 bigpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl3 )
(truck ?truck2-1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-cl2 )
(!load-truck ?package14 ?truck2-1 ?city1-cl2 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-cl3 )
(!unload-truck ?package14 ?truck2-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package17 ?city1-cl2 ))
((obj-at ?package17 ?city2-cl1 )
(type ?package17 package )
(type ?truck1-1 truck )
(truck-at ?truck1-1 ?city1-ap1 )
(truck ?truck1-1 ?city1 )
(type ?truck1-2 truck )
(truck-at ?truck1-2 ?city2-ap2 )
(truck ?truck1-2 ?city2 )
(type ?plane18 bigplane )
(airplane-at ?plane18 ?city4-ap4 )
(airplane ?plane18 ?city4 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck1-2 ?city2-ap2 ?city2-cl1 )
(!load-truck ?package17 ?truck1-2 ?city2-cl1 )
(!drive-truck ?truck1-2 ?city2-cl1 ?city2-ap2 )
(!unload-truck ?package17 ?truck1-2 ?city2-ap2 )
(!fly-airplane ?plane18 ?city4-ap4 ?city2-ap2 )
(!load-airplane ?package17 ?plane18 ?city2-ap2 )
(!fly-airplane ?plane18 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package17 ?plane18 ?city1-ap1 )
(!load-truck ?package17 ?truck1-1 ?city1-ap1 )
(!drive-truck ?truck1-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package17 ?truck1-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package11 ?city1-cl3 ))
((obj-at ?package11 ?city3-cl2 )
(type ?package11 mediumpackage )
(type ?truck7-1 mediumtruck )
(truck-at ?truck7-1 ?city1-ap1 )
(truck ?truck7-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane15 mediumplane )
(airplane-at ?plane15 ?city4-ap4 )
(airplane ?plane15 ?city4 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!load-truck ?package11 ?truck6-3 ?city3-cl2 )
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-ap3 )
(!unload-truck ?package11 ?truck6-3 ?city3-ap3 )
(!fly-airplane ?plane15 ?city4-ap4 ?city3-ap3 )
(!load-airplane ?package11 ?plane15 ?city3-ap3 )
(!fly-airplane ?plane15 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package11 ?plane15 ?city1-ap1 )
(!load-truck ?package11 ?truck7-1 ?city1-ap1 )
(!drive-truck ?truck7-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package11 ?truck7-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city1-cl3 ))
((obj-at ?package16 ?city2-cl3 )
(type ?package16 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck4-2 smalltruck )
(truck-at ?truck4-2 ?city2-cl3 )
(truck ?truck4-2 ?city2 )
(type ?plane17 plane )
(airplane-at ?plane17 ?city2-ap2 )
(airplane ?plane17 ?city2 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!load-truck ?package16 ?truck4-2 ?city2-cl3 )
(!drive-truck ?truck4-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package16 ?truck4-2 ?city2-ap2 )
(!load-airplane ?package16 ?plane17 ?city2-ap2 )
(!fly-airplane ?plane17 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package16 ?plane17 ?city1-ap1 )
(!load-truck ?package16 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package16 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city1-cl1 ))
((obj-at ?package19 ?city3-cl2 )
(type ?package19 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?plane11 mediumplane )
(airplane-at ?plane11 ?city1-ap1 )
(airplane ?plane11 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl2 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
)
()
(
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl2 )
(!load-truck ?package19 ?truck6-3 ?city3-cl2 )
(!drive-truck ?truck6-3 ?city3-cl2 ?city3-ap3 )
(!unload-truck ?package19 ?truck6-3 ?city3-ap3 )
(!fly-airplane ?plane11 ?city1-ap1 ?city3-ap3 )
(!load-airplane ?package19 ?plane11 ?city3-ap3 )
(!fly-airplane ?plane11 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package19 ?plane11 ?city1-ap1 )
(!load-truck ?package19 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package19 ?truck3-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city1-cl1 ))
((obj-at ?package4 ?city5-cl3 )
(type ?package4 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-cl1 )
(truck ?truck6-1 ?city1 )
(type ?truck7-5 mediumtruck )
(truck-at ?truck7-5 ?city5-cl3 )
(truck ?truck7-5 ?city5 )
(type ?plane16 smallplane )
(airplane-at ?plane16 ?city5-ap5 )
(airplane ?plane16 ?city5 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city5-cl3 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package4 ?truck7-5 ?city5-cl3 )
(!drive-truck ?truck7-5 ?city5-cl3 ?city5-ap5 )
(!unload-truck ?package4 ?truck7-5 ?city5-ap5 )
(!load-airplane ?package4 ?plane16 ?city5-ap5 )
(!fly-airplane ?plane16 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package4 ?plane16 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package4 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package4 ?truck6-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package6 ?city1-cl3 ))
((obj-at ?package6 ?city1-cl1 )
(type ?package6 bigpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city1-ap1 ?city1 )
(airport ?city1-ap1 )
)
()
(
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl1 )
(!load-truck ?package6 ?truck6-1 ?city1-cl1 )
(!drive-truck ?truck6-1 ?city1-cl1 ?city1-cl3 )
(!unload-truck ?package6 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package9 ?city1-cl1 ))
((obj-at ?package9 ?city2-cl3 )
(type ?package9 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl2 )
(truck ?truck5-1 ?city1 )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl2 )
(truck ?truck6-2 ?city2 )
(type ?plane14 bigplane )
(airplane-at ?plane14 ?city1-ap1 )
(airplane ?plane14 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!drive-truck ?truck6-2 ?city2-cl2 ?city2-cl3 )
(!load-truck ?package9 ?truck6-2 ?city2-cl3 )
(!drive-truck ?truck6-2 ?city2-cl3 ?city2-ap2 )
(!unload-truck ?package9 ?truck6-2 ?city2-ap2 )
(!fly-airplane ?plane14 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package9 ?plane14 ?city2-ap2 )
(!fly-airplane ?plane14 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package9 ?plane14 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package9 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package9 ?truck5-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package14 ?city1-cl1 ))
((obj-at ?package14 ?city1-cl1 )
(type ?package14 bigpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-ap1 ?city1 )
(airport ?city1-ap1 )
)
()
(
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl1 )
(!load-truck ?package14 ?truck6-1 ?city1-cl1 )
(!drive-truck ?truck6-1 ?city1-cl1 ?city1-cl1 )
(!unload-truck ?package14 ?truck6-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city1-cl2 ))
((obj-at ?package16 ?city2-cl2 )
(type ?package16 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-ap1 )
(truck ?truck2-1 ?city1 )
(type ?truck1-2 truck )
(truck-at ?truck1-2 ?city2-cl2 )
(truck ?truck1-2 ?city2 )
(type ?plane13 plane )
(airplane-at ?plane13 ?city1-ap1 )
(airplane ?plane13 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city2-cl2 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!load-truck ?package16 ?truck1-2 ?city2-cl2 )
(!drive-truck ?truck1-2 ?city2-cl2 ?city2-ap2 )
(!unload-truck ?package16 ?truck1-2 ?city2-ap2 )
(!fly-airplane ?plane13 ?city1-ap1 ?city2-ap2 )
(!load-airplane ?package16 ?plane13 ?city2-ap2 )
(!fly-airplane ?plane13 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package16 ?plane13 ?city1-ap1 )
(!load-truck ?package16 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package16 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city1-cl1 ))
((obj-at ?package19 ?city3-cl1 )
(type ?package19 mediumpackage )
(type ?truck3-1 mediumtruck )
(truck-at ?truck3-1 ?city1-ap1 )
(truck ?truck3-1 ?city1 )
(type ?truck3-3 mediumtruck )
(truck-at ?truck3-3 ?city3-ap3 )
(truck ?truck3-3 ?city3 )
(type ?plane6 bigplane )
(airplane-at ?plane6 ?city4-ap4 )
(airplane ?plane6 ?city4 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck3-3 ?city3-ap3 ?city3-cl1 )
(!load-truck ?package19 ?truck3-3 ?city3-cl1 )
(!drive-truck ?truck3-3 ?city3-cl1 ?city3-ap3 )
(!unload-truck ?package19 ?truck3-3 ?city3-ap3 )
(!fly-airplane ?plane6 ?city4-ap4 ?city3-ap3 )
(!load-airplane ?package19 ?plane6 ?city3-ap3 )
(!fly-airplane ?plane6 ?city3-ap3 ?city1-ap1 )
(!unload-airplane ?package19 ?plane6 ?city1-ap1 )
(!load-truck ?package19 ?truck3-1 ?city1-ap1 )
(!drive-truck ?truck3-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package19 ?truck3-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package1 ?city1-cl2 ))
((obj-at ?package1 ?city4-cl3 )
(type ?package1 package )
(type ?truck5-1 truck )
(truck-at ?truck5-1 ?city1-cl1 )
(truck ?truck5-1 ?city1 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl3 )
(truck ?truck2-4 ?city4 )
(type ?plane2 bigplane )
(airplane-at ?plane2 ?city2-ap2 )
(airplane ?plane2 ?city2 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
)
()
(
(!load-truck ?package1 ?truck2-4 ?city4-cl3 )
(!drive-truck ?truck2-4 ?city4-cl3 ?city4-ap4 )
(!unload-truck ?package1 ?truck2-4 ?city4-ap4 )
(!fly-airplane ?plane2 ?city2-ap2 ?city4-ap4 )
(!load-airplane ?package1 ?plane2 ?city4-ap4 )
(!fly-airplane ?plane2 ?city4-ap4 ?city1-ap1 )
(!unload-airplane ?package1 ?plane2 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-cl1 ?city1-ap1 )
(!load-truck ?package1 ?truck5-1 ?city1-ap1 )
(!drive-truck ?truck5-1 ?city1-ap1 ?city1-cl2 )
(!unload-truck ?package1 ?truck5-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city1-cl3 ))
((obj-at ?package4 ?city5-cl2 )
(type ?package4 smallpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl2 )
(truck ?truck2-1 ?city1 )
(type ?truck3-5 mediumtruck )
(truck-at ?truck3-5 ?city5-cl2 )
(truck ?truck3-5 ?city5 )
(type ?plane17 plane )
(airplane-at ?plane17 ?city5-ap5 )
(airplane ?plane17 ?city5 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city5-cl2 ?city5 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city5-ap5 ?city5 )
(airport ?city1-ap1 )
(airport ?city5-ap5 )
)
()
(
(!load-truck ?package4 ?truck3-5 ?city5-cl2 )
(!drive-truck ?truck3-5 ?city5-cl2 ?city5-ap5 )
(!unload-truck ?package4 ?truck3-5 ?city5-ap5 )
(!load-airplane ?package4 ?plane17 ?city5-ap5 )
(!fly-airplane ?plane17 ?city5-ap5 ?city1-ap1 )
(!unload-airplane ?package4 ?plane17 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-cl2 ?city1-ap1 )
(!load-truck ?package4 ?truck2-1 ?city1-ap1 )
(!drive-truck ?truck2-1 ?city1-ap1 ?city1-cl3 )
(!unload-truck ?package4 ?truck2-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package6 ?city1-cl2 ))
((obj-at ?package6 ?city1-cl3 )
(type ?package6 bigpackage )
(type ?truck2-1 bigtruck )
(truck-at ?truck2-1 ?city1-cl3 )
(truck ?truck2-1 ?city1 )
(in-city ?city1-cl2 ?city1 )
(in-city ?city1-cl3 ?city1 )
)
()
(
(!load-truck ?package6 ?truck2-1 ?city1-cl3 )
(!drive-truck ?truck2-1 ?city1-cl3 ?city1-cl2 )
(!unload-truck ?package6 ?truck2-1 ?city1-cl2 )
))


(:case (achieve-single-goal (obj-at ?package14 ?city1-cl3 ))
((obj-at ?package14 ?city1-cl3 )
(type ?package14 bigpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(in-city ?city1-cl3 ?city1 )
(in-city ?city1-ap1 ?city1 )
(airport ?city1-ap1 )
)
()
(
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl3 )
(!load-truck ?package14 ?truck6-1 ?city1-cl3 )
(!drive-truck ?truck6-1 ?city1-cl3 ?city1-cl3 )
(!unload-truck ?package14 ?truck6-1 ?city1-cl3 )
))


(:case (achieve-single-goal (obj-at ?package16 ?city1-cl1 ))
((obj-at ?package16 ?city2-cl1 )
(type ?package16 smallpackage )
(type ?truck6-1 bigtruck )
(truck-at ?truck6-1 ?city1-ap1 )
(truck ?truck6-1 ?city1 )
(type ?truck6-2 bigtruck )
(truck-at ?truck6-2 ?city2-cl1 )
(truck ?truck6-2 ?city2 )
(type ?plane9 plane )
(airplane-at ?plane9 ?city2-ap2 )
(airplane ?plane9 ?city2 )
(in-city ?city1-cl1 ?city1 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city1-ap1 ?city1 )
(in-city ?city2-ap2 ?city2 )
(airport ?city1-ap1 )
(airport ?city2-ap2 )
)
()
(
(!load-truck ?package16 ?truck6-2 ?city2-cl1 )
(!drive-truck ?truck6-2 ?city2-cl1 ?city2-ap2 )
(!unload-truck ?package16 ?truck6-2 ?city2-ap2 )
(!load-airplane ?package16 ?plane9 ?city2-ap2 )
(!fly-airplane ?plane9 ?city2-ap2 ?city1-ap1 )
(!unload-airplane ?package16 ?plane9 ?city1-ap1 )
(!load-truck ?package16 ?truck6-1 ?city1-ap1 )
(!drive-truck ?truck6-1 ?city1-ap1 ?city1-cl1 )
(!unload-truck ?package16 ?truck6-1 ?city1-cl1 )
))


(:case (achieve-single-goal (obj-at ?package19 ?city4-cl3 ))
((obj-at ?package19 ?city3-cl1 )
(type ?package19 mediumpackage )
(type ?truck6-3 bigtruck )
(truck-at ?truck6-3 ?city3-ap3 )
(truck ?truck6-3 ?city3 )
(type ?truck2-4 bigtruck )
(truck-at ?truck2-4 ?city4-cl3 )
(truck ?truck2-4 ?city4 )
(type ?plane7 mediumplane )
(airplane-at ?plane7 ?city2-ap2 )
(airplane ?plane7 ?city2 )
(in-city ?city3-cl1 ?city3 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city3-ap3 ?city3 )
(in-city ?city4-ap4 ?city4 )
(airport ?city2-ap2 )
(airport ?city3-ap3 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck6-3 ?city3-ap3 ?city3-cl1 )
(!load-truck ?package19 ?truck6-3 ?city3-cl1 )
(!drive-truck ?truck6-3 ?city3-cl1 ?city3-ap3 )
(!unload-truck ?package19 ?truck6-3 ?city3-ap3 )
(!fly-airplane ?plane7 ?city2-ap2 ?city3-ap3 )
(!load-airplane ?package19 ?plane7 ?city3-ap3 )
(!fly-airplane ?plane7 ?city3-ap3 ?city4-ap4 )
(!unload-airplane ?package19 ?plane7 ?city4-ap4 )
(!drive-truck ?truck2-4 ?city4-cl3 ?city4-ap4 )
(!load-truck ?package19 ?truck2-4 ?city4-ap4 )
(!drive-truck ?truck2-4 ?city4-ap4 ?city4-cl3 )
(!unload-truck ?package19 ?truck2-4 ?city4-cl3 )
))


(:case (achieve-single-goal (obj-at ?package4 ?city4-cl3 ))
((obj-at ?package4 ?city2-cl1 )
(type ?package4 smallpackage )
(type ?truck2-2 bigtruck )
(truck-at ?truck2-2 ?city2-cl3 )
(truck ?truck2-2 ?city2 )
(type ?truck1-4 truck )
(truck-at ?truck1-4 ?city4-cl2 )
(truck ?truck1-4 ?city4 )
(type ?plane8 smallplane )
(airplane-at ?plane8 ?city2-ap2 )
(airplane ?plane8 ?city2 )
(in-city ?city2-cl1 ?city2 )
(in-city ?city2-cl3 ?city2 )
(in-city ?city4-cl2 ?city4 )
(in-city ?city4-cl3 ?city4 )
(in-city ?city2-ap2 ?city2 )
(in-city ?city4-ap4 ?city4 )
(airport ?city2-ap2 )
(airport ?city4-ap4 )
)
()
(
(!drive-truck ?truck2-2 ?city2-cl3 ?city2-cl1 )
(!load-truck ?package4 ?truck2-2 ?city2-cl1 )