plus
x
y
ifPlus
isZero
x
x
inc
y
ifPlus
true
x
y
p
y
ifPlus
false
x
y
plus
p
x
y
times
x
y
timesIter
0
x
y
0
timesIter
i
x
y
z
ifTimes
ge
i
x
i
x
y
z
ifTimes
true
i
x
y
z
z
ifTimes
false
i
x
y
z
timesIter
inc
i
x
y
plus
z
y
isZero
0
true
isZero
s
0
false
isZero
s
s
x
isZero
s
x
inc
0
s
0
inc
s
x
s
inc
x
inc
x
s
x
p
0
0
p
s
x
x
p
s
s
x
s
p
s
x
ge
x
0
true
ge
0
s
y
false
ge
s
x
s
y
ge
x
y
f0
0
y
x
f1
x
y
x
f1
x
y
z
f2
x
y
z
f2
x
1
z
f0
x
z
z
f0
x
y
z
d
f1
x
y
z
c
plus
2
ifPlus
3
isZero
1
inc
1
true
0
p
1
false
0
times
2
timesIter
4
0
0
ifTimes
5
ge
2
s
1
f0
3
f1
3
f2
3
1
0
d
0
c
0
INNERMOST
./TRS/secret07/aprove/aprove02.trs