O 4
P 4
S 1 counter
S 1 number
S 1 object
S 2 =
N 2
S 0 max_int
F 1 value
SI 12
2 0
0 0
2 1
0 1
2 2
0 2
2 3
0 3
3 0 0
3 1 1
3 2 2
3 3 3
FI 0
NI 5
0 8
1 -1 6
1 -2 4
1 -3 2
1 -4 0
G 0
NG 3
<= 3 f 1 -1 c 1 + 1 f 1 -2
<= 3 f 1 -2 c 1 + 1 f 1 -3
<= 3 f 1 -3 c 1 + 1 f 1 -4
M none
A 2
increment 1
L 2
2 1 0
0 1 0
NC 1
<= 3 f 1 0 c 1 + 1 s 0
E 1
0
L 0
NC 0
F 0
NE 1
increase 1 0 1 c 1
NA -
decrement 1
L 2
2 1 0
0 1 0
NC 1
>= 1 f 1 0 1 c 1
E 1
0
L 0
NC 0
F 0
NE 1
decrease 1 0 1 c 1
NA -
X 0
