app
x
y
helpa
0
plus
length
x
length
y
x
y
plus
x
0
x
plus
x
s
y
s
plus
x
y
length
nil
0
length
cons
x
y
s
length
y
helpa
c
l
ys
zs
if
ge
c
l
c
l
ys
zs
ge
x
0
true
ge
0
s
x
false
ge
s
x
s
y
ge
x
y
if
true
c
l
ys
zs
nil
if
false
c
l
ys
zs
helpb
c
l
ys
zs
take
0
cons
x
xs
ys
x
take
0
nil
cons
y
ys
y
take
s
c
cons
x
xs
ys
take
c
xs
ys
take
s
c
nil
cons
y
ys
take
c
nil
ys
helpb
c
l
ys
zs
cons
take
c
ys
zs
helpa
s
c
l
ys
zs
app
2
helpa
4
0
0
plus
2
length
1
s
1
nil
0
cons
2
if
5
ge
2
true
0
false
0
helpb
4
take
3
xs
0
INNERMOST
./TRS/SchneiderKamp/trs/otto02.trs