(:trajectory

(:state (at c0 l2) (at c1 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1))

(:action (board c0 l2))

(:state (at c1 l2) (at_ferry l2) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1) (on c0))

(:action (debark c0 l2))

(:state (at c0 l2) (at c1 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1))

(:action (sail l2 l1))

(:state (at c0 l2) (at c1 l2) (at_ferry l1) (empty_ferry) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1))

(:action (sail l1 l2))

(:state (at c0 l2) (at c1 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1))

(:action (board c1 l2))

(:state (at c0 l2) (at_ferry l2) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1) (on c1))

(:action (sail l2 l0))

(:state (at c0 l2) (at_ferry l0) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1) (on c1))

(:action (sail l0 l1))

(:state (at c0 l2) (at_ferry l1) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1) (on c1))

(:action (sail l1 l0))

(:state (at c0 l2) (at_ferry l0) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1) (on c1))

(:action (debark c1 l0))

(:state (at c0 l2) (at c1 l0) (at_ferry l0) (empty_ferry) (noteq l0 l1) (noteq l0 l2) (noteq l1 l0) (noteq l1 l2) (noteq l2 l0) (noteq l2 l1))

)