(:trajectory

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_7) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_4) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_3) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_4 city_1_loc_9))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_7) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_9) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_3) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_9 city_1_loc_7))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_7) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_7) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_3) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (pick_up truck_4 city_1_loc_7 package_8 capacity_2 capacity_3))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_7) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_1 city_3_loc_2 city_3_loc_9))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_9) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_7) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_1 city_3_loc_9 city_3_loc_3))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_7) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_7 city_1_loc_8))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_8) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_8 city_1_loc_5))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_5) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_5 city_1_loc_11))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_11) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_11 city_1_loc_1))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_5 city_1_loc_1) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_1) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (pick_up truck_4 city_1_loc_1 package_5 capacity_1 capacity_2))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_1) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (in package_8 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drop truck_4 city_1_loc_1 package_8 capacity_1 capacity_2))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_1) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_1 city_1_loc_11))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_3) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_11) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_1 city_3_loc_3 city_3_loc_2))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_11) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_11 city_1_loc_5))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_5) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_5 city_1_loc_8))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_7) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_8) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_2 city_3_loc_7 city_3_loc_3))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_8) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_8 city_1_loc_7))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_4) (at truck_4 city_1_loc_7) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_1_loc_7 city_2_loc_3))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_4) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_3 city_3_loc_4 city_3_loc_2))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_2) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_3 city_3_loc_2 city_3_loc_12))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_7 city_3_loc_12) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_12) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_3) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (pick_up truck_3 city_3_loc_12 package_7 capacity_2 capacity_3))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_12) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_2) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_3 city_3_loc_12 city_3_loc_11))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_2) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_2_loc_3 city_2_loc_9))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_3 city_2_loc_9) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_9) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_2) (capacity truck_4 capacity_2) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (pick_up truck_4 city_2_loc_9 package_3 capacity_1 capacity_2))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_9) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_2) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_3 truck_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_2_loc_9 city_2_loc_3))

(:state (at package_1 city_3_loc_11) (at package_2 city_3_loc_6) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_2) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_3 truck_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (pick_up truck_3 city_3_loc_11 package_1 capacity_1 capacity_2))

(:state (at package_2 city_3_loc_6) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_1) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_1 truck_3) (in package_3 truck_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_2_loc_3 city_2_loc_2))

(:state (at package_2 city_3_loc_6) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_2) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_1) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_1 truck_3) (in package_3 truck_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_4 city_2_loc_2 city_2_loc_3))

(:state (at package_2 city_3_loc_6) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_2) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_1) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_1 truck_3) (in package_3 truck_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

(:action (drive truck_1 city_3_loc_2 city_3_loc_4))

(:state (at package_2 city_3_loc_6) (at package_4 city_3_loc_9) (at package_6 city_3_loc_11) (at package_8 city_1_loc_1) (at truck_1 city_3_loc_4) (at truck_2 city_3_loc_3) (at truck_3 city_3_loc_11) (at truck_4 city_2_loc_3) (capacity truck_1 capacity_3) (capacity truck_2 capacity_3) (capacity truck_3 capacity_1) (capacity truck_4 capacity_1) (capacity_predecessor capacity_0 capacity_1) (capacity_predecessor capacity_1 capacity_2) (capacity_predecessor capacity_2 capacity_3) (capacity_predecessor capacity_3 capacity_4) (in package_1 truck_3) (in package_3 truck_4) (in package_5 truck_4) (in package_7 truck_3) (road city_1_loc_1 city_1_loc_11) (road city_1_loc_10 city_1_loc_2) (road city_1_loc_10 city_1_loc_4) (road city_1_loc_10 city_1_loc_9) (road city_1_loc_11 city_1_loc_1) (road city_1_loc_11 city_1_loc_12) (road city_1_loc_11 city_1_loc_3) (road city_1_loc_11 city_1_loc_5) (road city_1_loc_12 city_1_loc_11) (road city_1_loc_12 city_1_loc_6) (road city_1_loc_2 city_1_loc_10) (road city_1_loc_2 city_1_loc_3) (road city_1_loc_2 city_1_loc_4) (road city_1_loc_2 city_1_loc_5) (road city_1_loc_2 city_1_loc_9) (road city_1_loc_3 city_1_loc_11) (road city_1_loc_3 city_1_loc_2) (road city_1_loc_3 city_1_loc_4) (road city_1_loc_3 city_1_loc_5) (road city_1_loc_3 city_1_loc_6) (road city_1_loc_4 city_1_loc_10) (road city_1_loc_4 city_1_loc_2) (road city_1_loc_4 city_1_loc_3) (road city_1_loc_4 city_1_loc_6) (road city_1_loc_4 city_1_loc_9) (road city_1_loc_5 city_1_loc_11) (road city_1_loc_5 city_1_loc_2) (road city_1_loc_5 city_1_loc_3) (road city_1_loc_5 city_1_loc_8) (road city_1_loc_6 city_1_loc_12) (road city_1_loc_6 city_1_loc_3) (road city_1_loc_6 city_1_loc_4) (road city_1_loc_7 city_1_loc_8) (road city_1_loc_7 city_1_loc_9) (road city_1_loc_7 city_2_loc_3) (road city_1_loc_8 city_1_loc_5) (road city_1_loc_8 city_1_loc_7) (road city_1_loc_8 city_3_loc_10) (road city_1_loc_9 city_1_loc_10) (road city_1_loc_9 city_1_loc_2) (road city_1_loc_9 city_1_loc_4) (road city_1_loc_9 city_1_loc_7) (road city_2_loc_1 city_2_loc_11) (road city_2_loc_1 city_2_loc_2) (road city_2_loc_1 city_2_loc_3) (road city_2_loc_1 city_2_loc_5) (road city_2_loc_1 city_2_loc_9) (road city_2_loc_10 city_2_loc_4) (road city_2_loc_10 city_2_loc_6) (road city_2_loc_11 city_2_loc_1) (road city_2_loc_11 city_2_loc_12) (road city_2_loc_11 city_2_loc_5) (road city_2_loc_11 city_2_loc_8) (road city_2_loc_12 city_2_loc_11) (road city_2_loc_12 city_3_loc_10) (road city_2_loc_2 city_2_loc_1) (road city_2_loc_2 city_2_loc_3) (road city_2_loc_2 city_2_loc_5) (road city_2_loc_3 city_1_loc_7) (road city_2_loc_3 city_2_loc_1) (road city_2_loc_3 city_2_loc_2) (road city_2_loc_3 city_2_loc_4) (road city_2_loc_3 city_2_loc_6) (road city_2_loc_3 city_2_loc_9) (road city_2_loc_4 city_2_loc_10) (road city_2_loc_4 city_2_loc_3) (road city_2_loc_4 city_2_loc_6) (road city_2_loc_5 city_2_loc_1) (road city_2_loc_5 city_2_loc_11) (road city_2_loc_5 city_2_loc_2) (road city_2_loc_6 city_2_loc_10) (road city_2_loc_6 city_2_loc_3) (road city_2_loc_6 city_2_loc_4) (road city_2_loc_6 city_2_loc_9) (road city_2_loc_7 city_2_loc_8) (road city_2_loc_7 city_2_loc_9) (road city_2_loc_8 city_2_loc_11) (road city_2_loc_8 city_2_loc_7) (road city_2_loc_9 city_2_loc_1) (road city_2_loc_9 city_2_loc_3) (road city_2_loc_9 city_2_loc_6) (road city_2_loc_9 city_2_loc_7) (road city_3_loc_1 city_3_loc_12) (road city_3_loc_1 city_3_loc_2) (road city_3_loc_10 city_1_loc_8) (road city_3_loc_10 city_2_loc_12) (road city_3_loc_10 city_3_loc_6) (road city_3_loc_11 city_3_loc_12) (road city_3_loc_11 city_3_loc_3) (road city_3_loc_11 city_3_loc_8) (road city_3_loc_11 city_3_loc_9) (road city_3_loc_12 city_3_loc_1) (road city_3_loc_12 city_3_loc_11) (road city_3_loc_12 city_3_loc_2) (road city_3_loc_12 city_3_loc_8) (road city_3_loc_12 city_3_loc_9) (road city_3_loc_2 city_3_loc_1) (road city_3_loc_2 city_3_loc_12) (road city_3_loc_2 city_3_loc_3) (road city_3_loc_2 city_3_loc_4) (road city_3_loc_2 city_3_loc_5) (road city_3_loc_2 city_3_loc_9) (road city_3_loc_3 city_3_loc_11) (road city_3_loc_3 city_3_loc_2) (road city_3_loc_3 city_3_loc_7) (road city_3_loc_3 city_3_loc_9) (road city_3_loc_4 city_3_loc_2) (road city_3_loc_4 city_3_loc_5) (road city_3_loc_4 city_3_loc_6) (road city_3_loc_5 city_3_loc_2) (road city_3_loc_5 city_3_loc_4) (road city_3_loc_6 city_3_loc_10) (road city_3_loc_6 city_3_loc_4) (road city_3_loc_7 city_3_loc_3) (road city_3_loc_8 city_3_loc_11) (road city_3_loc_8 city_3_loc_12) (road city_3_loc_8 city_3_loc_9) (road city_3_loc_9 city_3_loc_11) (road city_3_loc_9 city_3_loc_12) (road city_3_loc_9 city_3_loc_2) (road city_3_loc_9 city_3_loc_3) (road city_3_loc_9 city_3_loc_8))

)