l=5
(START) |- 0
0 a 2
1 a 1
2 a 3
3 a 4
4 a 5
5 a 1
1 -| (FINAL)
