msort
nil
nil
msort
.
x
y
.
min
x
y
msort
del
min
x
y
.
x
y
min
x
nil
x
min
x
.
y
z
if
<=
x
y
min
x
z
min
y
z
del
x
nil
nil
del
x
.
y
z
if
=
x
y
z
.
y
del
x
z
2.2
msort
.
x
y
msort
del
min
x
y
.
x
y
min
x
.
y
z
min
x
z
min
x
.
y
z
min
y
z
del
x
.
y
z
del
x
z
msort
.
x
y
del
min
x
y
.
x
y
msort
.
x
y
min
x
y
msort
.
x
y
min
x
y
true
msort
.
x
y
msort
del
min
x
y
.
x
y
true
del
2
0
msort
1
1
0
<=
2
1
min
2
0
msort
1
0
if
3
1
0
del
2
1
1
=
2
1
nil
0
1
.
2
1
2
23678
min
2
1
23676
min
x
.
y
z
if
<=
x
y
min
x
z
min
y
z
min
x
nil
x
del
x
nil
nil
del
x
.
y
z
if
=
x
y
z
.
y
del
x
z
msort
.
x
y
min
x
y
false
msort
.
x
y
del
min
x
y
.
x
y
false
del
x
.
y
z
del
x
z
true
del
2
2
0
msort
1
1
0
<=
2
1
min
2
0
msort
1
0
if
3
1
0
del
2
1
1
=
2
1
nil
0
1
.
2
1
2
1
min
2
1
23676
min
x
.
y
z
if
<=
x
y
min
x
z
min
y
z
min
x
nil
x
del
x
nil
nil
del
x
.
y
z
if
=
x
y
z
.
y
del
x
z
msort
.
x
y
min
x
y
false
min
x
.
y
z
min
x
z
min
x
.
y
z
min
y
z
true
del
2
0
msort
1
1
0
<=
2
1
min
2
2
0
msort
1
0
if
3
1
8855
del
2
1
8856
=
2
1
nil
0
1
.
2
1
2
1
min
2
1
23676
min
x
.
y
z
if
<=
x
y
min
x
z
min
y
z
min
x
nil
x
del
x
nil
nil
del
x
.
y
z
if
=
x
y
z
.
y
del
x
z
NaTT
certifiable-1.6