(trajectory

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

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

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

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

(:action (refuel plane2 city2 fl1 fl2))

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

(:action (refuel plane1 city1 fl0 fl1))

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

(:action (refuel plane1 city1 fl1 fl2))

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

(:action (debark person5 plane2 city2))

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

(:action (board person5 plane2 city2))

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

(:action (debark person3 plane1 city1))

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

(:action (board person3 plane1 city1))

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

(:action (debark person3 plane1 city1))

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

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

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