fib
0
0
fib
s
0
s
0
fib
s
s
0
s
0
fib
s
s
x
sp
g
x
g
0
pair
s
0
0
g
s
0
pair
s
0
s
0
g
s
x
np
g
x
sp
pair
x
y
+
x
y
np
pair
x
y
pair
+
x
y
x
+
x
0
x
+
x
s
y
s
+
x
y
2.2
+
x
s
y
+
x
y
fib
s
s
x
sp
g
x
fib
s
s
x
g
x
sp
pair
x
y
+
x
y
g
s
x
np
g
x
np
pair
x
y
+
x
y
g
s
x
g
x
true
fib
s
s
x
sp
g
x
false
sp
pair
x
y
+
x
y
false
fib
s
s
x
g
x
false
g
s
x
g
x
true
s
1
1
1
pair
2
0
sp
1
0
fib
1
0
0
0
0
g
1
1
0
np
1
0
sp
1
0
+
2
0
fib
1
0
np
1
0
g
1
0
+
2
0
g
s
x
np
g
x
false
np
pair
x
y
+
x
y
false
+
x
s
y
+
x
y
true
s
1
1
1
pair
2
0
sp
1
0
fib
1
0
0
0
0
g
1
0
np
1
0
sp
1
0
+
2
0
fib
1
0
np
1
0
g
1
0
+
2
2
0
NaTT
certifiable-1.6