For example, the only possible transition that can be made from the initial state
1 is for the farmer to take the goat into state
7:
The double arrow also indicates a legal transition from state 7 to
state 1 (although it wouldn't help to solve the problem).