0 x 1
0 y 2
0 z 3
1 y 2
1 z 3
(START) |- 0
0 -| (FINAL)
1 -| (FINAL)
2 -| (FINAL)
3 -| (FINAL)
