gcd
x
y
gcd2
x
y
0
gcd2
x
y
i
if1
le
x
0
le
y
0
le
x
y
le
y
x
x
y
inc
i
if1
true
b1
b2
b3
x
y
i
pair
result
y
neededIterations
i
if1
false
b1
b2
b3
x
y
i
if2
b1
b2
b3
x
y
i
if2
true
b2
b3
x
y
i
pair
result
x
neededIterations
i
if2
false
b2
b3
x
y
i
if3
b2
b3
x
y
i
if3
false
b3
x
y
i
gcd2
minus
x
y
y
i
if3
true
b3
x
y
i
if4
b3
x
y
i
if4
false
x
y
i
gcd2
x
minus
y
x
i
if4
true
x
y
i
pair
result
x
neededIterations
i
inc
0
0
inc
s
i
s
inc
i
le
s
x
0
false
le
0
y
true
le
s
x
s
y
le
x
y
minus
x
0
x
minus
0
y
0
minus
s
x
s
y
minus
x
y
a
b
a
c
gcd
2
gcd2
3
0
0
if1
7
le
2
inc
1
true
0
pair
2
result
1
neededIterations
1
false
0
if2
6
if3
5
minus
2
if4
4
s
1
a
0
b
0
c
0
INNERMOST
./TRS/secret07/aprove/aprove08.trs