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