0 a 1
2 b 3
0 a 0
0 a 2
2 b 0
2 b 2
4 a 0
4 a 1
4 a 2
4 b 0
4 b 2
4 b 3
(START) |- 4
1 a 6
3 a 6
4 a 6
6 b 8
8 c 10
10 -| (FINAL)
