a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
2.2
a
g
a
f
a
g
x
a
f
a
f
a
g
x
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
a
f
a
g
a
f
x
a
g
a
g
a
f
x
true
a
f
a
g
a
f
x
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
f
a
f
a
g
x
true
a
2
1
1
0
f
0
0
a
2
1
11293
2
11294
0
g
0
3
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
a
f
a
g
a
f
x
a
g
a
g
a
f
x
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
true
2
1
a
2
0
1
0
0
1
0
0
1
0
2
1
43730
f
0
2
1
a
2
1
0
1
1
2
0
0
g
0
1
1
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
a
f
a
g
a
f
x
a
g
a
g
a
f
x
false
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
true
2
1
a
2
0
1
0
0
1
0
0
1
0
2
30808
0
f
0
1
1
a
2
1
0
1
1
2
0
0
g
0
14023
1
a
f
a
g
a
f
x
a
f
a
g
a
g
a
f
x
a
g
a
f
a
g
x
a
g
a
f
a
f
a
g
x
NaTT
certifiable-1.6