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


