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