(START) |- 0
0 q 1
0 x 0
1 z 2
2 q 3
3 z 0
3 x 3
0 a 5
1 a 5
2 a 5
3 a 5
5 b 6
6 -| (FINAL)
