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