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