average
x
y
if
ge
x
y
x
y
if
true
x
y
averIter
y
x
y
if
false
x
y
averIter
x
y
x
averIter
x
y
z
ifIter
ge
x
y
x
y
z
ifIter
true
x
y
z
z
ifIter
false
x
y
z
averIter
plus
x
s
s
s
0
plus
y
s
0
plus
z
s
0
append
nil
y
y
append
cons
n
x
y
cons
n
app
x
y
low
n
nil
nil
low
n
cons
m
x
if_low
ge
m
n
n
cons
m
x
if_low
false
n
cons
m
x
cons
m
low
n
x
if_low
true
n
cons
m
x
low
n
x
high
n
nil
nil
high
n
cons
m
x
if_high
ge
m
n
n
cons
m
x
if_high
false
n
cons
m
x
high
n
x
if_high
true
n
cons
m
x
cons
average
m
m
high
n
x
quicksort
x
ifquick
isempty
x
x
ifquick
true
x
nil
ifquick
false
x
append
quicksort
low
head
x
tail
x
cons
tail
x
quicksort
high
head
x
tail
x
plus
0
y
y
plus
s
x
y
s
plus
x
y
isempty
nil
true
isempty
cons
n
x
false
head
nil
error
head
cons
n
x
n
tail
nil
nil
tail
cons
n
x
x
ge
x
0
true
ge
0
s
y
false
ge
s
x
s
y
ge
x
y
a
b
a
c
average
2
if
3
ge
2
true
0
averIter
3
false
0
ifIter
4
plus
2
s
1
0
0
append
2
nil
0
cons
2
app
2
low
2
if_low
3
high
2
if_high
3
quicksort
1
ifquick
2
isempty
1
head
1
tail
1
error
0
a
0
b
0
c
0
FULL
./TRS/secret07/aprove/aprove03.trs