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