f
g
x
g
y
f
p
f
g
x
s
y
g
s
p
x
p
0
g
0
g
s
p
x
p
x
2.2
f
g
x
g
y
f
p
f
g
x
s
y
g
s
p
x
f
g
x
g
y
p
x
f
g
x
g
y
g
s
p
x
f
g
x
g
y
p
f
g
x
s
y
p
0
g
0
f
g
x
g
y
f
g
x
s
y
true
f
g
x
g
y
f
g
x
s
y
false
f
g
x
g
y
p
f
g
x
s
y
false
f
g
x
g
y
p
x
false
p
0
g
0
false
f
g
x
g
y
g
s
p
x
false
f
g
x
g
y
f
p
f
g
x
s
y
g
s
p
x
false
NaTT
certifiable-1.6