app
f
0
true
app
f
1
false
app
f
app
s
x
app
f
x
app
app
app
if
true
app
s
x
app
s
y
app
s
x
app
app
app
if
false
app
s
x
app
s
y
app
s
y
app
app
g
x
app
c
y
app
c
app
app
g
x
y
app
app
g
x
app
c
y
app
app
g
x
app
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
app
c
y
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
g
x
app
c
y
app
app
g
x
y
app
app
map
fun
app
app
cons
x
xs
app
cons
app
fun
x
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
app
app
filter
fun
app
app
cons
x
xs
app
app
filter2
app
fun
x
fun
app
app
g
x
app
c
y
app
app
g
app
s
x
y
app
app
g
x
app
c
y
app
c
app
app
g
app
s
x
y
app
app
filter
fun
app
app
cons
x
xs
app
filter2
app
fun
x
app
app
app
app
filter2
true
fun
x
xs
app
app
cons
x
app
app
filter
fun
xs
app
app
g
x
app
c
y
app
g
app
s
x
app
app
g
x
app
c
y
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
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
app
map
fun
app
app
cons
x
xs
app
app
cons
app
fun
x
app
app
map
fun
xs
app
app
g
x
app
c
y
app
f
x
app
f
app
s
x
app
f
x
app
app
app
app
filter2
true
fun
x
xs
app
filter
fun
app
app
g
x
app
c
y
app
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
app
c
y
app
app
g
x
app
c
y
app
s
x
app
app
g
x
app
c
y
app
if
app
f
x
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
g
x
app
c
y
app
c
app
app
g
x
y
app
app
map
fun
app
app
cons
x
xs
app
app
map
fun
xs
app
app
app
app
filter2
true
fun
x
xs
app
cons
x
app
app
app
app
filter2
false
fun
x
xs
app
filter
fun
app
app
g
x
app
c
y
app
app
g
x
app
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
app
c
y
true
app
app
map
fun
app
app
cons
x
xs
app
app
map
fun
xs
app
app
app
app
filter2
false
fun
x
xs
app
app
filter
fun
xs
app
app
app
app
filter2
true
fun
x
xs
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
filter
fun
app
app
cons
x
xs
app
fun
x
app
app
map
fun
app
app
cons
x
xs
app
fun
x
true
1
0
1
s
0
34651
false
0
61216
c
0
50743
true
0
93107
f
0
52268
filter2
0
7177
0
0
31892
if
0
31098
nil
0
15823
app
2
2
0
map
0
21258
cons
0
49419
filter
0
86286
g
0
41828
app
2
1
2
8946
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
true
fun
x
xs
app
app
filter
fun
xs
false
app
app
app
app
filter2
false
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
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
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
g
x
app
c
y
app
app
g
app
s
x
y
app
app
g
x
app
c
y
app
app
g
x
y
true
1
0
1
s
0
43596
false
0
95227
c
0
53145
true
0
4
f
0
1
filter2
0
1
0
0
1
if
0
1
nil
0
13485
app
2
2
0
map
0
30203
cons
0
19335
filter
0
95231
g
0
1
app
2
1
2
1
app
app
g
x
app
c
y
app
c
app
app
g
x
y
false
app
app
g
x
app
c
y
app
app
g
x
app
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
app
c
y
false
app
app
g
x
app
c
y
app
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
app
c
y
false
app
app
g
x
app
c
y
app
if
app
f
x
false
app
app
g
x
app
c
y
app
f
x
false
app
f
app
s
x
app
f
x
true
1
0
1
s
0
51519
false
0
46044
c
0
20684
true
0
47147
f
0
46041
filter2
0
35987
0
0
1103
if
0
21313
nil
0
13485
app
2
2
0
map
0
29260
cons
0
47121
filter
0
82034
g
0
1
app
2
1
2
1
app
app
g
x
app
c
y
app
c
app
app
g
app
s
x
y
false
app
app
g
x
app
c
y
app
g
app
s
x
false
app
app
g
x
app
c
y
app
s
x
false
app
app
g
x
app
c
y
app
app
if
app
f
x
app
c
app
app
g
app
s
x
y
false
NaTT
certifiable-1.6