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