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