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