app
f
a
app
f
b
app
g
b
app
g
a
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
app
filter
fun
app
app
cons
x
xs
app
app
app
app
filter2
app
fun
x
fun
x
xs
app
app
filter
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
app
filter
fun
xs
app
f
a
app
f
b
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
app
app
map
fun
app
app
cons
x
xs
app
app
cons
app
fun
x
app
app
map
fun
xs
app
app
app
app
filter2
true
fun
x
xs
app
app
cons
x
app
app
filter
fun
xs
app
app
app
app
filter2
true
fun
x
xs
app
filter
fun
app
app
filter
fun
app
app
cons
x
xs
app
filter2
app
fun
x
app
app
map
fun
app
app
cons
x
xs
app
app
map
fun
xs
app
app
map
fun
app
app
cons
x
xs
app
fun
x
app
app
filter
fun
app
app
cons
x
xs
app
app
app
filter2
app
fun
x
fun
x
app
g
b
app
g
a
app
app
app
app
filter2
true
fun
x
xs
app
cons
x
app
app
map
fun
app
app
cons
x
xs
app
cons
app
fun
x
app
app
filter
fun
app
app
cons
x
xs
app
app
filter2
app
fun
x
fun
true
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
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
app
app
filter
fun
app
app
cons
x
xs
app
fun
x
app
app
filter
fun
app
app
cons
x
xs
app
app
app
app
filter2
app
fun
x
fun
x
xs
true
a
0
2
b
0
1
false
0
30538
true
0
29393
f
0
0
filter2
0
12940
nil
0
8647
app
2
2
0
map
0
62898
cons
0
5854
filter
0
36480
g
0
0
app
2
1
2
29395
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
g
b
app
g
a
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
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
app
filter2
true
fun
x
xs
app
filter
fun
false
app
f
a
app
f
b
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
false
fun
x
xs
app
filter
fun
false
NaTT
certifiable-1.6