0 a 1
0 b 2
1 b 2
1 a 0
2 a 1
2 b 2
(START) |- 0
