app'
app'
minus
x
0
x
app'
app'
minus
app'
s
x
app'
s
y
app'
app'
minus
x
y
app'
app'
quot
0
app'
s
y
0
app'
app'
quot
app'
s
x
app'
s
y
app'
s
app'
app'
quot
app'
app'
minus
x
y
app'
s
y
app'
app'
le
0
y
true
app'
app'
le
app'
s
x
0
false
app'
app'
le
app'
s
x
app'
s
y
app'
app'
le
x
y
app'
app'
app
nil
y
y
app'
app'
app
app'
app'
add
n
x
y
app'
app'
add
n
app'
app'
app
x
y
app'
app'
low
n
nil
nil
app'
app'
low
n
app'
app'
add
m
x
app'
app'
app'
if_low
app'
app'
le
m
n
n
app'
app'
add
m
x
app'
app'
app'
if_low
true
n
app'
app'
add
m
x
app'
app'
add
m
app'
app'
low
n
x
app'
app'
app'
if_low
false
n
app'
app'
add
m
x
app'
app'
low
n
x
app'
app'
high
n
nil
nil
app'
app'
high
n
app'
app'
add
m
x
app'
app'
app'
if_high
app'
app'
le
m
n
n
app'
app'
add
m
x
app'
app'
app'
if_high
true
n
app'
app'
add
m
x
app'
app'
high
n
x
app'
app'
app'
if_high
false
n
app'
app'
add
m
x
app'
app'
add
m
app'
app'
high
n
x
app'
quicksort
nil
nil
app'
quicksort
app'
app'
add
n
x
app'
app'
app
app'
quicksort
app'
app'
low
n
x
app'
app'
add
n
app'
quicksort
app'
app'
high
n
x
app'
app'
map
f
nil
nil
app'
app'
map
f
app'
app'
add
x
xs
app'
app'
add
app'
f
x
app'
app'
map
f
xs
app'
app'
filter
f
nil
nil
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
app'
app'
filter2
app'
f
x
f
x
xs
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
add
x
app'
app'
filter
f
xs
app'
app'
app'
app'
filter2
false
f
x
xs
app'
app'
filter
f
xs
2.2
app'
app'
minus
app'
s
x
app'
s
y
app'
minus
x
app'
app'
map
f
app'
app'
add
x
xs
app'
f
x
app'
app'
app'
if_high
false
n
app'
app'
add
m
x
app'
app'
add
m
app'
app'
high
n
x
app'
quicksort
app'
app'
add
n
x
app'
app'
low
n
x
app'
app'
app'
if_high
true
n
app'
app'
add
m
x
app'
high
n
app'
app'
map
f
app'
app'
add
x
xs
app'
add
app'
f
x
app'
app'
map
f
app'
app'
add
x
xs
app'
app'
add
app'
f
x
app'
app'
map
f
xs
app'
quicksort
app'
app'
add
n
x
app'
app'
add
n
app'
quicksort
app'
app'
high
n
x
app'
app'
high
n
app'
app'
add
m
x
app'
app'
app'
if_high
app'
app'
le
m
n
n
app'
app'
add
m
x
app'
app'
quot
app'
s
x
app'
s
y
app'
app'
quot
app'
app'
minus
x
y
app'
s
y
app'
app'
high
n
app'
app'
add
m
x
app'
app'
if_high
app'
app'
le
m
n
n
app'
quicksort
app'
app'
add
n
x
app'
quicksort
app'
app'
high
n
x
app'
app'
app
app'
app'
add
n
x
y
app'
app'
app
x
y
app'
app'
quot
app'
s
x
app'
s
y
app'
app'
minus
x
y
app'
quicksort
app'
app'
add
n
x
app'
high
n
app'
app'
high
n
app'
app'
add
m
x
app'
le
m
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
add
x
app'
app'
filter
f
xs
app'
app'
low
n
app'
app'
add
m
x
app'
app'
if_low
app'
app'
le
m
n
n
app'
app'
low
n
app'
app'
add
m
x
app'
app'
le
m
n
app'
app'
app'
if_low
true
n
app'
app'
add
m
x
app'
low
n
app'
app'
app'
if_low
true
n
app'
app'
add
m
x
app'
app'
low
n
x
app'
app'
app'
if_high
true
n
app'
app'
add
m
x
app'
app'
high
n
x
app'
app'
low
n
app'
app'
add
m
x
app'
le
m
app'
app'
app'
if_high
false
n
app'
app'
add
m
x
app'
high
n
app'
app'
quot
app'
s
x
app'
s
y
app'
minus
x
app'
app'
app'
app'
filter2
true
f
x
xs
app'
add
x
app'
app'
app'
if_high
false
n
app'
app'
add
m
x
app'
app'
high
n
x
app'
app'
quot
app'
s
x
app'
s
y
app'
s
app'
app'
quot
app'
app'
minus
x
y
app'
s
y
app'
app'
high
n
app'
app'
add
m
x
app'
if_high
app'
app'
le
m
n
app'
app'
app'
app'
filter2
false
f
x
xs
app'
app'
filter
f
xs
app'
app'
filter
f
app'
app'
add
x
xs
app'
filter2
app'
f
x
app'
app'
app
app'
app'
add
n
x
y
app'
app
x
app'
quicksort
app'
app'
add
n
x
app'
app'
high
n
x
app'
app'
low
n
app'
app'
add
m
x
app'
if_low
app'
app'
le
m
n
app'
quicksort
app'
app'
add
n
x
app'
app
app'
quicksort
app'
app'
low
n
x
app'
app'
app
app'
app'
add
n
x
y
app'
app'
add
n
app'
app'
app
x
y
app'
app'
map
f
app'
app'
add
x
xs
app'
app'
map
f
xs
app'
app'
le
app'
s
x
app'
s
y
app'
le
x
app'
app'
app'
if_low
true
n
app'
app'
add
m
x
app'
app'
add
m
app'
app'
low
n
x
app'
quicksort
app'
app'
add
n
x
app'
quicksort
app'
app'
low
n
x
app'
app'
le
app'
s
x
app'
s
y
app'
app'
le
x
y
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
app'
app'
filter2
app'
f
x
f
x
xs
app'
quicksort
app'
app'
add
n
x
app'
app'
app
app'
quicksort
app'
app'
low
n
x
app'
app'
add
n
app'
quicksort
app'
app'
high
n
x
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
filter2
app'
f
x
f
app'
app'
app'
app'
filter2
false
f
x
xs
app'
filter
f
app'
quicksort
app'
app'
add
n
x
app'
low
n
app'
app'
filter
f
app'
app'
add
x
xs
app'
f
x
app'
app'
app'
app'
filter2
true
f
x
xs
app'
filter
f
app'
app'
app'
if_low
false
n
app'
app'
add
m
x
app'
app'
low
n
x
app'
app'
minus
app'
s
x
app'
s
y
app'
app'
minus
x
y
app'
app'
quot
app'
s
x
app'
s
y
app'
quot
app'
app'
minus
x
y
app'
app'
low
n
app'
app'
add
m
x
app'
app'
app'
if_low
app'
app'
le
m
n
n
app'
app'
add
m
x
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
filter
f
xs
app'
app'
app'
if_low
false
n
app'
app'
add
m
x
app'
low
n
app'
app'
high
n
app'
app'
add
m
x
app'
app'
le
m
n
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
app'
filter2
app'
f
x
f
x
true
app'
app'
app'
app'
filter2
false
f
x
xs
app'
app'
filter
f
xs
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
filter
f
xs
app'
app'
filter
f
app'
app'
add
x
xs
app'
f
x
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
app'
app'
filter2
app'
f
x
f
x
xs
app'
app'
map
f
app'
app'
add
x
xs
app'
app'
map
f
xs
app'
app'
map
f
app'
app'
add
x
xs
app'
f
x
true
le
0
3293
s
0
1
minus
0
49070
if_high
0
34735
app'
2
2
0
false
0
844
quicksort
0
27049
true
0
4
filter2
0
39125
0
0
25647
app'
2
1
2
6
quot
0
10269
high
0
37205
nil
0
47941
map
0
3588
low
0
41194
add
0
2447
filter
0
36683
if_low
0
37884
app
0
34132
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
filter
f
xs
app'
app'
app'
app'
filter2
false
f
x
xs
app'
app'
filter
f
xs
app'
app'
app'
app'
filter2
false
f
x
xs
app'
app'
filter
f
xs
false
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
filter
f
xs
false
app'
app'
app'
app'
filter2
true
f
x
xs
app'
app'
add
x
app'
app'
filter
f
xs
false
app'
app'
app'
app'
filter2
true
f
x
xs
app'
add
x
false
app'
app'
app'
app'
filter2
true
f
x
xs
app'
filter
f
false
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
app'
filter2
app'
f
x
f
x
false
app'
app'
filter
f
app'
app'
add
x
xs
app'
app'
filter2
app'
f
x
f
false
app'
app'
app'
app'
filter2
false
f
x
xs
app'
filter
f
false
app'
quicksort
app'
app'
add
n
x
app'
quicksort
app'
app'
high
n
x
app'
quicksort
app'
app'
add
n
x
app'
quicksort
app'
app'
low
n
x
true
Failed!
NaTT
certifiable-1.6