(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

5 b 8
4 b 8

1 b 8
1 a 4

2 a 5
3 a 5

0 a 2
0 a 3
0 b 4
0 a 5
0 b 6
0 a 7
0 b 8

8 -| (FINAL)
