app
D
t
1
app
D
constant
0
app
D
app
app
+
x
y
app
app
+
app
D
x
app
D
y
app
D
app
app
*
x
y
app
app
+
app
app
*
y
app
D
x
app
app
*
x
app
D
y
app
D
app
app
-
x
y
app
app
-
app
D
x
app
D
y
app
app
map
f
nil
nil
app
app
map
f
app
app
cons
x
xs
app
app
cons
app
f
x
app
app
map
f
xs
app
app
filter
f
nil
nil
app
app
filter
f
app
app
cons
x
xs
app
app
app
app
filter2
app
f
x
f
x
xs
app
app
app
app
filter2
true
f
x
xs
app
app
cons
x
app
app
filter
f
xs
app
app
app
app
filter2
false
f
x
xs
app
app
filter
f
xs
2.2
app
app
filter
f
app
app
cons
x
xs
app
app
app
filter2
app
f
x
f
x
app
D
app
app
*
x
y
app
app
*
x
app
D
y
app
app
app
app
filter2
false
f
x
xs
app
app
filter
f
xs
app
app
app
app
filter2
true
f
x
xs
app
cons
x
app
app
map
f
app
app
cons
x
xs
app
cons
app
f
x
app
app
map
f
app
app
cons
x
xs
app
app
map
f
xs
app
D
app
app
*
x
y
app
app
+
app
app
*
y
app
D
x
app
app
*
x
app
D
y
app
D
app
app
+
x
y
app
D
y
app
app
app
app
filter2
true
f
x
xs
app
app
cons
x
app
app
filter
f
xs
app
app
app
app
filter2
true
f
x
xs
app
app
filter
f
xs
app
D
app
app
*
x
y
app
D
y
app
D
app
app
*
x
y
app
+
app
app
*
y
app
D
x
app
D
app
app
+
x
y
app
app
+
app
D
x
app
D
y
app
app
app
app
filter2
false
f
x
xs
app
filter
f
app
app
map
f
app
app
cons
x
xs
app
f
x
app
app
filter
f
app
app
cons
x
xs
app
f
x
app
D
app
app
*
x
y
app
D
x
app
D
app
app
+
x
y
app
D
x
app
D
app
app
*
x
y
app
*
y
app
D
app
app
-
x
y
app
-
app
D
x
app
D
app
app
-
x
y
app
D
y
app
D
app
app
*
x
y
app
app
*
y
app
D
x
app
D
app
app
+
x
y
app
+
app
D
x
app
D
app
app
-
x
y
app
app
-
app
D
x
app
D
y
app
app
filter
f
app
app
cons
x
xs
app
app
filter2
app
f
x
f
app
app
filter
f
app
app
cons
x
xs
app
app
app
app
filter2
app
f
x
f
x
xs
app
app
map
f
app
app
cons
x
xs
app
app
cons
app
f
x
app
app
map
f
xs
app
app
app
app
filter2
true
f
x
xs
app
filter
f
app
app
filter
f
app
app
cons
x
xs
app
filter2
app
f
x
app
D
app
app
-
x
y
app
D
x
true
app
app
app
app
filter2
true
f
x
xs
app
app
filter
f
xs
app
app
filter
f
app
app
cons
x
xs
app
app
app
app
filter2
app
f
x
f
x
xs
app
app
map
f
app
app
cons
x
xs
app
app
map
f
xs
app
app
app
app
filter2
false
f
x
xs
app
app
filter
f
xs
app
app
filter
f
app
app
cons
x
xs
app
f
x
app
app
map
f
app
app
cons
x
xs
app
f
x
true
1
0
106114
constant
0
1
t
0
32774
false
0
37247
D
0
41231
true
0
32106
filter2
0
56519
0
0
73341
nil
0
20534
-
0
59992
app
2
2
0
map
0
2466
cons
0
18458
filter
0
70168
+
0
23535
*
0
42207
app
2
1
2
32108
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
app
app
filter2
true
f
x
xs
app
app
filter
f
xs
false
app
app
app
app
filter2
false
f
x
xs
app
app
filter
f
xs
false
app
app
filter
f
app
app
cons
x
xs
app
app
filter2
app
f
x
f
false
app
app
filter
f
app
app
cons
x
xs
app
filter2
app
f
x
false
app
app
map
f
app
app
cons
x
xs
app
app
cons
app
f
x
app
app
map
f
xs
false
app
app
map
f
app
app
cons
x
xs
app
cons
app
f
x
false
app
app
app
app
filter2
true
f
x
xs
app
app
cons
x
app
app
filter
f
xs
false
app
app
app
app
filter2
true
f
x
xs
app
cons
x
false
app
app
app
app
filter2
true
f
x
xs
app
filter
f
false
app
D
app
app
-
x
y
app
D
x
app
D
app
app
*
x
y
app
D
y
app
D
app
app
+
x
y
app
D
y
app
D
app
app
-
x
y
app
D
y
app
D
app
app
+
x
y
app
D
x
app
D
app
app
*
x
y
app
D
x
true
1
0
120298
constant
0
1
t
0
48019
false
0
34743
D
0
55209
true
0
17067
filter2
0
20086
0
0
72280
nil
0
13080
-
0
37112
app
2
2
0
map
0
19158
cons
0
29405
filter
0
7749
+
0
38472
*
0
57246
app
2
1
2
17069
app
D
app
app
-
x
y
app
app
-
app
D
x
app
D
y
false
app
D
app
app
-
x
y
app
-
app
D
x
false
app
D
app
app
+
x
y
app
+
app
D
x
false
app
D
app
app
*
x
y
app
app
+
app
app
*
y
app
D
x
app
app
*
x
app
D
y
false
app
D
app
app
*
x
y
app
+
app
app
*
y
app
D
x
false
app
D
app
app
*
x
y
app
app
*
y
app
D
x
false
app
D
app
app
*
x
y
app
*
y
false
app
app
app
app
filter2
false
f
x
xs
app
filter
f
false
app
D
app
app
*
x
y
app
app
*
x
app
D
y
false
app
app
filter
f
app
app
cons
x
xs
app
app
app
filter2
app
f
x
f
x
false
app
D
app
app
+
x
y
app
app
+
app
D
x
app
D
y
false
NaTT
certifiable-1.6