lcm
x
y
lcmIter
x
y
0
times
x
y
lcmIter
x
y
z
u
if
or
ge
0
x
ge
z
u
x
y
z
u
if
true
x
y
z
u
z
if
false
x
y
z
u
if2
divisible
z
y
x
y
z
u
if2
true
x
y
z
u
z
if2
false
x
y
z
u
lcmIter
x
y
plus
x
z
u
plus
0
y
y
plus
s
x
y
s
plus
x
y
times
x
y
ifTimes
ge
0
x
x
y
ifTimes
true
x
y
0
ifTimes
false
x
y
plus
y
times
y
p
x
p
s
x
x
p
0
s
s
0
ge
x
0
true
ge
0
s
y
false
ge
s
x
s
y
ge
x
y
or
true
y
true
or
false
y
y
divisible
0
s
y
true
divisible
s
x
s
y
div
s
x
s
y
s
y
div
x
y
0
divisible
x
y
div
0
y
s
z
false
div
s
x
y
s
z
div
x
y
z
a
b
a
c
lcm
2
lcmIter
4
0
0
times
2
if
5
or
2
ge
2
true
0
false
0
if2
5
divisible
2
plus
2
s
1
ifTimes
3
p
1
div
3
a
0
b
0
c
0
INNERMOST
./TRS/secret07/aprove/aprove04.trs