inc
s
x
s
inc
x
inc
0
s
0
plus
x
y
ifPlus
eq
x
0
minus
x
s
0
x
inc
x
ifPlus
false
x
y
z
plus
x
z
ifPlus
true
x
y
z
y
minus
s
x
s
y
minus
x
y
minus
0
x
0
minus
x
0
x
minus
x
x
0
eq
s
x
s
y
eq
x
y
eq
0
s
x
false
eq
s
x
0
false
eq
0
0
true
eq
x
x
true
times
x
y
timesIter
x
y
0
timesIter
x
y
z
ifTimes
eq
x
0
minus
x
s
0
y
z
plus
y
z
ifTimes
true
x
y
z
u
z
ifTimes
false
x
y
z
u
timesIter
x
y
u
f
g
f
h
inc
1
s
1
0
0
plus
2
ifPlus
4
eq
2
minus
2
false
0
true
0
times
2
timesIter
3
ifTimes
5
f
0
g
0
h
0
INNERMOST
./TRS/secret06/aprove/times.trs