(trajectory

(:objects person5 - person plane2 - aircraft person2 - person fl1 - flevel fl4 - flevel city1 - city person1 - person person4 - person person3 - person fl3 - flevel fl2 - flevel city2 - city plane1 - aircraft fl0 - flevel city0 - city )

(:init (isin person1 plane2) (isin person2 plane2) (at plane1 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (at plane2 city0) (isin person4 plane1) (next fl1 fl2))

(:action (fly plane2 city0 city0 fl2 fl1))

(:state (isin person1 plane2) (isin person2 plane2) (at plane1 city0) (fuellevel plane1 fl0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (isin person4 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl1))

(:action (refuel plane2 city0 fl1 fl2))

(:state (isin person1 plane2) (isin person2 plane2) (at plane1 city0) (fuellevel plane1 fl0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (isin person4 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2))

(:action (refuel plane1 city0 fl0 fl1))

(:state (isin person1 plane2) (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (isin person4 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl1))

(:action (refuel plane1 city0 fl1 fl2))

(:state (isin person1 plane2) (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (isin person4 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl2))

(:action (debark person1 plane2 city0))

(:state (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (isin person4 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl2) (at person1 city0))

(:action (board person1 plane2 city0))

(:state (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (isin person4 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl2) (isin person1 plane2))

(:action (debark person4 plane1 city0))

(:state (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (isin person5 plane1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl2) (isin person1 plane2) (at person4 city0))

(:action (debark person5 plane1 city0))

(:state (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl2) (isin person1 plane2) (at person4 city0) (at person5 city0))

(:action (board person5 plane2 city0))

(:state (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (next fl1 fl2) (at plane2 city0) (fuellevel plane2 fl2) (fuellevel plane1 fl2) (isin person1 plane2) (at person4 city0) (isin person5 plane2))

(:action (zoom plane2 city0 city2 fl2 fl1 fl0))

(:state (isin person2 plane2) (at plane1 city0) (at person3 city0) (next fl2 fl3) (next fl3 fl4) (next fl0 fl1) (next fl1 fl2) (fuellevel plane1 fl2) (isin person1 plane2) (at person4 city0) (isin person5 plane2) (at plane2 city2) (fuellevel plane2 fl0)))
