f
f
a
x
a
f
f
f
a
a
f
x
a
a
2.2
f
f
a
x
a
f
f
a
a
f
x
a
f
f
a
x
a
f
a
a
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
x
a
true
f
f
a
x
a
f
x
a
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
f
a
a
f
x
a
true
a
0
2
f
2
1
f
2
2
0
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
x
a
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
x
a
f
f
a
x
a
f
f
f
a
a
f
x
a
a
true
2
1
a
0
0
12063
f
2
0
0
1
0
1
1
0
1
0
2
0
0
f
2
1
1
0
0
1
0
0
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
f
f
a
a
f
x
a
a
true
2
1
a
0
1
2
f
2
0
0
1
0
1
15329
1
f
2
1
0
0
0
1
0
0
f
f
a
x
a
f
f
f
a
a
f
x
a
a
f
f
a
x
a
f
a
a
false
NaTT
certifiable-1.6