qsort
nil
nil
qsort
.
x
y
++
qsort
lowers
x
y
.
x
qsort
greaters
x
y
lowers
x
nil
nil
lowers
x
.
y
z
if
<=
y
x
.
y
lowers
x
z
lowers
x
z
greaters
x
nil
nil
greaters
x
.
y
z
if
<=
y
x
greaters
x
z
.
y
greaters
x
z
2.2
qsort
.
x
y
lowers
x
y
greaters
x
.
y
z
greaters
x
z
lowers
x
.
y
z
lowers
x
z
greaters
x
.
y
z
greaters
x
z
qsort
.
x
y
qsort
greaters
x
y
qsort
.
x
y
qsort
lowers
x
y
lowers
x
.
y
z
lowers
x
z
qsort
.
x
y
greaters
x
y
true
qsort
.
x
y
qsort
lowers
x
y
qsort
.
x
y
qsort
greaters
x
y
true
lowers
2
2
1
greaters
2
2
1
<=
2
1
++
2
0
qsort
1
0
qsort
1
1
0
if
3
2
0
lowers
2
0
nil
0
1
greaters
2
0
.
2
2
2
lowers
x
.
y
z
if
<=
y
x
.
y
lowers
x
z
lowers
x
z
lowers
x
nil
nil
greaters
x
nil
nil
greaters
x
.
y
z
if
<=
y
x
greaters
x
z
.
y
greaters
x
z
qsort
.
x
y
greaters
x
y
false
greaters
x
.
y
z
greaters
x
z
greaters
x
.
y
z
greaters
x
z
true
lowers
2
2
1
greaters
2
2
40651
<=
2
1
++
2
0
qsort
1
0
qsort
1
1
0
if
3
2
0
lowers
2
0
nil
0
1
greaters
2
2
0
.
2
2
1
lowers
x
.
y
z
if
<=
y
x
.
y
lowers
x
z
lowers
x
z
lowers
x
nil
nil
greaters
x
nil
nil
greaters
x
.
y
z
if
<=
y
x
greaters
x
z
.
y
greaters
x
z
qsort
.
x
y
lowers
x
y
false
lowers
x
.
y
z
lowers
x
z
lowers
x
.
y
z
lowers
x
z
true
lowers
2
2
1
greaters
2
2
1424
<=
2
1
++
2
0
qsort
1
0
qsort
1
1
0
if
3
2
0
lowers
2
2
0
nil
0
1
greaters
2
0
.
2
2
1
lowers
x
.
y
z
if
<=
y
x
.
y
lowers
x
z
lowers
x
z
lowers
x
nil
nil
greaters
x
nil
nil
greaters
x
.
y
z
if
<=
y
x
greaters
x
z
.
y
greaters
x
z
NaTT
certifiable-1.6