app
f
app
app
cons
nil
y
y
app
f
app
app
cons
app
f
app
app
cons
nil
y
z
app
app
app
copy
n
y
z
app
app
app
copy
0
y
z
app
f
z
app
app
app
copy
app
s
x
y
z
app
app
app
copy
x
y
app
app
cons
app
f
y
z
app
app
map
fun
nil
nil
app
app
map
fun
app
app
cons
x
xs
app
app
cons
app
fun
x
app
app
map
fun
xs
app
app
filter
fun
nil
nil
app
app
filter
fun
app
app
cons
x
xs
app
app
app
app
filter2
app
fun
x
fun
x
xs
app
app
app
app
filter2
true
fun
x
xs
app
app
cons
x
app
app
filter
fun
xs
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
2.2
app
f
app
app
cons
app
f
app
app
cons
nil
y
z
app
app
copy
n
y
app
app
map
fun
app
app
cons
x
xs
app
fun
x
app
app
app
app
filter2
false
fun
x
xs
app
filter
fun
app
app
app
app
filter2
true
fun
x
xs
app
cons
x
app
app
app
app
filter2
true
fun
x
xs
app
filter
fun
app
app
app
copy
app
s
x
y
z
app
cons
app
f
y
app
app
app
copy
app
s
x
y
z
app
app
cons
app
f
y
z
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
app
app
app
copy
0
y
z
app
f
z
app
app
app
copy
app
s
x
y
z
app
f
y
app
app
app
copy
app
s
x
y
z
app
app
app
copy
x
y
app
app
cons
app
f
y
z
app
app
map
fun
app
app
cons
x
xs
app
app
map
fun
xs
app
app
app
app
filter2
true
fun
x
xs
app
app
filter
fun
xs
app
app
map
fun
app
app
cons
x
xs
app
cons
app
fun
x
app
app
app
copy
app
s
x
y
z
app
copy
x
app
app
filter
fun
app
app
cons
x
xs
app
app
filter2
app
fun
x
fun
app
app
filter
fun
app
app
cons
x
xs
app
fun
x
app
app
app
copy
app
s
x
y
z
app
app
copy
x
y
app
app
filter
fun
app
app
cons
x
xs
app
app
app
filter2
app
fun
x
fun
x
app
f
app
app
cons
app
f
app
app
cons
nil
y
z
app
copy
n
app
f
app
app
cons
app
f
app
app
cons
nil
y
z
app
app
app
copy
n
y
z
app
app
app
app
filter2
true
fun
x
xs
app
app
cons
x
app
app
filter
fun
xs
app
app
filter
fun
app
app
cons
x
xs
app
app
app
app
filter2
app
fun
x
fun
x
xs
app
app
map
fun
app
app
cons
x
xs
app
app
cons
app
fun
x
app
app
map
fun
xs
app
app
filter
fun
app
app
cons
x
xs
app
filter2
app
fun
x
true
app
app
filter
fun
app
app
cons
x
xs
app
app
app
app
filter2
app
fun
x
fun
x
xs
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
app
app
filter
fun
app
app
cons
x
xs
app
fun
x
app
app
map
fun
app
app
cons
x
xs
app
fun
x
app
app
app
app
filter2
true
fun
x
xs
app
app
filter
fun
xs
app
app
map
fun
app
app
cons
x
xs
app
app
map
fun
xs
true
s
0
2
n
0
16
false
0
26372
true
0
8946
f
0
5
filter2
0
6135
0
0
1
nil
0
1
app
2
2
0
map
0
48638
cons
0
1
filter
0
32510
copy
0
1
app
2
1
2
1
app
app
app
app
filter2
true
fun
x
xs
app
app
filter
fun
xs
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
false
app
app
app
app
filter2
true
fun
x
xs
app
app
filter
fun
xs
false
app
app
map
fun
app
app
cons
x
xs
app
app
cons
app
fun
x
app
app
map
fun
xs
false
app
app
map
fun
app
app
cons
x
xs
app
cons
app
fun
x
false
app
app
app
app
filter2
true
fun
x
xs
app
app
cons
x
app
app
filter
fun
xs
false
app
app
app
app
filter2
true
fun
x
xs
app
cons
x
false
app
app
app
app
filter2
true
fun
x
xs
app
filter
fun
false
app
app
app
app
filter2
false
fun
x
xs
app
filter
fun
false
app
app
filter
fun
app
app
cons
x
xs
app
app
app
filter2
app
fun
x
fun
x
false
app
app
filter
fun
app
app
cons
x
xs
app
app
filter2
app
fun
x
fun
false
app
app
filter
fun
app
app
cons
x
xs
app
filter2
app
fun
x
false
app
app
app
copy
app
s
x
y
z
app
app
app
copy
x
y
app
app
cons
app
f
y
z
true
Failed!
NaTT
certifiable-1.6