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
2.2
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
min
add
n
x
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
minsort
add
n
x
y
eq
n
min
add
n
x
if_minsort
false
add
n
x
y
minsort
x
add
n
y
if_minsort
true
add
n
x
y
app
rm
n
x
y
if_rm
false
n
add
m
x
rm
n
x
if_min
true
add
n
add
m
x
min
add
n
x
rm
n
add
m
x
eq
n
m
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
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_rm
true
n
add
m
x
rm
n
x
min
add
n
add
m
x
le
n
m
eq
s
x
s
y
eq
x
y
true
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
1
3
0
s
1
1
le
2
0
if_rm
3
0
if_min
2
0
eq
2
25910
false
0
25910
min
1
0
true
0
25910
eq
2
0
0
0
1
nil
0
47339
app
2
0
if_minsort
3
2
3
3
min
1
153629
minsort
2
1
2
3
add
2
1
2
76814
if_min
2
2
0
if_minsort
3
0
minsort
2
0
rm
2
2
25910
rm
2
0
app
2
1
2
3564
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
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
eq
0
0
true
eq
s
x
0
false
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
0
s
x
false
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
1
3
19427
s
1
1
le
2
0
if_rm
3
0
if_min
2
0
eq
2
25070
false
0
25070
min
1
0
true
0
25068
eq
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
2
3
min
1
153629
minsort
2
1
4
add
2
1
2
2
if_min
2
2
153624
if_minsort
3
0
minsort
2
0
rm
2
2
44497
rm
2
0
app
2
1
2
38145
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
eq
0
0
true
eq
s
x
0
false
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
0
s
x
false
if_minsort
true
add
n
x
y
rm
n
x
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
1
3
44492
s
1
1
le
2
0
if_rm
3
0
if_min
2
2
0
eq
2
5
false
0
5
min
1
1
1
true
0
3
eq
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
3
min
1
153629
minsort
2
1
4
add
2
1
2
2
if_min
2
2
153624
if_minsort
3
0
minsort
2
0
rm
2
2
44497
rm
2
0
app
2
1
2
46111
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
eq
0
0
true
eq
s
x
0
false
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
0
s
x
false
min
add
n
add
m
x
le
n
m
false
le
s
x
s
y
le
x
y
true
le
2
1
2
29405
if_rm
3
1
3
44492
s
1
1
1
le
2
1
2
0
if_rm
3
0
if_min
2
0
eq
2
29408
false
0
29408
min
1
1
true
0
29407
eq
2
0
0
0
1
nil
0
36668
app
2
0
if_minsort
3
3
min
1
153629
minsort
2
1
4
add
2
1
2
1
if_min
2
2
153626
if_minsort
3
0
minsort
2
0
rm
2
2
73900
rm
2
0
app
2
1
2
25155
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
eq
0
0
true
eq
s
x
0
false
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
0
s
x
false
if_rm
true
n
add
m
x
rm
n
x
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
if_rm
false
n
add
m
x
rm
n
x
true
le
2
1
2
29405
if_rm
3
1
3
0
s
1
1
1
le
2
0
if_rm
3
1
3
0
if_min
2
0
eq
2
29408
false
0
29408
min
1
1
true
0
29408
eq
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
3
min
1
153629
minsort
2
1
4
add
2
1
2
2
if_min
2
2
153624
if_minsort
3
0
minsort
2
0
rm
2
2
29408
rm
2
2
29409
app
2
1
2
25155
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
eq
0
0
true
eq
s
x
0
false
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
0
s
x
false
rm
n
add
m
x
eq
n
m
false
eq
s
x
s
y
eq
x
y
true
le
2
1
2
1
if_rm
3
1
3
1102
s
1
1
1
le
2
0
if_rm
3
1
0
if_min
2
0
eq
2
4
false
0
4
min
1
1
true
0
4
eq
2
1
2
0
0
0
1
nil
0
1
app
2
0
if_minsort
3
3
min
1
153629
minsort
2
1
4
add
2
1
2
2
if_min
2
2
153624
if_minsort
3
0
minsort
2
0
rm
2
2
1106
rm
2
29409
app
2
1
2
30057
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
eq
0
0
true
eq
s
x
0
false
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
0
s
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
1
2
1
if_rm
3
1
3
1102
s
1
1
1
le
2
0
if_rm
3
1
0
if_min
2
0
eq
2
27860
false
0
27860
min
1
1
true
0
27859
eq
2
0
0
0
1
nil
0
1
app
2
1
0
if_minsort
3
3
min
1
153629
minsort
2
1
4
add
2
1
2
1
if_min
2
2
153626
if_minsort
3
0
minsort
2
0
rm
2
2
28962
rm
2
29409
app
2
1
2
30371
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
eq
0
0
true
eq
s
x
0
false
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
0
s
x
false
NaTT
certifiable-1.6