f
a
f
a
f
b
f
x
y
f
b
f
c
f
b
f
a
f
a
f
a
f
x
y
f
a
f
c
f
x
y
f
b
f
x
y
2.2
f
a
f
a
f
b
f
x
y
f
b
f
c
f
b
f
a
f
a
f
a
f
x
y
f
a
f
a
f
b
f
x
y
f
a
f
a
f
x
y
f
a
f
a
f
b
f
x
y
f
a
f
x
y
f
a
f
a
f
b
f
x
y
f
a
f
a
f
a
f
x
y
f
a
f
a
f
b
f
x
y
f
c
f
b
f
a
f
a
f
a
f
x
y
f
a
f
c
f
x
y
f
b
f
x
y
f
a
f
a
f
b
f
x
y
f
b
f
a
f
a
f
a
f
x
y
true
f
a
f
a
f
b
f
x
y
f
a
f
a
f
x
y
f
a
f
a
f
b
f
x
y
f
a
f
a
f
a
f
x
y
f
a
f
a
f
b
f
x
y
f
a
f
x
y
true
Failed!
NaTT
certifiable-1.6