(:trajectory

(:state (at c0 l6) (at c1 l3) (at c10 l8) (at c11 l6) (at c12 l4) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l8) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l8 l10))

(:state (at c0 l6) (at c1 l3) (at c10 l8) (at c11 l6) (at c12 l4) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l10) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l10 l4))

(:state (at c0 l6) (at c1 l3) (at c10 l8) (at c11 l6) (at c12 l4) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l4) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (board c12 l4))

(:state (at c0 l6) (at c1 l3) (at c10 l8) (at c11 l6) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l4) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c12))

(:action (sail l4 l3))

(:state (at c0 l6) (at c1 l3) (at c10 l8) (at c11 l6) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l3) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c12))

(:action (debark c12 l3))

(:state (at c0 l6) (at c1 l3) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l3) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (board c1 l3))

(:state (at c0 l6) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l3) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c1))

(:action (sail l3 l0))

(:state (at c0 l6) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l0) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c1))

(:action (debark c1 l0))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l0) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l0 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l2) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (board c2 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l2) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c2))

(:action (sail l2 l0))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l0) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c2))

(:action (debark c2 l0))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l0) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l0 l1))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l1) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l1 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l2 l3))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l3) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l3) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (board c4 l3))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l3) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c4))

(:action (sail l3 l1))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l1) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c4))

(:action (sail l1 l9))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l9) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c4))

(:action (sail l9 l8))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l8) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c4))

(:action (debark c4 l8))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l8) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l8 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (sail l2 l4))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c6 l2) (at c7 l4) (at c8 l4) (at c9 l2) (at_ferry l4) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (board c7 l4))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c6 l2) (at c8 l4) (at c9 l2) (at_ferry l4) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c7))

(:action (sail l4 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c6 l2) (at c8 l4) (at c9 l2) (at_ferry l2) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c7))

(:action (debark c7 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c6 l2) (at c7 l2) (at c8 l4) (at c9 l2) (at_ferry l2) (empty_ferry) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8))

(:action (board c6 l2))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c7 l2) (at c8 l4) (at c9 l2) (at_ferry l2) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c6))

(:action (sail l2 l10))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c7 l2) (at c8 l4) (at c9 l2) (at_ferry l10) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c6))

(:action (sail l10 l1))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c7 l2) (at c8 l4) (at c9 l2) (at_ferry l1) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c6))

(:action (sail l1 l9))

(:state (at c0 l6) (at c1 l0) (at c10 l8) (at c11 l6) (at c12 l3) (at c2 l0) (at c3 l8) (at c4 l8) (at c5 l5) (at c7 l2) (at c8 l4) (at c9 l2) (at_ferry l9) (noteq l0 l1) (noteq l0 l10) (noteq l0 l2) (noteq l0 l3) (noteq l0 l4) (noteq l0 l5) (noteq l0 l6) (noteq l0 l7) (noteq l0 l8) (noteq l0 l9) (noteq l1 l0) (noteq l1 l10) (noteq l1 l2) (noteq l1 l3) (noteq l1 l4) (noteq l1 l5) (noteq l1 l6) (noteq l1 l7) (noteq l1 l8) (noteq l1 l9) (noteq l10 l0) (noteq l10 l1) (noteq l10 l2) (noteq l10 l3) (noteq l10 l4) (noteq l10 l5) (noteq l10 l6) (noteq l10 l7) (noteq l10 l8) (noteq l10 l9) (noteq l2 l0) (noteq l2 l1) (noteq l2 l10) (noteq l2 l3) (noteq l2 l4) (noteq l2 l5) (noteq l2 l6) (noteq l2 l7) (noteq l2 l8) (noteq l2 l9) (noteq l3 l0) (noteq l3 l1) (noteq l3 l10) (noteq l3 l2) (noteq l3 l4) (noteq l3 l5) (noteq l3 l6) (noteq l3 l7) (noteq l3 l8) (noteq l3 l9) (noteq l4 l0) (noteq l4 l1) (noteq l4 l10) (noteq l4 l2) (noteq l4 l3) (noteq l4 l5) (noteq l4 l6) (noteq l4 l7) (noteq l4 l8) (noteq l4 l9) (noteq l5 l0) (noteq l5 l1) (noteq l5 l10) (noteq l5 l2) (noteq l5 l3) (noteq l5 l4) (noteq l5 l6) (noteq l5 l7) (noteq l5 l8) (noteq l5 l9) (noteq l6 l0) (noteq l6 l1) (noteq l6 l10) (noteq l6 l2) (noteq l6 l3) (noteq l6 l4) (noteq l6 l5) (noteq l6 l7) (noteq l6 l8) (noteq l6 l9) (noteq l7 l0) (noteq l7 l1) (noteq l7 l10) (noteq l7 l2) (noteq l7 l3) (noteq l7 l4) (noteq l7 l5) (noteq l7 l6) (noteq l7 l8) (noteq l7 l9) (noteq l8 l0) (noteq l8 l1) (noteq l8 l10) (noteq l8 l2) (noteq l8 l3) (noteq l8 l4) (noteq l8 l5) (noteq l8 l6) (noteq l8 l7) (noteq l8 l9) (noteq l9 l0) (noteq l9 l1) (noteq l9 l10) (noteq l9 l2) (noteq l9 l3) (noteq l9 l4) (noteq l9 l5) (noteq l9 l6) (noteq l9 l7) (noteq l9 l8) (on c6))

)