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