f
a
f
a
x
f
c
f
b
x
f
b
f
b
x
f
a
f
c
x
f
c
f
c
x
f
b
f
a
x
2.2
f
b
f
b
x
f
c
x
f
a
f
a
x
f
b
x
f
a
f
a
x
f
c
f
b
x
f
c
f
c
x
f
b
f
a
x
f
b
f
b
x
f
a
f
c
x
f
c
f
c
x
f
a
x
true
f
c
f
c
x
f
a
x
f
b
f
b
x
f
a
f
c
x
f
c
f
c
x
f
b
f
a
x
f
a
f
a
x
f
b
x
f
a
f
a
x
f
c
f
b
x
f
b
f
b
x
f
c
x
true
a
0
10803
b
0
10803
c
0
10803
f
2
2
20653
f
2
1
2
0
f
a
f
a
x
f
c
f
b
x
f
c
f
c
x
f
b
f
a
x
f
b
f
b
x
f
a
f
c
x
f
a
f
a
x
f
c
f
b
x
f
c
f
c
x
f
b
f
a
x
f
b
f
b
x
f
a
f
c
x
f
a
f
a
x
f
c
f
b
x
f
c
f
c
x
f
b
f
a
x
f
b
f
b
x
f
a
f
c
x
true
Failed!
NaTT
certifiable-1.6