min
0
y
0
min
s
x
0
0
min
s
x
s
y
min
x
y
len
nil
0
len
cons
x
xs
s
len
xs
sum
x
0
x
sum
x
s
y
s
sum
x
y
le
0
x
true
le
s
x
0
false
le
s
x
s
y
le
x
y
take
0
cons
y
ys
y
take
s
x
cons
y
ys
take
x
ys
addList
x
y
if
le
0
min
len
x
len
y
0
x
y
nil
if
false
c
x
y
z
z
if
true
c
xs
ys
z
if
le
s
c
min
len
xs
len
ys
s
c
xs
ys
cons
sum
take
c
xs
take
c
ys
z
min
2
0
0
s
1
len
1
nil
0
cons
2
sum
2
le
2
true
0
false
0
take
2
addList
2
if
5
INNERMOST
./TRS/SchneiderKamp/trs/otto01.trs