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