(trajectory

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

(:init (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 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) (on c0) (not-eq l0 l1) (not-eq l3 l6) (not-eq l8 l7) (not-eq l5 l2) (at-ferry l9) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0))

(:action (debark c0 l9))

(:state (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 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) (not-eq l5 l2) (at-ferry l9) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ))

(:action (sail l9 l2))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l2))

(:action (sail l2 l3))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l3))

(:action (sail l3 l9))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l9))

(:action (sail l9 l2))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l2))

(:action (sail l2 l9))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l9))

(:action (sail l9 l7))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l7))

(:action (sail l7 l5))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l5))

(:action (sail l5 l9))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at c0 l9) (empty-ferry ) (at-ferry l9))

(:action (board c0 l9))

(:state (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 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) (not-eq l5 l2) (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) (not-eq l1 l6) (not-eq l6 l7) (not-eq l9 l0) (not-eq l2 l7) (not-eq l0 l7) (not-eq l5 l7) (not-eq l4 l6) (not-eq l9 l8) (not-eq l0 l6) (not-eq l3 l5) (not-eq l5 l4) (not-eq l3 l4) (not-eq l0 l2) (not-eq l8 l5) (not-eq l3 l9) (not-eq l7 l0) (not-eq l5 l1) (at c4 l7) (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) (at c5 l1) (not-eq l6 l8) (not-eq l9 l3) (not-eq l6 l2) (not-eq l2 l6) (not-eq l1 l2) (not-eq l2 l3) (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) (at c8 l3) (not-eq l5 l0) (at-ferry l9) (on c0)))
