(trajectory

(:objects c1 - car l2 - location l8 - location c2 - car l9 - location l7 - location l6 - location l5 - location c0 - car c4 - car c3 - car c8 - car c5 - car c6 - car c7 - car l1 - location l0 - location l4 - location l3 - location )

(:init (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (on c8) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (at-ferry l3) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4))

(:action (debark c8 l3))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (at-ferry l3) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ))

(:action (sail l3 l4))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l4))

(:action (sail l4 l3))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l3))

(:action (sail l3 l4))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l4))

(:action (sail l4 l3))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l3))

(:action (sail l3 l4))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l4))

(:action (sail l4 l3))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l3))

(:action (sail l3 l4))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l4))

(:action (sail l4 l3))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at c8 l3) (empty-ferry ) (at-ferry l3))

(:action (board c8 l3))

(:state (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (not-eq l6 l5) (not-eq l8 l2) (not-eq l7 l9) (not-eq l3 l8) (at c2 l1) (not-eq l2 l5) (not-eq l4 l1) (not-eq l0 l9) (not-eq l1 l5) (not-eq l8 l9) (not-eq l2 l4) (not-eq l3 l1) (not-eq l9 l6) (not-eq l7 l5) (not-eq l7 l6) (at c1 l2) (not-eq l9 l5) (not-eq l4 l8) (not-eq l8 l0) (not-eq l0 l5) (not-eq l3 l2) (not-eq l5 l6) (not-eq l1 l9) (not-eq l1 l3) (not-eq l8 l3) (not-eq l3 l7) (not-eq l5 l8) (not-eq l7 l3) (not-eq l4 l3) (not-eq l2 l6) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l1 l2) (not-eq l2 l3) (not-eq l0 l7) (not-eq l2 l0) (not-eq l6 l3) (not-eq l9 l4) (not-eq l7 l8) (not-eq l7 l1) (not-eq l1 l8) (not-eq l3 l0) (not-eq l5 l0) (not-eq l7 l4) (not-eq l4 l9) (not-eq l1 l0) (not-eq l6 l9) (not-eq l8 l6) (not-eq l8 l1) (not-eq l5 l2) (not-eq l0 l8) (not-eq l6 l1) (not-eq l6 l4) (not-eq l2 l1) (at c7 l5) (not-eq l5 l9) (not-eq l9 l2) (not-eq l0 l4) (not-eq l2 l9) (not-eq l4 l5) (at c3 l3) (not-eq l9 l1) (not-eq l0 l3) (not-eq l6 l0) (not-eq l2 l8) (not-eq l5 l3) (not-eq l8 l4) (not-eq l7 l2) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (at c4 l7) (not-eq l1 l7) (not-eq l1 l4) (not-eq l4 l0) (at c6 l7) (not-eq l4 l7) (not-eq l4 l2) (not-eq l9 l7) (at c5 l1) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (at c0 l9) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (at-ferry l3) (on c8)))
