le
0
Y
true
le
s
X
0
false
le
s
X
s
Y
le
X
Y
app
nil
Y
Y
app
cons
N
L
Y
cons
N
app
L
Y
low
N
nil
nil
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
iflow
true
N
cons
M
L
cons
M
low
N
L
iflow
false
N
cons
M
L
low
N
L
high
N
nil
nil
high
N
cons
M
L
ifhigh
le
M
N
N
cons
M
L
ifhigh
true
N
cons
M
L
high
N
L
ifhigh
false
N
cons
M
L
cons
M
high
N
L
quicksort
nil
nil
quicksort
cons
N
L
app
quicksort
low
N
L
cons
N
quicksort
high
N
L
le
2
0
0
true
0
s
1
false
0
app
2
nil
0
cons
2
low
2
iflow
3
high
2
ifhigh
3
quicksort
1
FULL
./TRS/Rubio/quick.trs