a
a
f
b
a
x
f
a
a
a
x
b
a
a
x
f
b
a
f
a
x
b
f
a
x
b
f
b
a
x
2.2
a
a
x
a
f
a
x
b
a
a
f
b
a
x
a
a
a
x
a
a
f
b
a
x
a
a
x
a
a
f
b
a
x
f
a
a
a
x
b
a
a
x
f
a
x
b
a
a
x
f
b
a
f
a
x
b
f
a
x
b
f
b
a
x
true
a
a
f
b
a
x
a
a
a
x
a
a
f
b
a
x
a
a
x
a
a
x
a
f
a
x
b
true
a
1
1
11798
b
0
0
f
2
1
2
0
f
2
0
a
1
1
0
a
a
x
a
f
a
x
b
a
a
f
b
a
x
a
a
a
x
a
a
f
b
a
x
f
a
a
a
x
b
f
a
x
b
f
b
a
x
a
a
x
f
b
a
f
a
x
b
a
a
f
b
a
x
a
a
a
x
a
a
x
a
f
a
x
b
true
a
1
32287
b
0
1
f
2
1
f
2
0
a
1
1
0
a
a
f
b
a
x
a
a
a
x
a
a
f
b
a
x
f
a
a
a
x
b
f
a
x
b
f
b
a
x
a
a
x
f
b
a
f
a
x
b
a
a
f
b
a
x
a
a
a
x
true
2
1
a
1
0
1
1
0
1
1941
40687
b
0
1
1
f
2
1
0
0
0
1
1
0
0
0
2
0
40686
f
2
0
0
a
1
0
0
1
0
1
0
0
a
a
f
b
a
x
f
a
a
a
x
b
f
a
x
b
f
b
a
x
a
a
x
f
b
a
f
a
x
b
a
a
x
f
b
a
f
a
x
b
false
a
a
x
f
a
x
b
false
a
a
f
b
a
x
f
a
a
a
x
b
false
f
a
x
b
f
b
a
x
false
NaTT
certifiable-1.6