(START) |- 3
3 a 4
4 b 5
5 -| (FINAL)
3 b 6
4 a 6
5 a 6
5 b 6
6 a 6
6 b 6
