2 4 6 2 2 3 1 0
s0
0 2
s1
2 2
0 0 1
1 1 2
0 3 1
1 4 2
true

0 0
w==0
w=w+x;y=w
1 0
w~=0
y=w
1 1
true

0 0
w==0
y=w
1 1
w~=0
y=w
1 0
i0
0
i1
1
x
1 1
0 1
z0
0
z1
1
y
2
w
x
y
w
0 0