g
0
f
x
x
x
g
x
s
y
g
f
x
y
0
g
s
x
y
g
f
x
y
0
g
f
x
y
0
f
g
x
0
g
y
0
2.2
g
s
x
y
g
f
x
y
0
g
f
x
y
0
g
x
0
g
x
s
y
g
f
x
y
0
g
f
x
y
0
g
y
0
true
g
x
s
y
g
f
x
y
0
false
g
f
x
y
0
g
y
0
g
f
x
y
0
g
x
0
g
s
x
y
g
f
x
y
0
true
s
1
1
23678
f
2
1
2
1
0
0
23676
g
2
1
2
0
g
2
0
NaTT
certifiable-1.6