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


