(START) |- 1
1 a 2
1 a 3
1 a 4
2 a 6
3 a 6
4 a 6
6 b 7
7 -| (FINAL)
