(trajectory

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

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

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

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

(:action (refuel plane1 city0 fl1 fl2))

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

(:action (refuel plane2 city2 fl0 fl1))

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

(:action (refuel plane2 city2 fl1 fl2))

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

(:action (debark person5 plane2 city2))

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

(:action (board person3 plane1 city0))

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

(:action (board person4 plane1 city0))

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

(:action (debark person4 plane1 city0))

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

(:action (board person5 plane2 city2))

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

(:action (zoom plane1 city0 city1 fl2 fl1 fl0))

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