(START) |- 1
1 a 2
1 a 3
2 b 2
3 b 3
2 c 4
3 c 5
4 d 4
5 d 5
4 a 7
5 a 7
7 b 8
8 -| (FINAL)
