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