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