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