  name : Log_ran_problems.lisp
  # packages : 40 	 # citys : NUM_CITY
  # planes : 8 	 seed:930945008
;;--------------------------------------
(defproblem log-ran-40-1 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC1-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC10-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC12-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC1-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC3-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC13-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC20-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC4-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc12-3)
	(obj-at package2 loc3-3)
	(obj-at package3 loc5-1)
	(obj-at package4 loc13-2)
	(obj-at package5 loc18-2)
	(obj-at package6 loc12-1)
	(obj-at package7 loc13-2)
	(obj-at package8 loc6-3)
	(obj-at package9 loc2-3)
	(obj-at package10 loc12-2)
	(obj-at package11 loc8-3)
	(obj-at package12 loc2-1)
	(obj-at package13 loc17-1)
	(obj-at package14 loc6-1)
	(obj-at package15 loc13-2)
	(obj-at package16 loc15-3)
	(obj-at package17 loc6-1)
	(obj-at package18 loc14-1)
	(obj-at package19 loc1-2)
	(obj-at package20 loc6-2)
	(obj-at package21 loc6-3)
	(obj-at package22 loc20-2)
	(obj-at package23 loc16-3)
	(obj-at package24 loc3-2)
	(obj-at package25 loc9-2)
	(obj-at package26 loc13-3)
	(obj-at package27 loc7-2)
	(obj-at package28 loc14-2)
	(obj-at package29 loc1-2)
	(obj-at package30 loc17-2)
	(obj-at package31 loc9-3)
	(obj-at package32 loc15-1)
	(obj-at package33 loc6-3)
	(obj-at package34 loc4-1)
	(obj-at package35 loc8-2)
	(obj-at package36 loc19-3)
	(obj-at package37 loc1-1)
	(obj-at package38 loc10-1)
	(obj-at package39 loc19-1)
	(obj-at package40 loc11-2)
)

( :unordered
	(:task obj-at package1 loc13-2)
	(:task obj-at package2 loc12-3)
	(:task obj-at package3 loc4-1)
	(:task obj-at package4 loc19-3)
	(:task obj-at package5 loc3-3)
	(:task obj-at package6 loc5-1)
	(:task obj-at package7 loc2-3)
	(:task obj-at package8 loc7-3)
	(:task obj-at package9 loc6-3)
	(:task obj-at package10 loc19-1)
	(:task obj-at package11 loc16-1)
	(:task obj-at package12 loc3-3)
	(:task obj-at package13 loc10-1)
	(:task obj-at package14 loc17-3)
	(:task obj-at package15 loc16-2)
	(:task obj-at package16 loc2-2)
	(:task obj-at package17 loc18-2)
	(:task obj-at package18 loc10-2)
	(:task obj-at package19 loc6-3)
	(:task obj-at package20 loc16-1)
	(:task obj-at package21 loc17-3)
	(:task obj-at package22 loc19-2)
	(:task obj-at package23 loc3-2)
	(:task obj-at package24 loc18-2)
	(:task obj-at package25 loc12-2)
	(:task obj-at package26 loc14-2)
	(:task obj-at package27 loc14-3)
	(:task obj-at package28 loc20-3)
	(:task obj-at package29 loc16-3)
	(:task obj-at package30 loc13-3)
	(:task obj-at package31 loc9-2)
	(:task obj-at package32 loc14-3)
	(:task obj-at package33 loc5-2)
	(:task obj-at package34 loc4-3)
	(:task obj-at package35 loc7-1)
	(:task obj-at package36 loc14-2)
	(:task obj-at package37 loc16-2)
	(:task obj-at package38 loc16-3)
	(:task obj-at package39 loc12-2)
	(:task obj-at package40 loc4-3)
))

;;--------------------------------------
(defproblem log-ran-40-2 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC20-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC8-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC7-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC18-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC16-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC1-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC5-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC15-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc7-2)
	(obj-at package2 loc5-2)
	(obj-at package3 loc9-3)
	(obj-at package4 loc10-1)
	(obj-at package5 loc1-2)
	(obj-at package6 loc16-3)
	(obj-at package7 loc13-3)
	(obj-at package8 loc2-1)
	(obj-at package9 loc8-2)
	(obj-at package10 loc6-3)
	(obj-at package11 loc20-1)
	(obj-at package12 loc10-1)
	(obj-at package13 loc17-2)
	(obj-at package14 loc4-1)
	(obj-at package15 loc15-1)
	(obj-at package16 loc3-2)
	(obj-at package17 loc5-3)
	(obj-at package18 loc11-2)
	(obj-at package19 loc1-1)
	(obj-at package20 loc6-2)
	(obj-at package21 loc4-3)
	(obj-at package22 loc6-3)
	(obj-at package23 loc11-2)
	(obj-at package24 loc7-3)
	(obj-at package25 loc15-2)
	(obj-at package26 loc4-1)
	(obj-at package27 loc9-3)
	(obj-at package28 loc8-1)
	(obj-at package29 loc16-2)
	(obj-at package30 loc11-2)
	(obj-at package31 loc15-3)
	(obj-at package32 loc6-1)
	(obj-at package33 loc15-3)
	(obj-at package34 loc11-1)
	(obj-at package35 loc10-3)
	(obj-at package36 loc13-3)
	(obj-at package37 loc12-2)
	(obj-at package38 loc8-1)
	(obj-at package39 loc20-3)
	(obj-at package40 loc20-2)
)

( :unordered
	(:task obj-at package1 loc1-2)
	(:task obj-at package2 loc16-1)
	(:task obj-at package3 loc16-3)
	(:task obj-at package4 loc13-1)
	(:task obj-at package5 loc10-2)
	(:task obj-at package6 loc8-3)
	(:task obj-at package7 loc15-2)
	(:task obj-at package8 loc13-3)
	(:task obj-at package9 loc11-1)
	(:task obj-at package10 loc6-2)
	(:task obj-at package11 loc17-1)
	(:task obj-at package12 loc17-2)
	(:task obj-at package13 loc7-1)
	(:task obj-at package14 loc11-3)
	(:task obj-at package15 loc8-1)
	(:task obj-at package16 loc19-1)
	(:task obj-at package17 loc5-2)
	(:task obj-at package18 loc14-2)
	(:task obj-at package19 loc17-3)
	(:task obj-at package20 loc1-2)
	(:task obj-at package21 loc19-2)
	(:task obj-at package22 loc17-2)
	(:task obj-at package23 loc5-1)
	(:task obj-at package24 loc18-3)
	(:task obj-at package25 loc13-2)
	(:task obj-at package26 loc11-3)
	(:task obj-at package27 loc13-1)
	(:task obj-at package28 loc3-2)
	(:task obj-at package29 loc8-3)
	(:task obj-at package30 loc8-1)
	(:task obj-at package31 loc14-1)
	(:task obj-at package32 loc20-2)
	(:task obj-at package33 loc13-3)
	(:task obj-at package34 loc15-3)
	(:task obj-at package35 loc14-1)
	(:task obj-at package36 loc14-2)
	(:task obj-at package37 loc16-3)
	(:task obj-at package38 loc2-3)
	(:task obj-at package39 loc14-3)
	(:task obj-at package40 loc12-2)
))

;;--------------------------------------
(defproblem log-ran-40-3 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC3-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC12-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC5-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC14-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC6-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC8-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC14-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC12-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc15-2)
	(obj-at package2 loc12-3)
	(obj-at package3 loc14-1)
	(obj-at package4 loc4-1)
	(obj-at package5 loc10-2)
	(obj-at package6 loc3-2)
	(obj-at package7 loc7-1)
	(obj-at package8 loc10-3)
	(obj-at package9 loc9-1)
	(obj-at package10 loc17-3)
	(obj-at package11 loc9-1)
	(obj-at package12 loc17-3)
	(obj-at package13 loc17-1)
	(obj-at package14 loc5-1)
	(obj-at package15 loc4-1)
	(obj-at package16 loc11-1)
	(obj-at package17 loc20-1)
	(obj-at package18 loc2-1)
	(obj-at package19 loc16-3)
	(obj-at package20 loc20-3)
	(obj-at package21 loc15-2)
	(obj-at package22 loc20-1)
	(obj-at package23 loc10-2)
	(obj-at package24 loc14-1)
	(obj-at package25 loc1-2)
	(obj-at package26 loc3-3)
	(obj-at package27 loc4-2)
	(obj-at package28 loc18-3)
	(obj-at package29 loc17-1)
	(obj-at package30 loc20-3)
	(obj-at package31 loc19-2)
	(obj-at package32 loc12-1)
	(obj-at package33 loc9-3)
	(obj-at package34 loc7-3)
	(obj-at package35 loc11-3)
	(obj-at package36 loc7-3)
	(obj-at package37 loc4-1)
	(obj-at package38 loc10-3)
	(obj-at package39 loc14-2)
	(obj-at package40 loc8-1)
)

( :unordered
	(:task obj-at package1 loc3-3)
	(:task obj-at package2 loc7-2)
	(:task obj-at package3 loc17-3)
	(:task obj-at package4 loc8-3)
	(:task obj-at package5 loc14-1)
	(:task obj-at package6 loc17-2)
	(:task obj-at package7 loc13-2)
	(:task obj-at package8 loc16-1)
	(:task obj-at package9 loc15-2)
	(:task obj-at package10 loc9-1)
	(:task obj-at package11 loc14-3)
	(:task obj-at package12 loc15-2)
	(:task obj-at package13 loc20-1)
	(:task obj-at package14 loc6-2)
	(:task obj-at package15 loc17-2)
	(:task obj-at package16 loc15-3)
	(:task obj-at package17 loc2-3)
	(:task obj-at package18 loc13-1)
	(:task obj-at package19 loc2-2)
	(:task obj-at package20 loc3-2)
	(:task obj-at package21 loc20-2)
	(:task obj-at package22 loc19-1)
	(:task obj-at package23 loc7-1)
	(:task obj-at package24 loc18-2)
	(:task obj-at package25 loc10-3)
	(:task obj-at package26 loc7-1)
	(:task obj-at package27 loc20-3)
	(:task obj-at package28 loc18-1)
	(:task obj-at package29 loc3-1)
	(:task obj-at package30 loc17-2)
	(:task obj-at package31 loc10-3)
	(:task obj-at package32 loc15-3)
	(:task obj-at package33 loc10-2)
	(:task obj-at package34 loc5-2)
	(:task obj-at package35 loc4-3)
	(:task obj-at package36 loc3-2)
	(:task obj-at package37 loc1-2)
	(:task obj-at package38 loc7-3)
	(:task obj-at package39 loc5-3)
	(:task obj-at package40 loc1-3)
))

;;--------------------------------------
(defproblem log-ran-40-4 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC1-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC7-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC18-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC17-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC2-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC13-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC3-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC5-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc16-2)
	(obj-at package2 loc7-1)
	(obj-at package3 loc3-2)
	(obj-at package4 loc12-1)
	(obj-at package5 loc5-3)
	(obj-at package6 loc20-3)
	(obj-at package7 loc20-3)
	(obj-at package8 loc1-1)
	(obj-at package9 loc7-3)
	(obj-at package10 loc4-2)
	(obj-at package11 loc10-1)
	(obj-at package12 loc2-3)
	(obj-at package13 loc11-1)
	(obj-at package14 loc6-1)
	(obj-at package15 loc17-2)
	(obj-at package16 loc2-1)
	(obj-at package17 loc20-1)
	(obj-at package18 loc6-3)
	(obj-at package19 loc4-1)
	(obj-at package20 loc7-3)
	(obj-at package21 loc3-2)
	(obj-at package22 loc1-1)
	(obj-at package23 loc12-3)
	(obj-at package24 loc12-1)
	(obj-at package25 loc19-2)
	(obj-at package26 loc18-3)
	(obj-at package27 loc8-3)
	(obj-at package28 loc8-3)
	(obj-at package29 loc11-2)
	(obj-at package30 loc6-2)
	(obj-at package31 loc5-1)
	(obj-at package32 loc4-2)
	(obj-at package33 loc12-3)
	(obj-at package34 loc2-3)
	(obj-at package35 loc10-2)
	(obj-at package36 loc15-3)
	(obj-at package37 loc2-2)
	(obj-at package38 loc12-3)
	(obj-at package39 loc20-2)
	(obj-at package40 loc1-1)
)

( :unordered
	(:task obj-at package1 loc15-1)
	(:task obj-at package2 loc3-2)
	(:task obj-at package3 loc19-1)
	(:task obj-at package4 loc10-1)
	(:task obj-at package5 loc16-2)
	(:task obj-at package6 loc6-3)
	(:task obj-at package7 loc9-3)
	(:task obj-at package8 loc19-3)
	(:task obj-at package9 loc12-1)
	(:task obj-at package10 loc12-2)
	(:task obj-at package11 loc9-1)
	(:task obj-at package12 loc8-3)
	(:task obj-at package13 loc4-3)
	(:task obj-at package14 loc18-3)
	(:task obj-at package15 loc17-3)
	(:task obj-at package16 loc20-1)
	(:task obj-at package17 loc11-1)
	(:task obj-at package18 loc2-1)
	(:task obj-at package19 loc3-3)
	(:task obj-at package20 loc1-1)
	(:task obj-at package21 loc14-1)
	(:task obj-at package22 loc3-3)
	(:task obj-at package23 loc8-1)
	(:task obj-at package24 loc13-2)
	(:task obj-at package25 loc1-1)
	(:task obj-at package26 loc18-2)
	(:task obj-at package27 loc6-1)
	(:task obj-at package28 loc9-3)
	(:task obj-at package29 loc3-3)
	(:task obj-at package30 loc8-1)
	(:task obj-at package31 loc5-2)
	(:task obj-at package32 loc4-1)
	(:task obj-at package33 loc10-1)
	(:task obj-at package34 loc15-3)
	(:task obj-at package35 loc9-2)
	(:task obj-at package36 loc12-3)
	(:task obj-at package37 loc13-2)
	(:task obj-at package38 loc11-2)
	(:task obj-at package39 loc3-3)
	(:task obj-at package40 loc16-1)
))

;;--------------------------------------
(defproblem log-ran-40-5 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC7-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC15-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC15-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC10-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC17-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC13-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC5-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC17-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc1-2)
	(obj-at package2 loc13-2)
	(obj-at package3 loc2-1)
	(obj-at package4 loc5-3)
	(obj-at package5 loc3-2)
	(obj-at package6 loc6-1)
	(obj-at package7 loc13-2)
	(obj-at package8 loc2-1)
	(obj-at package9 loc10-3)
	(obj-at package10 loc5-2)
	(obj-at package11 loc14-1)
	(obj-at package12 loc19-3)
	(obj-at package13 loc18-1)
	(obj-at package14 loc19-2)
	(obj-at package15 loc7-1)
	(obj-at package16 loc6-3)
	(obj-at package17 loc10-2)
	(obj-at package18 loc6-2)
	(obj-at package19 loc12-3)
	(obj-at package20 loc19-2)
	(obj-at package21 loc15-1)
	(obj-at package22 loc1-3)
	(obj-at package23 loc19-1)
	(obj-at package24 loc18-2)
	(obj-at package25 loc10-1)
	(obj-at package26 loc12-2)
	(obj-at package27 loc2-1)
	(obj-at package28 loc13-3)
	(obj-at package29 loc17-1)
	(obj-at package30 loc16-3)
	(obj-at package31 loc19-2)
	(obj-at package32 loc1-2)
	(obj-at package33 loc15-3)
	(obj-at package34 loc14-2)
	(obj-at package35 loc14-1)
	(obj-at package36 loc13-2)
	(obj-at package37 loc13-2)
	(obj-at package38 loc9-1)
	(obj-at package39 loc10-2)
	(obj-at package40 loc16-3)
)

( :unordered
	(:task obj-at package1 loc20-2)
	(:task obj-at package2 loc5-2)
	(:task obj-at package3 loc17-1)
	(:task obj-at package4 loc14-1)
	(:task obj-at package5 loc7-2)
	(:task obj-at package6 loc10-1)
	(:task obj-at package7 loc18-2)
	(:task obj-at package8 loc14-3)
	(:task obj-at package9 loc13-3)
	(:task obj-at package10 loc7-2)
	(:task obj-at package11 loc2-3)
	(:task obj-at package12 loc14-1)
	(:task obj-at package13 loc9-2)
	(:task obj-at package14 loc18-3)
	(:task obj-at package15 loc11-1)
	(:task obj-at package16 loc4-3)
	(:task obj-at package17 loc19-2)
	(:task obj-at package18 loc9-1)
	(:task obj-at package19 loc8-2)
	(:task obj-at package20 loc12-2)
	(:task obj-at package21 loc4-2)
	(:task obj-at package22 loc7-2)
	(:task obj-at package23 loc20-1)
	(:task obj-at package24 loc8-3)
	(:task obj-at package25 loc20-1)
	(:task obj-at package26 loc3-1)
	(:task obj-at package27 loc8-2)
	(:task obj-at package28 loc19-1)
	(:task obj-at package29 loc9-2)
	(:task obj-at package30 loc20-2)
	(:task obj-at package31 loc20-1)
	(:task obj-at package32 loc6-2)
	(:task obj-at package33 loc6-3)
	(:task obj-at package34 loc4-3)
	(:task obj-at package35 loc12-3)
	(:task obj-at package36 loc5-2)
	(:task obj-at package37 loc11-2)
	(:task obj-at package38 loc11-3)
	(:task obj-at package39 loc6-3)
	(:task obj-at package40 loc17-1)
))

;;--------------------------------------
(defproblem log-ran-40-6 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC11-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC8-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC17-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC15-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC2-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC12-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC15-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC4-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc20-2)
	(obj-at package2 loc3-1)
	(obj-at package3 loc11-3)
	(obj-at package4 loc1-2)
	(obj-at package5 loc6-2)
	(obj-at package6 loc7-2)
	(obj-at package7 loc3-3)
	(obj-at package8 loc1-2)
	(obj-at package9 loc5-1)
	(obj-at package10 loc4-2)
	(obj-at package11 loc10-1)
	(obj-at package12 loc8-1)
	(obj-at package13 loc2-1)
	(obj-at package14 loc15-2)
	(obj-at package15 loc14-2)
	(obj-at package16 loc14-2)
	(obj-at package17 loc8-2)
	(obj-at package18 loc6-1)
	(obj-at package19 loc16-2)
	(obj-at package20 loc19-2)
	(obj-at package21 loc15-1)
	(obj-at package22 loc18-1)
	(obj-at package23 loc17-1)
	(obj-at package24 loc8-1)
	(obj-at package25 loc1-3)
	(obj-at package26 loc12-1)
	(obj-at package27 loc5-1)
	(obj-at package28 loc2-1)
	(obj-at package29 loc4-2)
	(obj-at package30 loc11-3)
	(obj-at package31 loc6-3)
	(obj-at package32 loc5-1)
	(obj-at package33 loc20-3)
	(obj-at package34 loc7-1)
	(obj-at package35 loc13-1)
	(obj-at package36 loc14-3)
	(obj-at package37 loc2-3)
	(obj-at package38 loc19-1)
	(obj-at package39 loc1-1)
	(obj-at package40 loc18-3)
)

( :unordered
	(:task obj-at package1 loc15-2)
	(:task obj-at package2 loc16-1)
	(:task obj-at package3 loc3-2)
	(:task obj-at package4 loc3-3)
	(:task obj-at package5 loc12-1)
	(:task obj-at package6 loc17-1)
	(:task obj-at package7 loc17-2)
	(:task obj-at package8 loc13-3)
	(:task obj-at package9 loc7-1)
	(:task obj-at package10 loc12-1)
	(:task obj-at package11 loc17-2)
	(:task obj-at package12 loc12-1)
	(:task obj-at package13 loc6-1)
	(:task obj-at package14 loc11-3)
	(:task obj-at package15 loc14-1)
	(:task obj-at package16 loc11-1)
	(:task obj-at package17 loc16-3)
	(:task obj-at package18 loc16-3)
	(:task obj-at package19 loc4-1)
	(:task obj-at package20 loc2-1)
	(:task obj-at package21 loc3-2)
	(:task obj-at package22 loc15-2)
	(:task obj-at package23 loc15-3)
	(:task obj-at package24 loc1-1)
	(:task obj-at package25 loc8-3)
	(:task obj-at package26 loc10-3)
	(:task obj-at package27 loc19-1)
	(:task obj-at package28 loc3-3)
	(:task obj-at package29 loc13-3)
	(:task obj-at package30 loc15-1)
	(:task obj-at package31 loc5-1)
	(:task obj-at package32 loc11-2)
	(:task obj-at package33 loc10-1)
	(:task obj-at package34 loc16-2)
	(:task obj-at package35 loc3-1)
	(:task obj-at package36 loc4-3)
	(:task obj-at package37 loc9-1)
	(:task obj-at package38 loc18-3)
	(:task obj-at package39 loc6-1)
	(:task obj-at package40 loc19-2)
))

;;--------------------------------------
(defproblem log-ran-40-7 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC11-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC10-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC1-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC6-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC7-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC1-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC16-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC6-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc17-2)
	(obj-at package2 loc2-3)
	(obj-at package3 loc7-2)
	(obj-at package4 loc11-1)
	(obj-at package5 loc13-2)
	(obj-at package6 loc19-3)
	(obj-at package7 loc13-3)
	(obj-at package8 loc6-2)
	(obj-at package9 loc16-1)
	(obj-at package10 loc13-1)
	(obj-at package11 loc6-3)
	(obj-at package12 loc12-1)
	(obj-at package13 loc17-2)
	(obj-at package14 loc1-3)
	(obj-at package15 loc17-1)
	(obj-at package16 loc17-3)
	(obj-at package17 loc8-3)
	(obj-at package18 loc5-3)
	(obj-at package19 loc4-3)
	(obj-at package20 loc1-3)
	(obj-at package21 loc5-2)
	(obj-at package22 loc8-2)
	(obj-at package23 loc6-2)
	(obj-at package24 loc7-3)
	(obj-at package25 loc15-1)
	(obj-at package26 loc13-1)
	(obj-at package27 loc14-1)
	(obj-at package28 loc16-1)
	(obj-at package29 loc10-3)
	(obj-at package30 loc8-1)
	(obj-at package31 loc20-1)
	(obj-at package32 loc5-2)
	(obj-at package33 loc7-2)
	(obj-at package34 loc19-3)
	(obj-at package35 loc14-2)
	(obj-at package36 loc17-1)
	(obj-at package37 loc18-3)
	(obj-at package38 loc19-2)
	(obj-at package39 loc18-1)
	(obj-at package40 loc12-1)
)

( :unordered
	(:task obj-at package1 loc3-1)
	(:task obj-at package2 loc20-2)
	(:task obj-at package3 loc6-3)
	(:task obj-at package4 loc7-1)
	(:task obj-at package5 loc14-2)
	(:task obj-at package6 loc2-3)
	(:task obj-at package7 loc10-3)
	(:task obj-at package8 loc15-2)
	(:task obj-at package9 loc4-2)
	(:task obj-at package10 loc16-2)
	(:task obj-at package11 loc8-2)
	(:task obj-at package12 loc16-3)
	(:task obj-at package13 loc5-3)
	(:task obj-at package14 loc1-2)
	(:task obj-at package15 loc7-1)
	(:task obj-at package16 loc19-2)
	(:task obj-at package17 loc14-3)
	(:task obj-at package18 loc12-1)
	(:task obj-at package19 loc9-1)
	(:task obj-at package20 loc15-2)
	(:task obj-at package21 loc3-2)
	(:task obj-at package22 loc15-1)
	(:task obj-at package23 loc2-3)
	(:task obj-at package24 loc9-3)
	(:task obj-at package25 loc3-1)
	(:task obj-at package26 loc2-2)
	(:task obj-at package27 loc8-3)
	(:task obj-at package28 loc7-3)
	(:task obj-at package29 loc14-1)
	(:task obj-at package30 loc7-1)
	(:task obj-at package31 loc2-2)
	(:task obj-at package32 loc16-1)
	(:task obj-at package33 loc13-3)
	(:task obj-at package34 loc15-2)
	(:task obj-at package35 loc11-2)
	(:task obj-at package36 loc14-1)
	(:task obj-at package37 loc11-2)
	(:task obj-at package38 loc20-3)
	(:task obj-at package39 loc5-3)
	(:task obj-at package40 loc17-2)
))

;;--------------------------------------
(defproblem log-ran-40-8 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC18-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC13-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC1-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC14-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC11-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC7-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC3-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC17-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc19-1)
	(obj-at package2 loc12-3)
	(obj-at package3 loc20-2)
	(obj-at package4 loc15-2)
	(obj-at package5 loc7-1)
	(obj-at package6 loc18-2)
	(obj-at package7 loc1-3)
	(obj-at package8 loc10-3)
	(obj-at package9 loc5-1)
	(obj-at package10 loc16-3)
	(obj-at package11 loc11-2)
	(obj-at package12 loc13-1)
	(obj-at package13 loc12-1)
	(obj-at package14 loc7-1)
	(obj-at package15 loc7-3)
	(obj-at package16 loc6-2)
	(obj-at package17 loc13-3)
	(obj-at package18 loc5-1)
	(obj-at package19 loc11-2)
	(obj-at package20 loc18-3)
	(obj-at package21 loc4-2)
	(obj-at package22 loc14-1)
	(obj-at package23 loc10-1)
	(obj-at package24 loc18-3)
	(obj-at package25 loc4-2)
	(obj-at package26 loc7-1)
	(obj-at package27 loc15-3)
	(obj-at package28 loc16-2)
	(obj-at package29 loc9-3)
	(obj-at package30 loc17-1)
	(obj-at package31 loc15-1)
	(obj-at package32 loc1-2)
	(obj-at package33 loc17-1)
	(obj-at package34 loc20-1)
	(obj-at package35 loc18-3)
	(obj-at package36 loc1-2)
	(obj-at package37 loc7-3)
	(obj-at package38 loc1-1)
	(obj-at package39 loc9-2)
	(obj-at package40 loc1-3)
)

( :unordered
	(:task obj-at package1 loc18-3)
	(:task obj-at package2 loc20-2)
	(:task obj-at package3 loc17-1)
	(:task obj-at package4 loc6-3)
	(:task obj-at package5 loc11-2)
	(:task obj-at package6 loc17-3)
	(:task obj-at package7 loc14-3)
	(:task obj-at package8 loc17-1)
	(:task obj-at package9 loc6-3)
	(:task obj-at package10 loc19-2)
	(:task obj-at package11 loc5-1)
	(:task obj-at package12 loc5-2)
	(:task obj-at package13 loc17-1)
	(:task obj-at package14 loc14-1)
	(:task obj-at package15 loc18-3)
	(:task obj-at package16 loc5-3)
	(:task obj-at package17 loc18-1)
	(:task obj-at package18 loc13-1)
	(:task obj-at package19 loc16-3)
	(:task obj-at package20 loc17-2)
	(:task obj-at package21 loc16-2)
	(:task obj-at package22 loc2-3)
	(:task obj-at package23 loc1-2)
	(:task obj-at package24 loc11-2)
	(:task obj-at package25 loc11-3)
	(:task obj-at package26 loc12-1)
	(:task obj-at package27 loc16-2)
	(:task obj-at package28 loc4-1)
	(:task obj-at package29 loc19-3)
	(:task obj-at package30 loc16-2)
	(:task obj-at package31 loc2-2)
	(:task obj-at package32 loc7-3)
	(:task obj-at package33 loc2-3)
	(:task obj-at package34 loc7-2)
	(:task obj-at package35 loc15-1)
	(:task obj-at package36 loc19-2)
	(:task obj-at package37 loc11-3)
	(:task obj-at package38 loc14-1)
	(:task obj-at package39 loc16-1)
	(:task obj-at package40 loc12-3)
))

;;--------------------------------------
(defproblem log-ran-40-9 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC3-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC16-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC6-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC15-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC11-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC20-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC11-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC3-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc12-3)
	(obj-at package2 loc2-1)
	(obj-at package3 loc14-1)
	(obj-at package4 loc10-3)
	(obj-at package5 loc1-2)
	(obj-at package6 loc16-2)
	(obj-at package7 loc14-1)
	(obj-at package8 loc5-2)
	(obj-at package9 loc12-2)
	(obj-at package10 loc13-2)
	(obj-at package11 loc16-3)
	(obj-at package12 loc10-3)
	(obj-at package13 loc2-3)
	(obj-at package14 loc15-1)
	(obj-at package15 loc6-3)
	(obj-at package16 loc7-2)
	(obj-at package17 loc19-1)
	(obj-at package18 loc11-2)
	(obj-at package19 loc20-1)
	(obj-at package20 loc18-1)
	(obj-at package21 loc13-1)
	(obj-at package22 loc6-3)
	(obj-at package23 loc5-1)
	(obj-at package24 loc7-3)
	(obj-at package25 loc3-2)
	(obj-at package26 loc20-2)
	(obj-at package27 loc19-1)
	(obj-at package28 loc14-1)
	(obj-at package29 loc15-2)
	(obj-at package30 loc13-1)
	(obj-at package31 loc5-1)
	(obj-at package32 loc18-2)
	(obj-at package33 loc8-3)
	(obj-at package34 loc7-3)
	(obj-at package35 loc14-2)
	(obj-at package36 loc17-3)
	(obj-at package37 loc16-1)
	(obj-at package38 loc11-1)
	(obj-at package39 loc7-1)
	(obj-at package40 loc3-2)
)

( :unordered
	(:task obj-at package1 loc15-1)
	(:task obj-at package2 loc6-3)
	(:task obj-at package3 loc2-2)
	(:task obj-at package4 loc10-1)
	(:task obj-at package5 loc9-3)
	(:task obj-at package6 loc1-2)
	(:task obj-at package7 loc15-1)
	(:task obj-at package8 loc5-1)
	(:task obj-at package9 loc16-1)
	(:task obj-at package10 loc7-3)
	(:task obj-at package11 loc2-3)
	(:task obj-at package12 loc18-2)
	(:task obj-at package13 loc8-3)
	(:task obj-at package14 loc15-3)
	(:task obj-at package15 loc20-3)
	(:task obj-at package16 loc1-1)
	(:task obj-at package17 loc10-2)
	(:task obj-at package18 loc17-3)
	(:task obj-at package19 loc20-2)
	(:task obj-at package20 loc6-2)
	(:task obj-at package21 loc13-3)
	(:task obj-at package22 loc6-2)
	(:task obj-at package23 loc8-2)
	(:task obj-at package24 loc16-2)
	(:task obj-at package25 loc20-1)
	(:task obj-at package26 loc16-3)
	(:task obj-at package27 loc10-2)
	(:task obj-at package28 loc1-1)
	(:task obj-at package29 loc5-2)
	(:task obj-at package30 loc1-1)
	(:task obj-at package31 loc19-2)
	(:task obj-at package32 loc3-1)
	(:task obj-at package33 loc17-1)
	(:task obj-at package34 loc5-2)
	(:task obj-at package35 loc10-2)
	(:task obj-at package36 loc7-1)
	(:task obj-at package37 loc20-2)
	(:task obj-at package38 loc1-1)
	(:task obj-at package39 loc3-3)
	(:task obj-at package40 loc16-2)
))

;;--------------------------------------
(defproblem log-ran-40-10 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC5-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC18-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC2-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC20-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC16-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC10-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC17-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC7-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc15-2)
	(obj-at package2 loc19-2)
	(obj-at package3 loc14-2)
	(obj-at package4 loc11-1)
	(obj-at package5 loc6-2)
	(obj-at package6 loc8-1)
	(obj-at package7 loc7-3)
	(obj-at package8 loc19-3)
	(obj-at package9 loc20-2)
	(obj-at package10 loc15-2)
	(obj-at package11 loc5-2)
	(obj-at package12 loc15-3)
	(obj-at package13 loc6-3)
	(obj-at package14 loc4-1)
	(obj-at package15 loc14-3)
	(obj-at package16 loc8-1)
	(obj-at package17 loc19-3)
	(obj-at package18 loc17-3)
	(obj-at package19 loc7-2)
	(obj-at package20 loc8-1)
	(obj-at package21 loc8-3)
	(obj-at package22 loc9-2)
	(obj-at package23 loc11-3)
	(obj-at package24 loc4-2)
	(obj-at package25 loc10-1)
	(obj-at package26 loc8-1)
	(obj-at package27 loc12-3)
	(obj-at package28 loc17-1)
	(obj-at package29 loc20-3)
	(obj-at package30 loc2-1)
	(obj-at package31 loc10-3)
	(obj-at package32 loc17-2)
	(obj-at package33 loc12-1)
	(obj-at package34 loc19-1)
	(obj-at package35 loc18-2)
	(obj-at package36 loc2-1)
	(obj-at package37 loc17-2)
	(obj-at package38 loc13-1)
	(obj-at package39 loc14-3)
	(obj-at package40 loc13-1)
)

( :unordered
	(:task obj-at package1 loc9-2)
	(:task obj-at package2 loc15-1)
	(:task obj-at package3 loc4-2)
	(:task obj-at package4 loc18-2)
	(:task obj-at package5 loc4-2)
	(:task obj-at package6 loc20-2)
	(:task obj-at package7 loc20-2)
	(:task obj-at package8 loc15-1)
	(:task obj-at package9 loc5-3)
	(:task obj-at package10 loc20-2)
	(:task obj-at package11 loc17-3)
	(:task obj-at package12 loc6-1)
	(:task obj-at package13 loc1-3)
	(:task obj-at package14 loc10-1)
	(:task obj-at package15 loc14-1)
	(:task obj-at package16 loc6-2)
	(:task obj-at package17 loc3-3)
	(:task obj-at package18 loc13-1)
	(:task obj-at package19 loc8-1)
	(:task obj-at package20 loc10-1)
	(:task obj-at package21 loc15-1)
	(:task obj-at package22 loc13-1)
	(:task obj-at package23 loc8-1)
	(:task obj-at package24 loc8-3)
	(:task obj-at package25 loc18-3)
	(:task obj-at package26 loc14-2)
	(:task obj-at package27 loc20-1)
	(:task obj-at package28 loc15-3)
	(:task obj-at package29 loc20-1)
	(:task obj-at package30 loc11-3)
	(:task obj-at package31 loc9-2)
	(:task obj-at package32 loc9-2)
	(:task obj-at package33 loc11-2)
	(:task obj-at package34 loc15-3)
	(:task obj-at package35 loc6-1)
	(:task obj-at package36 loc3-3)
	(:task obj-at package37 loc10-2)
	(:task obj-at package38 loc5-2)
	(:task obj-at package39 loc13-3)
	(:task obj-at package40 loc3-3)
))

;;-------------------------------
(make-problem-set 'setX '(
		 Log-ran-40-1
		 Log-ran-40-2
		 Log-ran-40-3
		 Log-ran-40-4
		 Log-ran-40-5
		 Log-ran-40-6
		 Log-ran-40-7
		 Log-ran-40-8
		 Log-ran-40-9
		 Log-ran-40-10
))
(do-problems 'setX :verbose 1)

--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
--------------------------------------
-------------------------------
  name : Log_ran_problems.lisp
  # packages : 40 	 # citys : NUM_CITY
  # planes : 8 	 seed:930945008
(defproblem log-ran-40-1 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC1-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC10-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC12-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC1-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC3-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC13-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC20-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC4-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc12-3)
	(obj-at package2 loc3-3)
	(obj-at package3 loc5-1)
	(obj-at package4 loc13-2)
	(obj-at package5 loc18-2)
	(obj-at package6 loc12-1)
	(obj-at package7 loc13-2)
	(obj-at package8 loc6-3)
	(obj-at package9 loc2-3)
	(obj-at package10 loc12-2)
	(obj-at package11 loc8-3)
	(obj-at package12 loc2-1)
	(obj-at package13 loc17-1)
	(obj-at package14 loc6-1)
	(obj-at package15 loc13-2)
	(obj-at package16 loc15-3)
	(obj-at package17 loc6-1)
	(obj-at package18 loc14-1)
	(obj-at package19 loc1-2)
	(obj-at package20 loc6-2)
	(obj-at package21 loc6-3)
	(obj-at package22 loc20-2)
	(obj-at package23 loc16-3)
	(obj-at package24 loc3-2)
	(obj-at package25 loc9-2)
	(obj-at package26 loc13-3)
	(obj-at package27 loc7-2)
	(obj-at package28 loc14-2)
	(obj-at package29 loc1-2)
	(obj-at package30 loc17-2)
	(obj-at package31 loc9-3)
	(obj-at package32 loc15-1)
	(obj-at package33 loc6-3)
	(obj-at package34 loc4-1)
	(obj-at package35 loc8-2)
	(obj-at package36 loc19-3)
	(obj-at package37 loc1-1)
	(obj-at package38 loc10-1)
	(obj-at package39 loc19-1)
	(obj-at package40 loc11-2)
)

( :unordered
	(:task obj-at package1 loc13-2)
	(:task obj-at package2 loc12-3)
	(:task obj-at package3 loc4-1)
	(:task obj-at package4 loc19-3)
	(:task obj-at package5 loc3-3)
	(:task obj-at package6 loc5-1)
	(:task obj-at package7 loc2-3)
	(:task obj-at package8 loc7-3)
	(:task obj-at package9 loc6-3)
	(:task obj-at package10 loc19-1)
	(:task obj-at package11 loc16-1)
	(:task obj-at package12 loc3-3)
	(:task obj-at package13 loc10-1)
	(:task obj-at package14 loc17-3)
	(:task obj-at package15 loc16-2)
	(:task obj-at package16 loc2-2)
	(:task obj-at package17 loc18-2)
	(:task obj-at package18 loc10-2)
	(:task obj-at package19 loc6-3)
	(:task obj-at package20 loc16-1)
	(:task obj-at package21 loc17-3)
	(:task obj-at package22 loc19-2)
	(:task obj-at package23 loc3-2)
	(:task obj-at package24 loc18-2)
	(:task obj-at package25 loc12-2)
	(:task obj-at package26 loc14-2)
	(:task obj-at package27 loc14-3)
	(:task obj-at package28 loc20-3)
	(:task obj-at package29 loc16-3)
	(:task obj-at package30 loc13-3)
	(:task obj-at package31 loc9-2)
	(:task obj-at package32 loc14-3)
	(:task obj-at package33 loc5-2)
	(:task obj-at package34 loc4-3)
	(:task obj-at package35 loc7-1)
	(:task obj-at package36 loc14-2)
	(:task obj-at package37 loc16-2)
	(:task obj-at package38 loc16-3)
	(:task obj-at package39 loc12-2)
	(:task obj-at package40 loc4-3)
))

(defproblem log-ran-40-2 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC20-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC8-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC7-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC18-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC16-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC1-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC5-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC15-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc7-2)
	(obj-at package2 loc5-2)
	(obj-at package3 loc9-3)
	(obj-at package4 loc10-1)
	(obj-at package5 loc1-2)
	(obj-at package6 loc16-3)
	(obj-at package7 loc13-3)
	(obj-at package8 loc2-1)
	(obj-at package9 loc8-2)
	(obj-at package10 loc6-3)
	(obj-at package11 loc20-1)
	(obj-at package12 loc10-1)
	(obj-at package13 loc17-2)
	(obj-at package14 loc4-1)
	(obj-at package15 loc15-1)
	(obj-at package16 loc3-2)
	(obj-at package17 loc5-3)
	(obj-at package18 loc11-2)
	(obj-at package19 loc1-1)
	(obj-at package20 loc6-2)
	(obj-at package21 loc4-3)
	(obj-at package22 loc6-3)
	(obj-at package23 loc11-2)
	(obj-at package24 loc7-3)
	(obj-at package25 loc15-2)
	(obj-at package26 loc4-1)
	(obj-at package27 loc9-3)
	(obj-at package28 loc8-1)
	(obj-at package29 loc16-2)
	(obj-at package30 loc11-2)
	(obj-at package31 loc15-3)
	(obj-at package32 loc6-1)
	(obj-at package33 loc15-3)
	(obj-at package34 loc11-1)
	(obj-at package35 loc10-3)
	(obj-at package36 loc13-3)
	(obj-at package37 loc12-2)
	(obj-at package38 loc8-1)
	(obj-at package39 loc20-3)
	(obj-at package40 loc20-2)
)

( :unordered
	(:task obj-at package1 loc1-2)
	(:task obj-at package2 loc16-1)
	(:task obj-at package3 loc16-3)
	(:task obj-at package4 loc13-1)
	(:task obj-at package5 loc10-2)
	(:task obj-at package6 loc8-3)
	(:task obj-at package7 loc15-2)
	(:task obj-at package8 loc13-3)
	(:task obj-at package9 loc11-1)
	(:task obj-at package10 loc6-2)
	(:task obj-at package11 loc17-1)
	(:task obj-at package12 loc17-2)
	(:task obj-at package13 loc7-1)
	(:task obj-at package14 loc11-3)
	(:task obj-at package15 loc8-1)
	(:task obj-at package16 loc19-1)
	(:task obj-at package17 loc5-2)
	(:task obj-at package18 loc14-2)
	(:task obj-at package19 loc17-3)
	(:task obj-at package20 loc1-2)
	(:task obj-at package21 loc19-2)
	(:task obj-at package22 loc17-2)
	(:task obj-at package23 loc5-1)
	(:task obj-at package24 loc18-3)
	(:task obj-at package25 loc13-2)
	(:task obj-at package26 loc11-3)
	(:task obj-at package27 loc13-1)
	(:task obj-at package28 loc3-2)
	(:task obj-at package29 loc8-3)
	(:task obj-at package30 loc8-1)
	(:task obj-at package31 loc14-1)
	(:task obj-at package32 loc20-2)
	(:task obj-at package33 loc13-3)
	(:task obj-at package34 loc15-3)
	(:task obj-at package35 loc14-1)
	(:task obj-at package36 loc14-2)
	(:task obj-at package37 loc16-3)
	(:task obj-at package38 loc2-3)
	(:task obj-at package39 loc14-3)
	(:task obj-at package40 loc12-2)
))

(defproblem log-ran-40-3 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC3-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC12-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC5-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC14-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC6-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC8-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC14-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC12-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc15-2)
	(obj-at package2 loc12-3)
	(obj-at package3 loc14-1)
	(obj-at package4 loc4-1)
	(obj-at package5 loc10-2)
	(obj-at package6 loc3-2)
	(obj-at package7 loc7-1)
	(obj-at package8 loc10-3)
	(obj-at package9 loc9-1)
	(obj-at package10 loc17-3)
	(obj-at package11 loc9-1)
	(obj-at package12 loc17-3)
	(obj-at package13 loc17-1)
	(obj-at package14 loc5-1)
	(obj-at package15 loc4-1)
	(obj-at package16 loc11-1)
	(obj-at package17 loc20-1)
	(obj-at package18 loc2-1)
	(obj-at package19 loc16-3)
	(obj-at package20 loc20-3)
	(obj-at package21 loc15-2)
	(obj-at package22 loc20-1)
	(obj-at package23 loc10-2)
	(obj-at package24 loc14-1)
	(obj-at package25 loc1-2)
	(obj-at package26 loc3-3)
	(obj-at package27 loc4-2)
	(obj-at package28 loc18-3)
	(obj-at package29 loc17-1)
	(obj-at package30 loc20-3)
	(obj-at package31 loc19-2)
	(obj-at package32 loc12-1)
	(obj-at package33 loc9-3)
	(obj-at package34 loc7-3)
	(obj-at package35 loc11-3)
	(obj-at package36 loc7-3)
	(obj-at package37 loc4-1)
	(obj-at package38 loc10-3)
	(obj-at package39 loc14-2)
	(obj-at package40 loc8-1)
)

( :unordered
	(:task obj-at package1 loc3-3)
	(:task obj-at package2 loc7-2)
	(:task obj-at package3 loc17-3)
	(:task obj-at package4 loc8-3)
	(:task obj-at package5 loc14-1)
	(:task obj-at package6 loc17-2)
	(:task obj-at package7 loc13-2)
	(:task obj-at package8 loc16-1)
	(:task obj-at package9 loc15-2)
	(:task obj-at package10 loc9-1)
	(:task obj-at package11 loc14-3)
	(:task obj-at package12 loc15-2)
	(:task obj-at package13 loc20-1)
	(:task obj-at package14 loc6-2)
	(:task obj-at package15 loc17-2)
	(:task obj-at package16 loc15-3)
	(:task obj-at package17 loc2-3)
	(:task obj-at package18 loc13-1)
	(:task obj-at package19 loc2-2)
	(:task obj-at package20 loc3-2)
	(:task obj-at package21 loc20-2)
	(:task obj-at package22 loc19-1)
	(:task obj-at package23 loc7-1)
	(:task obj-at package24 loc18-2)
	(:task obj-at package25 loc10-3)
	(:task obj-at package26 loc7-1)
	(:task obj-at package27 loc20-3)
	(:task obj-at package28 loc18-1)
	(:task obj-at package29 loc3-1)
	(:task obj-at package30 loc17-2)
	(:task obj-at package31 loc10-3)
	(:task obj-at package32 loc15-3)
	(:task obj-at package33 loc10-2)
	(:task obj-at package34 loc5-2)
	(:task obj-at package35 loc4-3)
	(:task obj-at package36 loc3-2)
	(:task obj-at package37 loc1-2)
	(:task obj-at package38 loc7-3)
	(:task obj-at package39 loc5-3)
	(:task obj-at package40 loc1-3)
))

(defproblem log-ran-40-4 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC1-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC7-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC18-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC17-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC2-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC13-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC3-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC5-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc16-2)
	(obj-at package2 loc7-1)
	(obj-at package3 loc3-2)
	(obj-at package4 loc12-1)
	(obj-at package5 loc5-3)
	(obj-at package6 loc20-3)
	(obj-at package7 loc20-3)
	(obj-at package8 loc1-1)
	(obj-at package9 loc7-3)
	(obj-at package10 loc4-2)
	(obj-at package11 loc10-1)
	(obj-at package12 loc2-3)
	(obj-at package13 loc11-1)
	(obj-at package14 loc6-1)
	(obj-at package15 loc17-2)
	(obj-at package16 loc2-1)
	(obj-at package17 loc20-1)
	(obj-at package18 loc6-3)
	(obj-at package19 loc4-1)
	(obj-at package20 loc7-3)
	(obj-at package21 loc3-2)
	(obj-at package22 loc1-1)
	(obj-at package23 loc12-3)
	(obj-at package24 loc12-1)
	(obj-at package25 loc19-2)
	(obj-at package26 loc18-3)
	(obj-at package27 loc8-3)
	(obj-at package28 loc8-3)
	(obj-at package29 loc11-2)
	(obj-at package30 loc6-2)
	(obj-at package31 loc5-1)
	(obj-at package32 loc4-2)
	(obj-at package33 loc12-3)
	(obj-at package34 loc2-3)
	(obj-at package35 loc10-2)
	(obj-at package36 loc15-3)
	(obj-at package37 loc2-2)
	(obj-at package38 loc12-3)
	(obj-at package39 loc20-2)
	(obj-at package40 loc1-1)
)

( :unordered
	(:task obj-at package1 loc15-1)
	(:task obj-at package2 loc3-2)
	(:task obj-at package3 loc19-1)
	(:task obj-at package4 loc10-1)
	(:task obj-at package5 loc16-2)
	(:task obj-at package6 loc6-3)
	(:task obj-at package7 loc9-3)
	(:task obj-at package8 loc19-3)
	(:task obj-at package9 loc12-1)
	(:task obj-at package10 loc12-2)
	(:task obj-at package11 loc9-1)
	(:task obj-at package12 loc8-3)
	(:task obj-at package13 loc4-3)
	(:task obj-at package14 loc18-3)
	(:task obj-at package15 loc17-3)
	(:task obj-at package16 loc20-1)
	(:task obj-at package17 loc11-1)
	(:task obj-at package18 loc2-1)
	(:task obj-at package19 loc3-3)
	(:task obj-at package20 loc1-1)
	(:task obj-at package21 loc14-1)
	(:task obj-at package22 loc3-3)
	(:task obj-at package23 loc8-1)
	(:task obj-at package24 loc13-2)
	(:task obj-at package25 loc1-1)
	(:task obj-at package26 loc18-2)
	(:task obj-at package27 loc6-1)
	(:task obj-at package28 loc9-3)
	(:task obj-at package29 loc3-3)
	(:task obj-at package30 loc8-1)
	(:task obj-at package31 loc5-2)
	(:task obj-at package32 loc4-1)
	(:task obj-at package33 loc10-1)
	(:task obj-at package34 loc15-3)
	(:task obj-at package35 loc9-2)
	(:task obj-at package36 loc12-3)
	(:task obj-at package37 loc13-2)
	(:task obj-at package38 loc11-2)
	(:task obj-at package39 loc3-3)
	(:task obj-at package40 loc16-1)
))

(defproblem log-ran-40-5 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC7-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC15-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC15-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC10-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC17-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC13-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC5-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC17-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc1-2)
	(obj-at package2 loc13-2)
	(obj-at package3 loc2-1)
	(obj-at package4 loc5-3)
	(obj-at package5 loc3-2)
	(obj-at package6 loc6-1)
	(obj-at package7 loc13-2)
	(obj-at package8 loc2-1)
	(obj-at package9 loc10-3)
	(obj-at package10 loc5-2)
	(obj-at package11 loc14-1)
	(obj-at package12 loc19-3)
	(obj-at package13 loc18-1)
	(obj-at package14 loc19-2)
	(obj-at package15 loc7-1)
	(obj-at package16 loc6-3)
	(obj-at package17 loc10-2)
	(obj-at package18 loc6-2)
	(obj-at package19 loc12-3)
	(obj-at package20 loc19-2)
	(obj-at package21 loc15-1)
	(obj-at package22 loc1-3)
	(obj-at package23 loc19-1)
	(obj-at package24 loc18-2)
	(obj-at package25 loc10-1)
	(obj-at package26 loc12-2)
	(obj-at package27 loc2-1)
	(obj-at package28 loc13-3)
	(obj-at package29 loc17-1)
	(obj-at package30 loc16-3)
	(obj-at package31 loc19-2)
	(obj-at package32 loc1-2)
	(obj-at package33 loc15-3)
	(obj-at package34 loc14-2)
	(obj-at package35 loc14-1)
	(obj-at package36 loc13-2)
	(obj-at package37 loc13-2)
	(obj-at package38 loc9-1)
	(obj-at package39 loc10-2)
	(obj-at package40 loc16-3)
)

( :unordered
	(:task obj-at package1 loc20-2)
	(:task obj-at package2 loc5-2)
	(:task obj-at package3 loc17-1)
	(:task obj-at package4 loc14-1)
	(:task obj-at package5 loc7-2)
	(:task obj-at package6 loc10-1)
	(:task obj-at package7 loc18-2)
	(:task obj-at package8 loc14-3)
	(:task obj-at package9 loc13-3)
	(:task obj-at package10 loc7-2)
	(:task obj-at package11 loc2-3)
	(:task obj-at package12 loc14-1)
	(:task obj-at package13 loc9-2)
	(:task obj-at package14 loc18-3)
	(:task obj-at package15 loc11-1)
	(:task obj-at package16 loc4-3)
	(:task obj-at package17 loc19-2)
	(:task obj-at package18 loc9-1)
	(:task obj-at package19 loc8-2)
	(:task obj-at package20 loc12-2)
	(:task obj-at package21 loc4-2)
	(:task obj-at package22 loc7-2)
	(:task obj-at package23 loc20-1)
	(:task obj-at package24 loc8-3)
	(:task obj-at package25 loc20-1)
	(:task obj-at package26 loc3-1)
	(:task obj-at package27 loc8-2)
	(:task obj-at package28 loc19-1)
	(:task obj-at package29 loc9-2)
	(:task obj-at package30 loc20-2)
	(:task obj-at package31 loc20-1)
	(:task obj-at package32 loc6-2)
	(:task obj-at package33 loc6-3)
	(:task obj-at package34 loc4-3)
	(:task obj-at package35 loc12-3)
	(:task obj-at package36 loc5-2)
	(:task obj-at package37 loc11-2)
	(:task obj-at package38 loc11-3)
	(:task obj-at package39 loc6-3)
	(:task obj-at package40 loc17-1)
))

(defproblem log-ran-40-6 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC11-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC8-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC17-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC15-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC2-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC12-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC15-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC4-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc20-2)
	(obj-at package2 loc3-1)
	(obj-at package3 loc11-3)
	(obj-at package4 loc1-2)
	(obj-at package5 loc6-2)
	(obj-at package6 loc7-2)
	(obj-at package7 loc3-3)
	(obj-at package8 loc1-2)
	(obj-at package9 loc5-1)
	(obj-at package10 loc4-2)
	(obj-at package11 loc10-1)
	(obj-at package12 loc8-1)
	(obj-at package13 loc2-1)
	(obj-at package14 loc15-2)
	(obj-at package15 loc14-2)
	(obj-at package16 loc14-2)
	(obj-at package17 loc8-2)
	(obj-at package18 loc6-1)
	(obj-at package19 loc16-2)
	(obj-at package20 loc19-2)
	(obj-at package21 loc15-1)
	(obj-at package22 loc18-1)
	(obj-at package23 loc17-1)
	(obj-at package24 loc8-1)
	(obj-at package25 loc1-3)
	(obj-at package26 loc12-1)
	(obj-at package27 loc5-1)
	(obj-at package28 loc2-1)
	(obj-at package29 loc4-2)
	(obj-at package30 loc11-3)
	(obj-at package31 loc6-3)
	(obj-at package32 loc5-1)
	(obj-at package33 loc20-3)
	(obj-at package34 loc7-1)
	(obj-at package35 loc13-1)
	(obj-at package36 loc14-3)
	(obj-at package37 loc2-3)
	(obj-at package38 loc19-1)
	(obj-at package39 loc1-1)
	(obj-at package40 loc18-3)
)

( :unordered
	(:task obj-at package1 loc15-2)
	(:task obj-at package2 loc16-1)
	(:task obj-at package3 loc3-2)
	(:task obj-at package4 loc3-3)
	(:task obj-at package5 loc12-1)
	(:task obj-at package6 loc17-1)
	(:task obj-at package7 loc17-2)
	(:task obj-at package8 loc13-3)
	(:task obj-at package9 loc7-1)
	(:task obj-at package10 loc12-1)
	(:task obj-at package11 loc17-2)
	(:task obj-at package12 loc12-1)
	(:task obj-at package13 loc6-1)
	(:task obj-at package14 loc11-3)
	(:task obj-at package15 loc14-1)
	(:task obj-at package16 loc11-1)
	(:task obj-at package17 loc16-3)
	(:task obj-at package18 loc16-3)
	(:task obj-at package19 loc4-1)
	(:task obj-at package20 loc2-1)
	(:task obj-at package21 loc3-2)
	(:task obj-at package22 loc15-2)
	(:task obj-at package23 loc15-3)
	(:task obj-at package24 loc1-1)
	(:task obj-at package25 loc8-3)
	(:task obj-at package26 loc10-3)
	(:task obj-at package27 loc19-1)
	(:task obj-at package28 loc3-3)
	(:task obj-at package29 loc13-3)
	(:task obj-at package30 loc15-1)
	(:task obj-at package31 loc5-1)
	(:task obj-at package32 loc11-2)
	(:task obj-at package33 loc10-1)
	(:task obj-at package34 loc16-2)
	(:task obj-at package35 loc3-1)
	(:task obj-at package36 loc4-3)
	(:task obj-at package37 loc9-1)
	(:task obj-at package38 loc18-3)
	(:task obj-at package39 loc6-1)
	(:task obj-at package40 loc19-2)
))

(defproblem log-ran-40-7 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC11-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC10-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC1-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC6-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC7-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC1-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC16-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC6-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc17-2)
	(obj-at package2 loc2-3)
	(obj-at package3 loc7-2)
	(obj-at package4 loc11-1)
	(obj-at package5 loc13-2)
	(obj-at package6 loc19-3)
	(obj-at package7 loc13-3)
	(obj-at package8 loc6-2)
	(obj-at package9 loc16-1)
	(obj-at package10 loc13-1)
	(obj-at package11 loc6-3)
	(obj-at package12 loc12-1)
	(obj-at package13 loc17-2)
	(obj-at package14 loc1-3)
	(obj-at package15 loc17-1)
	(obj-at package16 loc17-3)
	(obj-at package17 loc8-3)
	(obj-at package18 loc5-3)
	(obj-at package19 loc4-3)
	(obj-at package20 loc1-3)
	(obj-at package21 loc5-2)
	(obj-at package22 loc8-2)
	(obj-at package23 loc6-2)
	(obj-at package24 loc7-3)
	(obj-at package25 loc15-1)
	(obj-at package26 loc13-1)
	(obj-at package27 loc14-1)
	(obj-at package28 loc16-1)
	(obj-at package29 loc10-3)
	(obj-at package30 loc8-1)
	(obj-at package31 loc20-1)
	(obj-at package32 loc5-2)
	(obj-at package33 loc7-2)
	(obj-at package34 loc19-3)
	(obj-at package35 loc14-2)
	(obj-at package36 loc17-1)
	(obj-at package37 loc18-3)
	(obj-at package38 loc19-2)
	(obj-at package39 loc18-1)
	(obj-at package40 loc12-1)
)

( :unordered
	(:task obj-at package1 loc3-1)
	(:task obj-at package2 loc20-2)
	(:task obj-at package3 loc6-3)
	(:task obj-at package4 loc7-1)
	(:task obj-at package5 loc14-2)
	(:task obj-at package6 loc2-3)
	(:task obj-at package7 loc10-3)
	(:task obj-at package8 loc15-2)
	(:task obj-at package9 loc4-2)
	(:task obj-at package10 loc16-2)
	(:task obj-at package11 loc8-2)
	(:task obj-at package12 loc16-3)
	(:task obj-at package13 loc5-3)
	(:task obj-at package14 loc1-2)
	(:task obj-at package15 loc7-1)
	(:task obj-at package16 loc19-2)
	(:task obj-at package17 loc14-3)
	(:task obj-at package18 loc12-1)
	(:task obj-at package19 loc9-1)
	(:task obj-at package20 loc15-2)
	(:task obj-at package21 loc3-2)
	(:task obj-at package22 loc15-1)
	(:task obj-at package23 loc2-3)
	(:task obj-at package24 loc9-3)
	(:task obj-at package25 loc3-1)
	(:task obj-at package26 loc2-2)
	(:task obj-at package27 loc8-3)
	(:task obj-at package28 loc7-3)
	(:task obj-at package29 loc14-1)
	(:task obj-at package30 loc7-1)
	(:task obj-at package31 loc2-2)
	(:task obj-at package32 loc16-1)
	(:task obj-at package33 loc13-3)
	(:task obj-at package34 loc15-2)
	(:task obj-at package35 loc11-2)
	(:task obj-at package36 loc14-1)
	(:task obj-at package37 loc11-2)
	(:task obj-at package38 loc20-3)
	(:task obj-at package39 loc5-3)
	(:task obj-at package40 loc17-2)
))

(defproblem log-ran-40-8 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC18-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC13-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC1-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC14-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC11-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC7-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC3-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC17-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc19-1)
	(obj-at package2 loc12-3)
	(obj-at package3 loc20-2)
	(obj-at package4 loc15-2)
	(obj-at package5 loc7-1)
	(obj-at package6 loc18-2)
	(obj-at package7 loc1-3)
	(obj-at package8 loc10-3)
	(obj-at package9 loc5-1)
	(obj-at package10 loc16-3)
	(obj-at package11 loc11-2)
	(obj-at package12 loc13-1)
	(obj-at package13 loc12-1)
	(obj-at package14 loc7-1)
	(obj-at package15 loc7-3)
	(obj-at package16 loc6-2)
	(obj-at package17 loc13-3)
	(obj-at package18 loc5-1)
	(obj-at package19 loc11-2)
	(obj-at package20 loc18-3)
	(obj-at package21 loc4-2)
	(obj-at package22 loc14-1)
	(obj-at package23 loc10-1)
	(obj-at package24 loc18-3)
	(obj-at package25 loc4-2)
	(obj-at package26 loc7-1)
	(obj-at package27 loc15-3)
	(obj-at package28 loc16-2)
	(obj-at package29 loc9-3)
	(obj-at package30 loc17-1)
	(obj-at package31 loc15-1)
	(obj-at package32 loc1-2)
	(obj-at package33 loc17-1)
	(obj-at package34 loc20-1)
	(obj-at package35 loc18-3)
	(obj-at package36 loc1-2)
	(obj-at package37 loc7-3)
	(obj-at package38 loc1-1)
	(obj-at package39 loc9-2)
	(obj-at package40 loc1-3)
)

( :unordered
	(:task obj-at package1 loc18-3)
	(:task obj-at package2 loc20-2)
	(:task obj-at package3 loc17-1)
	(:task obj-at package4 loc6-3)
	(:task obj-at package5 loc11-2)
	(:task obj-at package6 loc17-3)
	(:task obj-at package7 loc14-3)
	(:task obj-at package8 loc17-1)
	(:task obj-at package9 loc6-3)
	(:task obj-at package10 loc19-2)
	(:task obj-at package11 loc5-1)
	(:task obj-at package12 loc5-2)
	(:task obj-at package13 loc17-1)
	(:task obj-at package14 loc14-1)
	(:task obj-at package15 loc18-3)
	(:task obj-at package16 loc5-3)
	(:task obj-at package17 loc18-1)
	(:task obj-at package18 loc13-1)
	(:task obj-at package19 loc16-3)
	(:task obj-at package20 loc17-2)
	(:task obj-at package21 loc16-2)
	(:task obj-at package22 loc2-3)
	(:task obj-at package23 loc1-2)
	(:task obj-at package24 loc11-2)
	(:task obj-at package25 loc11-3)
	(:task obj-at package26 loc12-1)
	(:task obj-at package27 loc16-2)
	(:task obj-at package28 loc4-1)
	(:task obj-at package29 loc19-3)
	(:task obj-at package30 loc16-2)
	(:task obj-at package31 loc2-2)
	(:task obj-at package32 loc7-3)
	(:task obj-at package33 loc2-3)
	(:task obj-at package34 loc7-2)
	(:task obj-at package35 loc15-1)
	(:task obj-at package36 loc19-2)
	(:task obj-at package37 loc11-3)
	(:task obj-at package38 loc14-1)
	(:task obj-at package39 loc16-1)
	(:task obj-at package40 loc12-3)
))

(defproblem log-ran-40-9 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC3-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC16-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC6-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC15-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC11-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC20-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC11-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC3-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc12-3)
	(obj-at package2 loc2-1)
	(obj-at package3 loc14-1)
	(obj-at package4 loc10-3)
	(obj-at package5 loc1-2)
	(obj-at package6 loc16-2)
	(obj-at package7 loc14-1)
	(obj-at package8 loc5-2)
	(obj-at package9 loc12-2)
	(obj-at package10 loc13-2)
	(obj-at package11 loc16-3)
	(obj-at package12 loc10-3)
	(obj-at package13 loc2-3)
	(obj-at package14 loc15-1)
	(obj-at package15 loc6-3)
	(obj-at package16 loc7-2)
	(obj-at package17 loc19-1)
	(obj-at package18 loc11-2)
	(obj-at package19 loc20-1)
	(obj-at package20 loc18-1)
	(obj-at package21 loc13-1)
	(obj-at package22 loc6-3)
	(obj-at package23 loc5-1)
	(obj-at package24 loc7-3)
	(obj-at package25 loc3-2)
	(obj-at package26 loc20-2)
	(obj-at package27 loc19-1)
	(obj-at package28 loc14-1)
	(obj-at package29 loc15-2)
	(obj-at package30 loc13-1)
	(obj-at package31 loc5-1)
	(obj-at package32 loc18-2)
	(obj-at package33 loc8-3)
	(obj-at package34 loc7-3)
	(obj-at package35 loc14-2)
	(obj-at package36 loc17-3)
	(obj-at package37 loc16-1)
	(obj-at package38 loc11-1)
	(obj-at package39 loc7-1)
	(obj-at package40 loc3-2)
)

( :unordered
	(:task obj-at package1 loc15-1)
	(:task obj-at package2 loc6-3)
	(:task obj-at package3 loc2-2)
	(:task obj-at package4 loc10-1)
	(:task obj-at package5 loc9-3)
	(:task obj-at package6 loc1-2)
	(:task obj-at package7 loc15-1)
	(:task obj-at package8 loc5-1)
	(:task obj-at package9 loc16-1)
	(:task obj-at package10 loc7-3)
	(:task obj-at package11 loc2-3)
	(:task obj-at package12 loc18-2)
	(:task obj-at package13 loc8-3)
	(:task obj-at package14 loc15-3)
	(:task obj-at package15 loc20-3)
	(:task obj-at package16 loc1-1)
	(:task obj-at package17 loc10-2)
	(:task obj-at package18 loc17-3)
	(:task obj-at package19 loc20-2)
	(:task obj-at package20 loc6-2)
	(:task obj-at package21 loc13-3)
	(:task obj-at package22 loc6-2)
	(:task obj-at package23 loc8-2)
	(:task obj-at package24 loc16-2)
	(:task obj-at package25 loc20-1)
	(:task obj-at package26 loc16-3)
	(:task obj-at package27 loc10-2)
	(:task obj-at package28 loc1-1)
	(:task obj-at package29 loc5-2)
	(:task obj-at package30 loc1-1)
	(:task obj-at package31 loc19-2)
	(:task obj-at package32 loc3-1)
	(:task obj-at package33 loc17-1)
	(:task obj-at package34 loc5-2)
	(:task obj-at package35 loc10-2)
	(:task obj-at package36 loc7-1)
	(:task obj-at package37 loc20-2)
	(:task obj-at package38 loc1-1)
	(:task obj-at package39 loc3-3)
	(:task obj-at package40 loc16-2)
))

(defproblem log-ran-40-10 logistics
   (
	(AIRPLANE plane1)
	(airplane-at plane1 LOC5-1)
	(AIRPLANE plane2)
	(airplane-at plane2 LOC18-1)
	(AIRPLANE plane3)
	(airplane-at plane3 LOC2-1)
	(AIRPLANE plane4)
	(airplane-at plane4 LOC20-1)
	(AIRPLANE plane5)
	(airplane-at plane5 LOC16-1)
	(AIRPLANE plane6)
	(airplane-at plane6 LOC10-1)
	(AIRPLANE plane7)
	(airplane-at plane7 LOC17-1)
	(AIRPLANE plane8)
	(airplane-at plane8 LOC7-1)
	(CITY city1)
	(AIRPORT LOC1-1)
	(TRUCK truck1-1 city1)
	(truck-at truck1-1 LOC1-1)
	(LOCATION LOC1-1)
	(IN-CITY LOC1-1 city1)
	(LOCATION LOC1-2)
	(IN-CITY LOC1-2 city1)
	(LOCATION LOC1-3)
	(IN-CITY LOC1-3 city1)
	(CITY city2)
	(AIRPORT LOC2-1)
	(TRUCK truck2-1 city2)
	(truck-at truck2-1 LOC2-1)
	(LOCATION LOC2-1)
	(IN-CITY LOC2-1 city2)
	(LOCATION LOC2-2)
	(IN-CITY LOC2-2 city2)
	(LOCATION LOC2-3)
	(IN-CITY LOC2-3 city2)
	(CITY city3)
	(AIRPORT LOC3-1)
	(TRUCK truck3-1 city3)
	(truck-at truck3-1 LOC3-1)
	(LOCATION LOC3-1)
	(IN-CITY LOC3-1 city3)
	(LOCATION LOC3-2)
	(IN-CITY LOC3-2 city3)
	(LOCATION LOC3-3)
	(IN-CITY LOC3-3 city3)
	(CITY city4)
	(AIRPORT LOC4-1)
	(TRUCK truck4-1 city4)
	(truck-at truck4-1 LOC4-1)
	(LOCATION LOC4-1)
	(IN-CITY LOC4-1 city4)
	(LOCATION LOC4-2)
	(IN-CITY LOC4-2 city4)
	(LOCATION LOC4-3)
	(IN-CITY LOC4-3 city4)
	(CITY city5)
	(AIRPORT LOC5-1)
	(TRUCK truck5-1 city5)
	(truck-at truck5-1 LOC5-1)
	(LOCATION LOC5-1)
	(IN-CITY LOC5-1 city5)
	(LOCATION LOC5-2)
	(IN-CITY LOC5-2 city5)
	(LOCATION LOC5-3)
	(IN-CITY LOC5-3 city5)
	(CITY city6)
	(AIRPORT LOC6-1)
	(TRUCK truck6-1 city6)
	(truck-at truck6-1 LOC6-1)
	(LOCATION LOC6-1)
	(IN-CITY LOC6-1 city6)
	(LOCATION LOC6-2)
	(IN-CITY LOC6-2 city6)
	(LOCATION LOC6-3)
	(IN-CITY LOC6-3 city6)
	(CITY city7)
	(AIRPORT LOC7-1)
	(TRUCK truck7-1 city7)
	(truck-at truck7-1 LOC7-1)
	(LOCATION LOC7-1)
	(IN-CITY LOC7-1 city7)
	(LOCATION LOC7-2)
	(IN-CITY LOC7-2 city7)
	(LOCATION LOC7-3)
	(IN-CITY LOC7-3 city7)
	(CITY city8)
	(AIRPORT LOC8-1)
	(TRUCK truck8-1 city8)
	(truck-at truck8-1 LOC8-1)
	(LOCATION LOC8-1)
	(IN-CITY LOC8-1 city8)
	(LOCATION LOC8-2)
	(IN-CITY LOC8-2 city8)
	(LOCATION LOC8-3)
	(IN-CITY LOC8-3 city8)
	(CITY city9)
	(AIRPORT LOC9-1)
	(TRUCK truck9-1 city9)
	(truck-at truck9-1 LOC9-1)
	(LOCATION LOC9-1)
	(IN-CITY LOC9-1 city9)
	(LOCATION LOC9-2)
	(IN-CITY LOC9-2 city9)
	(LOCATION LOC9-3)
	(IN-CITY LOC9-3 city9)
	(CITY city10)
	(AIRPORT LOC10-1)
	(TRUCK truck10-1 city10)
	(truck-at truck10-1 LOC10-1)
	(LOCATION LOC10-1)
	(IN-CITY LOC10-1 city10)
	(LOCATION LOC10-2)
	(IN-CITY LOC10-2 city10)
	(LOCATION LOC10-3)
	(IN-CITY LOC10-3 city10)
	(CITY city11)
	(AIRPORT LOC11-1)
	(TRUCK truck11-1 city11)
	(truck-at truck11-1 LOC11-1)
	(LOCATION LOC11-1)
	(IN-CITY LOC11-1 city11)
	(LOCATION LOC11-2)
	(IN-CITY LOC11-2 city11)
	(LOCATION LOC11-3)
	(IN-CITY LOC11-3 city11)
	(CITY city12)
	(AIRPORT LOC12-1)
	(TRUCK truck12-1 city12)
	(truck-at truck12-1 LOC12-1)
	(LOCATION LOC12-1)
	(IN-CITY LOC12-1 city12)
	(LOCATION LOC12-2)
	(IN-CITY LOC12-2 city12)
	(LOCATION LOC12-3)
	(IN-CITY LOC12-3 city12)
	(CITY city13)
	(AIRPORT LOC13-1)
	(TRUCK truck13-1 city13)
	(truck-at truck13-1 LOC13-1)
	(LOCATION LOC13-1)
	(IN-CITY LOC13-1 city13)
	(LOCATION LOC13-2)
	(IN-CITY LOC13-2 city13)
	(LOCATION LOC13-3)
	(IN-CITY LOC13-3 city13)
	(CITY city14)
	(AIRPORT LOC14-1)
	(TRUCK truck14-1 city14)
	(truck-at truck14-1 LOC14-1)
	(LOCATION LOC14-1)
	(IN-CITY LOC14-1 city14)
	(LOCATION LOC14-2)
	(IN-CITY LOC14-2 city14)
	(LOCATION LOC14-3)
	(IN-CITY LOC14-3 city14)
	(CITY city15)
	(AIRPORT LOC15-1)
	(TRUCK truck15-1 city15)
	(truck-at truck15-1 LOC15-1)
	(LOCATION LOC15-1)
	(IN-CITY LOC15-1 city15)
	(LOCATION LOC15-2)
	(IN-CITY LOC15-2 city15)
	(LOCATION LOC15-3)
	(IN-CITY LOC15-3 city15)
	(CITY city16)
	(AIRPORT LOC16-1)
	(TRUCK truck16-1 city16)
	(truck-at truck16-1 LOC16-1)
	(LOCATION LOC16-1)
	(IN-CITY LOC16-1 city16)
	(LOCATION LOC16-2)
	(IN-CITY LOC16-2 city16)
	(LOCATION LOC16-3)
	(IN-CITY LOC16-3 city16)
	(CITY city17)
	(AIRPORT LOC17-1)
	(TRUCK truck17-1 city17)
	(truck-at truck17-1 LOC17-1)
	(LOCATION LOC17-1)
	(IN-CITY LOC17-1 city17)
	(LOCATION LOC17-2)
	(IN-CITY LOC17-2 city17)
	(LOCATION LOC17-3)
	(IN-CITY LOC17-3 city17)
	(CITY city18)
	(AIRPORT LOC18-1)
	(TRUCK truck18-1 city18)
	(truck-at truck18-1 LOC18-1)
	(LOCATION LOC18-1)
	(IN-CITY LOC18-1 city18)
	(LOCATION LOC18-2)
	(IN-CITY LOC18-2 city18)
	(LOCATION LOC18-3)
	(IN-CITY LOC18-3 city18)
	(CITY city19)
	(AIRPORT LOC19-1)
	(TRUCK truck19-1 city19)
	(truck-at truck19-1 LOC19-1)
	(LOCATION LOC19-1)
	(IN-CITY LOC19-1 city19)
	(LOCATION LOC19-2)
	(IN-CITY LOC19-2 city19)
	(LOCATION LOC19-3)
	(IN-CITY LOC19-3 city19)
	(CITY city20)
	(AIRPORT LOC20-1)
	(TRUCK truck20-1 city20)
	(truck-at truck20-1 LOC20-1)
	(LOCATION LOC20-1)
	(IN-CITY LOC20-1 city20)
	(LOCATION LOC20-2)
	(IN-CITY LOC20-2 city20)
	(LOCATION LOC20-3)
	(IN-CITY LOC20-3 city20)
	(obj-at package1 loc15-2)
	(obj-at package2 loc19-2)
	(obj-at package3 loc14-2)
	(obj-at package4 loc11-1)
	(obj-at package5 loc6-2)
	(obj-at package6 loc8-1)
	(obj-at package7 loc7-3)
	(obj-at package8 loc19-3)
	(obj-at package9 loc20-2)
	(obj-at package10 loc15-2)
	(obj-at package11 loc5-2)
	(obj-at package12 loc15-3)
	(obj-at package13 loc6-3)
	(obj-at package14 loc4-1)
	(obj-at package15 loc14-3)
	(obj-at package16 loc8-1)
	(obj-at package17 loc19-3)
	(obj-at package18 loc17-3)
	(obj-at package19 loc7-2)
	(obj-at package20 loc8-1)
	(obj-at package21 loc8-3)
	(obj-at package22 loc9-2)
	(obj-at package23 loc11-3)
	(obj-at package24 loc4-2)
	(obj-at package25 loc10-1)
	(obj-at package26 loc8-1)
	(obj-at package27 loc12-3)
	(obj-at package28 loc17-1)
	(obj-at package29 loc20-3)
	(obj-at package30 loc2-1)
	(obj-at package31 loc10-3)
	(obj-at package32 loc17-2)
	(obj-at package33 loc12-1)
	(obj-at package34 loc19-1)
	(obj-at package35 loc18-2)
	(obj-at package36 loc2-1)
	(obj-at package37 loc17-2)
	(obj-at package38 loc13-1)
	(obj-at package39 loc14-3)
	(obj-at package40 loc13-1)
)

( :unordered
	(:task obj-at package1 loc9-2)
	(:task obj-at package2 loc15-1)
	(:task obj-at package3 loc4-2)
	(:task obj-at package4 loc18-2)
	(:task obj-at package5 loc4-2)
	(:task obj-at package6 loc20-2)
	(:task obj-at package7 loc20-2)
	(:task obj-at package8 loc15-1)
	(:task obj-at package9 loc5-3)
	(:task obj-at package10 loc20-2)
	(:task obj-at package11 loc17-3)
	(:task obj-at package12 loc6-1)
	(:task obj-at package13 loc1-3)
	(:task obj-at package14 loc10-1)
	(:task obj-at package15 loc14-1)
	(:task obj-at package16 loc6-2)
	(:task obj-at package17 loc3-3)
	(:task obj-at package18 loc13-1)
	(:task obj-at package19 loc8-1)
	(:task obj-at package20 loc10-1)
	(:task obj-at package21 loc15-1)
	(:task obj-at package22 loc13-1)
	(:task obj-at package23 loc8-1)
	(:task obj-at package24 loc8-3)
	(:task obj-at package25 loc18-3)
	(:task obj-at package26 loc14-2)
	(:task obj-at package27 loc20-1)
	(:task obj-at package28 loc15-3)
	(:task obj-at package29 loc20-1)
	(:task obj-at package30 loc11-3)
	(:task obj-at package31 loc9-2)
	(:task obj-at package32 loc9-2)
	(:task obj-at package33 loc11-2)
	(:task obj-at package34 loc15-3)
	(:task obj-at package35 loc6-1)
	(:task obj-at package36 loc3-3)
	(:task obj-at package37 loc10-2)
	(:task obj-at package38 loc5-2)
	(:task obj-at package39 loc13-3)
	(:task obj-at package40 loc3-3)
))

(make-problem-set 'setX '(
		 Log-ran-40-1
		 Log-ran-40-2
		 Log-ran-40-3
		 Log-ran-40-4
		 Log-ran-40-5
		 Log-ran-40-6
		 Log-ran-40-7
		 Log-ran-40-8
		 Log-ran-40-9
		 Log-ran-40-10
))
(do-problems 'setX :verbose 1)
