f
f
a
b
x
f
b
f
a
f
c
f
b
f
a
x
f
x
f
y
z
f
f
x
y
z
2.2
f
x
f
y
z
f
x
y
f
f
a
b
x
f
b
f
a
x
f
f
a
b
x
f
a
x
f
f
a
b
x
f
c
f
b
f
a
x
f
f
a
b
x
f
b
f
a
f
c
f
b
f
a
x
f
x
f
y
z
f
f
x
y
z
f
f
a
b
x
f
a
f
c
f
b
f
a
x
true
f
f
a
b
x
f
a
f
c
f
b
f
a
x
f
x
f
y
z
f
f
x
y
z
f
f
a
b
x
f
b
f
a
f
c
f
b
f
a
x
f
f
a
b
x
f
b
f
a
x
f
f
a
b
x
f
c
f
b
f
a
x
f
f
a
b
x
f
a
x
f
x
f
y
z
f
x
y
true
a
0
28102
b
0
1
c
0
1143
f
2
1
0
f
2
1
0
f
x
f
y
z
f
x
y
f
f
a
b
x
f
a
x
f
x
f
y
z
f
f
x
y
z
f
f
a
b
x
f
a
f
c
f
b
f
a
x
f
f
a
b
x
f
b
f
a
f
c
f
b
f
a
x
f
x
f
y
z
f
f
x
y
z
f
f
a
b
x
f
a
x
f
f
a
b
x
f
a
f
c
f
b
f
a
x
f
x
f
y
z
f
x
y
f
x
f
y
z
f
f
x
y
z
true
Failed!
NaTT
certifiable-1.6