+
g
x
g
y
g
+
g
a
+
x
y
+
+
2.2
+
x
+
y
z
+
+
x
y
z
+
x
y
+
y
x
+
x
+
y
z
+
x
y
+
x
y
+
y
x
+
x
+
y
z
+
+
x
y
z
+
g
x
g
y
+
x
y
+
g
x
g
y
+
g
a
+
x
y
+
+
g
x
g
y
_1
+
g
+
g
a
+
x
y
_1
+
g
x
g
y
+
g
a
+
x
y
+
x
+
y
z
+
+
x
y
z
+
x
y
+
y
x
+
g
x
g
y
+
x
y
+
x
+
y
z
+
x
y
true
a
0
0
+
2
1
2
0
g
1
1
21239
+
2
1
2
0
+
g
x
g
y
+
x
y
+
g
x
g
y
+
g
a
+
x
y
+
g
x
g
y
g
+
g
a
+
x
y
+
x
y
+
y
x
+
x
+
y
z
+
+
x
y
z
+
x
y
+
y
x
+
x
+
y
z
+
x
y
+
x
+
y
z
+
+
x
y
z
true
+
x
y
+
y
x
+
+
g
x
g
y
_1
+
g
+
g
a
+
x
y
_1
+
x
+
y
z
+
+
x
y
z
+
x
+
y
z
+
x
y
true
a
0
1
+
2
1
2
1
g
1
32286
+
2
1
2
0
+
x
+
y
z
+
x
y
+
+
g
x
g
y
_1
+
g
+
g
a
+
x
y
_1
+
g
x
g
y
g
+
g
a
+
x
y
+
x
y
+
y
x
+
x
+
y
z
+
+
x
y
z
+
x
y
+
y
x
+
x
+
y
z
+
+
x
y
z
true
NaTT
certifiable-1.6