gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
divides
x
y
div
x
y
y
div
0
0
z
true
div
0
s
x
z
false
div
s
x
0
s
z
div
s
x
s
z
s
z
div
s
x
s
y
z
div
x
y
z
prime
x
test
x
s
s
0
test
x
y
if1
gt
x
y
x
y
if1
true
x
y
if2
divides
x
y
x
y
if1
false
x
y
true
if2
true
x
y
false
if2
false
x
y
test
x
s
y
gt
2
s
1
0
0
true
0
false
0
divides
2
div
3
prime
1
test
2
if1
3
if2
3
INNERMOST
./TRS/SchneiderKamp/trs/thiemann34.trs