(START) |- 0
0 a 1
0 b 1
1 a 2
1 b 2
2 a 3
2 b 3
3 a 4
3 b 4
4 a 5
5 a 6
5 b 6
6 a 7
6 b 7
7 a 8
7 b 8
8 a 9
0 a 5
1 a 5
2 a 5
3 a 5
4 b 9
9 -| (FINAL)
