Storyboard LayzFerrymansProblemRules

initial situation:

Reachable State 1

Reachable State 2

Reachable State 3

Reachable State 4

Reachable State 5

Reachable State 6

Reachable State 7

Reachable State 8

Reachable State 9

Reachable State 10

Reachable State 11

Reachable State 12

Reachable State 13

Reachable State 14

Reachable State 15

Reachable State 16

Reachable State 17

Reachable State 18

Reachable State 19

Reachable State 20

Reachable State 21

Reachable State 22

Reachable State 23

Reachable State 24

Reachable State 25

Reachable State 26

Check: Number of Reachable States expected: 26 actual 26

Small reachbility graph with hyperlinks to states:

large reachbility graph with embedded states:

Found a solution.