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