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
2.2
iflow
false
N
cons
M
L
low
N
L
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
quicksort
cons
N
L
low
N
L
le
s
X
s
Y
le
X
Y
quicksort
cons
N
L
app
quicksort
low
N
L
cons
N
quicksort
high
N
L
quicksort
cons
N
L
quicksort
low
N
L
quicksort
cons
N
L
quicksort
high
N
L
low
N
cons
M
L
le
M
N
iflow
true
N
cons
M
L
low
N
L
ifhigh
true
N
cons
M
L
high
N
L
high
N
cons
M
L
ifhigh
le
M
N
N
cons
M
L
ifhigh
false
N
cons
M
L
high
N
L
app
cons
N
L
Y
app
L
Y
quicksort
cons
N
L
high
N
L
high
N
cons
M
L
le
M
N
true
quicksort
cons
N
L
quicksort
high
N
L
quicksort
cons
N
L
quicksort
low
N
L
true
le
2
2
1
s
1
1
le
2
0
quicksort
1
1
0
high
2
0
false
0
3
quicksort
1
0
true
0
2
iflow
3
0
0
0
1
high
2
2
1
nil
0
1
app
2
0
low
2
2
1
iflow
3
3
1
ifhigh
3
3
1
cons
2
2
2
ifhigh
3
0
low
2
0
app
2
0
iflow
true
N
cons
M
L
cons
M
low
N
L
high
N
nil
nil
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
ifhigh
true
N
cons
M
L
high
N
L
high
N
cons
M
L
ifhigh
le
M
N
N
cons
M
L
iflow
false
N
cons
M
L
low
N
L
ifhigh
false
N
cons
M
L
cons
M
high
N
L
low
N
nil
nil
quicksort
cons
N
L
high
N
L
false
quicksort
cons
N
L
app
quicksort
low
N
L
cons
N
quicksort
high
N
L
false
app
cons
N
L
Y
app
L
Y
true
le
2
2
1
s
1
1
le
2
0
quicksort
1
1
0
high
2
0
false
0
17653
quicksort
1
0
true
0
2
iflow
3
0
0
0
17651
high
2
2
38978
nil
0
1
app
2
1
0
low
2
2
42736
iflow
3
3
42736
ifhigh
3
3
38978
cons
2
2
2
ifhigh
3
0
low
2
0
app
2
0
iflow
true
N
cons
M
L
cons
M
low
N
L
high
N
nil
nil
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
ifhigh
true
N
cons
M
L
high
N
L
high
N
cons
M
L
ifhigh
le
M
N
N
cons
M
L
iflow
false
N
cons
M
L
low
N
L
ifhigh
false
N
cons
M
L
cons
M
high
N
L
low
N
nil
nil
quicksort
cons
N
L
low
N
L
false
ifhigh
false
N
cons
M
L
high
N
L
high
N
cons
M
L
ifhigh
le
M
N
N
cons
M
L
ifhigh
true
N
cons
M
L
high
N
L
true
le
2
2
1
s
1
1
1
le
2
0
quicksort
1
0
high
2
2
1
false
0
1
quicksort
1
0
true
0
1
iflow
3
0
0
0
50736
high
2
2
11049
nil
0
1
app
2
0
low
2
2
31122
iflow
3
3
31122
ifhigh
3
3
11049
cons
2
1
2
2
ifhigh
3
3
0
low
2
0
app
2
0
iflow
true
N
cons
M
L
cons
M
low
N
L
le
0
Y
true
le
s
X
s
Y
le
X
Y
high
N
nil
nil
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
iflow
false
N
cons
M
L
low
N
L
low
N
nil
nil
le
s
X
0
false
high
N
cons
M
L
le
M
N
false
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
iflow
true
N
cons
M
L
low
N
L
iflow
false
N
cons
M
L
low
N
L
true
le
2
2
1
s
1
1
1
le
2
0
quicksort
1
0
high
2
1
false
0
1
quicksort
1
0
true
0
1
iflow
3
2
3
0
0
0
50736
high
2
2
11049
nil
0
35495
app
2
0
low
2
2
3
iflow
3
3
3
ifhigh
3
3
11049
cons
2
1
2
2
ifhigh
3
0
low
2
1
2
1
app
2
0
iflow
true
N
cons
M
L
cons
M
low
N
L
le
0
Y
true
le
s
X
s
Y
le
X
Y
high
N
nil
nil
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
iflow
false
N
cons
M
L
low
N
L
low
N
nil
nil
le
s
X
0
false
low
N
cons
M
L
le
M
N
false
le
s
X
s
Y
le
X
Y
true
le
2
2
1
s
1
1
1
le
2
1
0
quicksort
1
0
high
2
1
false
0
25075
quicksort
1
0
true
0
1
iflow
3
0
0
0
25074
high
2
2
11049
nil
0
35495
app
2
0
low
2
2
3
iflow
3
3
3
ifhigh
3
3
11049
cons
2
1
2
2
ifhigh
3
0
low
2
1
app
2
0
iflow
true
N
cons
M
L
cons
M
low
N
L
le
0
Y
true
le
s
X
s
Y
le
X
Y
high
N
nil
nil
low
N
cons
M
L
iflow
le
M
N
N
cons
M
L
iflow
false
N
cons
M
L
low
N
L
low
N
nil
nil
le
s
X
0
false
NaTT
certifiable-1.6