eq
0
0
true
eq
0
s
x
false
eq
s
x
0
false
eq
s
x
s
y
eq
x
y
le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
app
nil
y
y
app
add
n
x
y
add
n
app
x
y
min
add
n
nil
n
min
add
n
add
m
x
if_min
le
n
m
add
n
add
m
x
if_min
true
add
n
add
m
x
min
add
n
x
if_min
false
add
n
add
m
x
min
add
m
x
rm
n
nil
nil
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
minsort
nil
nil
nil
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
if_minsort
true
add
n
x
y
add
n
minsort
app
rm
n
x
y
nil
if_minsort
false
add
n
x
y
minsort
x
add
n
y
eq
2.2
eq
x
y
eq
y
x
eq
x
y
eq
y
x
app
add
n
x
y
app
x
y
if_minsort
true
add
n
x
y
minsort
app
rm
n
x
y
nil
minsort
add
n
x
y
eq
n
min
add
n
x
le
s
x
s
y
le
x
y
if_rm
false
n
add
m
x
rm
n
x
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
minsort
add
n
x
y
min
add
n
x
if_minsort
true
add
n
x
y
app
rm
n
x
y
if_min
true
add
n
add
m
x
min
add
n
x
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
eq
s
x
s
y
eq
x
y
if_rm
true
n
add
m
x
rm
n
x
min
add
n
add
m
x
if_min
le
n
m
add
n
add
m
x
if_min
false
add
n
add
m
x
min
add
m
x
if_minsort
true
add
n
x
y
rm
n
x
if_minsort
false
add
n
x
y
minsort
x
add
n
y
min
add
n
add
m
x
le
n
m
rm
n
add
m
x
eq
n
m
if_minsort
false
add
n
x
y
minsort
x
add
n
y
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
if_minsort
true
add
n
x
y
minsort
app
rm
n
x
y
nil
true
le
2
1
2
1
if_rm
3
3
1
s
1
1
le
2
0
if_rm
3
0
if_min
2
0
eq
2
1
false
0
4
min
1
0
true
0
3
eq
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
2
3
0
min
1
1
minsort
2
1
2
0
add
2
2
3
if_min
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
1
rm
2
0
app
2
1
2
0
if_minsort
true
add
n
x
y
minsort
app
rm
n
x
y
nil
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
if_minsort
false
add
n
x
y
minsort
x
add
n
y
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
true
le
2
1
2
1
if_rm
3
3
1
s
1
1
le
2
0
if_rm
3
0
if_min
2
0
eq
2
1
false
0
4
min
1
0
true
0
3
eq
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
2
0
min
1
1
minsort
2
1
1
add
2
2
2
if_min
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
1
rm
2
0
app
2
1
2
0
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
if_minsort
false
add
n
x
y
minsort
x
add
n
y
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
if_minsort
true
add
n
x
y
rm
n
x
false
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
rm
n
x
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
true
le
2
1
2
1
if_rm
3
3
1
s
1
1
le
2
0
if_rm
3
2
3
0
if_min
2
0
eq
2
1
false
0
4
min
1
0
true
0
3
eq
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
0
min
1
1
minsort
2
1
1
add
2
2
2
if_min
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
1
rm
2
1
2
1
app
2
1
2
0
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
if_rm
false
n
add
m
x
rm
n
x
if_rm
true
n
add
m
x
rm
n
x
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
rm
n
add
m
x
eq
n
m
false
minsort
add
n
x
y
eq
n
min
add
n
x
false
minsort
add
n
x
y
min
add
n
x
false
if_min
false
add
n
add
m
x
min
add
m
x
min
add
n
add
m
x
if_min
le
n
m
add
n
add
m
x
if_min
true
add
n
add
m
x
min
add
n
x
true
le
2
1
2
1
if_rm
3
3
3
s
1
1
le
2
0
if_rm
3
0
if_min
2
2
0
eq
2
0
false
0
25158
min
1
1
1
true
0
1
eq
2
0
0
0
25155
nil
0
1
app
2
0
if_minsort
3
0
min
1
5
minsort
2
1
1
add
2
2
2
if_min
2
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
3
rm
2
1
app
2
1
2
36718
if_min
true
add
n
add
m
x
min
add
n
x
min
add
n
add
m
x
if_min
le
n
m
add
n
add
m
x
if_min
false
add
n
add
m
x
min
add
m
x
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
min
add
n
add
m
x
le
n
m
false
le
s
x
s
y
le
x
y
true
le
2
1
2
1
if_rm
3
3
35333
s
1
1
1
le
2
1
2
0
if_rm
3
0
if_min
2
0
eq
2
0
false
0
25158
min
1
1
true
0
1
eq
2
0
0
0
1
nil
0
35789
app
2
0
if_minsort
3
0
min
1
3
minsort
2
1
1
add
2
2
1
if_min
2
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
35333
rm
2
1
app
2
1
2
25440
le
s
x
s
y
le
x
y
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
eq
s
x
s
y
eq
x
y
eq
x
y
eq
y
x
true
le
2
1
2
1
if_rm
3
3
37986
s
1
1
1
le
2
0
if_rm
3
0
if_min
2
0
eq
2
0
false
0
25158
min
1
1
true
0
1
eq
2
1
2
0
0
0
1
nil
0
10282
app
2
0
if_minsort
3
0
min
1
3
minsort
2
1
1
add
2
2
1
if_min
2
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
37986
rm
2
1
app
2
1
2
30801
eq
s
x
s
y
eq
x
y
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
eq
x
y
eq
y
x
true
if_minsort
true
add
n
x
y
app
rm
n
x
y
false
app
add
n
x
y
app
x
y
true
le
2
1
2
1
if_rm
3
3
31619
s
1
1
1
le
2
0
if_rm
3
0
if_min
2
0
eq
2
0
false
0
25158
min
1
1
true
0
1
eq
2
0
0
0
1
nil
0
1
app
2
1
0
if_minsort
3
0
min
1
3
minsort
2
1
1
add
2
2
1
if_min
2
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
31619
rm
2
1
app
2
1
2
45380
app
add
n
x
y
app
x
y
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
app
nil
y
y
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
rm
n
nil
nil
app
add
n
x
y
add
n
app
x
y
eq
x
y
eq
y
x
true
NaTT
certifiable-1.6