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
nil
0
min
add
n
x
minIter
add
n
x
add
n
x
0
minIter
nil
add
n
y
m
minIter
add
n
y
add
n
y
s
m
minIter
add
n
x
y
m
if_min
le
n
m
x
y
m
if_min
true
x
y
m
m
if_min
false
x
y
m
minIter
x
y
m
head
add
n
x
n
tail
add
n
x
x
tail
nil
nil
null
nil
true
null
add
n
x
false
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
2.2
minIter
add
n
x
y
m
le
n
m
if_rm
true
n
add
m
x
rm
n
x
if_minsort
true
add
n
x
y
app
rm
n
x
y
if_minsort
false
add
n
x
y
minsort
x
add
n
y
rm
n
add
m
x
eq
n
m
if_minsort
true
add
n
x
y
minsort
app
rm
n
x
y
nil
if_minsort
true
add
n
x
y
rm
n
x
minIter
nil
add
n
y
m
minIter
add
n
y
add
n
y
s
m
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
if_rm
false
n
add
m
x
rm
n
x
minsort
add
n
x
y
min
add
n
x
eq
s
x
s
y
eq
x
y
minsort
add
n
x
y
eq
n
min
add
n
x
app
add
n
x
y
app
x
y
minIter
add
n
x
y
m
if_min
le
n
m
x
y
m
le
s
x
s
y
le
x
y
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
min
add
n
x
minIter
add
n
x
add
n
x
0
if_min
false
x
y
m
minIter
x
y
m
true
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
if_minsort
false
add
n
x
y
minsort
x
add
n
y
true
le
2
2
0
if_rm
3
3
42910
s
1
1
le
2
0
if_rm
3
0
minIter
3
1
3
0
if_min
4
0
eq
2
1
1
false
0
3
min
1
0
head
1
0
true
0
3
eq
2
0
tail
1
0
0
0
1
null
1
0
nil
0
1
tail
1
0
minIter
3
0
app
2
0
if_minsort
3
2
3
0
min
1
0
null
1
0
head
1
0
minsort
2
1
2
0
add
2
1
2
79580
if_min
4
3
79581
if_minsort
3
0
minsort
2
0
rm
2
2
42910
rm
2
0
app
2
1
2
36668
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
app
nil
y
y
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
app
add
n
x
y
add
n
app
x
y
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
true
le
2
2
0
if_rm
3
3
1
s
1
1
le
2
0
if_rm
3
0
minIter
3
1
3
0
if_min
4
0
eq
2
1
1
false
0
4
min
1
0
head
1
0
true
0
4
eq
2
0
tail
1
0
0
0
2
null
1
0
nil
0
1
tail
1
0
minIter
3
0
app
2
0
if_minsort
3
2
0
min
1
1
null
1
0
head
1
0
minsort
2
1
1
add
2
1
2
79580
if_min
4
3
79581
if_minsort
3
0
minsort
2
0
rm
2
2
1
rm
2
0
app
2
1
2
9508
app
nil
y
y
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
app
add
n
x
y
add
n
app
x
y
if_minsort
true
add
n
x
y
rm
n
x
false
minsort
add
n
x
y
eq
n
min
add
n
x
false
if_minsort
true
add
n
x
y
app
rm
n
x
y
false
app
add
n
x
y
app
x
y
true
le
2
2
0
if_rm
3
3
36261
s
1
1
le
2
0
if_rm
3
0
minIter
3
1
3
0
if_min
4
0
eq
2
1
1
false
0
3
min
1
0
head
1
0
true
0
4
eq
2
0
tail
1
0
0
0
1
null
1
0
nil
0
1
tail
1
0
minIter
3
0
app
2
1
0
if_minsort
3
0
min
1
0
null
1
0
head
1
0
minsort
2
1
1
add
2
1
2
1
if_min
4
3
2
if_minsort
3
0
minsort
2
0
rm
2
2
36261
rm
2
0
app
2
1
2
29936
app
nil
y
y
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
app
add
n
x
y
add
n
app
x
y
minsort
add
n
x
y
min
add
n
x
false
min
add
n
x
minIter
add
n
x
add
n
x
0
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
2
0
if_rm
3
3
1
s
1
1
le
2
0
if_rm
3
2
3
0
minIter
3
1
3
0
if_min
4
0
eq
2
1
1
false
0
3
min
1
0
head
1
0
true
0
4
eq
2
0
tail
1
0
0
0
1
null
1
0
nil
0
2
tail
1
0
minIter
3
0
app
2
0
if_minsort
3
0
min
1
0
null
1
0
head
1
0
minsort
2
1
1
add
2
1
2
2
if_min
4
3
3
if_minsort
3
0
minsort
2
0
rm
2
2
1
rm
2
1
2
1
app
2
1
2
29936
app
nil
y
y
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
app
add
n
x
y
add
n
app
x
y
rm
n
add
m
x
eq
n
m
false
eq
s
x
s
y
eq
x
y
true
le
2
2
0
if_rm
3
3
23744
s
1
1
1
le
2
0
if_rm
3
0
minIter
3
1
3
0
if_min
4
0
eq
2
1
1
false
0
3
min
1
0
head
1
0
true
0
4
eq
2
2
0
tail
1
0
0
0
1
null
1
0
nil
0
2
tail
1
0
minIter
3
0
app
2
0
if_minsort
3
0
min
1
0
null
1
0
head
1
0
minsort
2
1
1
add
2
1
2
2
if_min
4
3
3
if_minsort
3
0
minsort
2
0
rm
2
2
23744
rm
2
1
app
2
1
2
29936
app
nil
y
y
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
app
add
n
x
y
add
n
app
x
y
if_min
false
x
y
m
minIter
x
y
m
minIter
add
n
x
y
m
if_min
le
n
m
x
y
m
minIter
nil
add
n
y
m
minIter
add
n
y
add
n
y
s
m
true
Failed!
NaTT
certifiable-1.6