+
a
b
+
b
a
+
a
+
b
z
+
b
+
a
z
+
+
x
y
z
+
x
+
y
z
f
a
y
a
f
b
y
b
f
+
x
y
z
+
f
x
z
f
y
z
2.2
+
a
+
b
z
+
a
z
+
+
x
y
z
+
x
+
y
z
+
+
x
y
z
+
y
z
f
+
x
y
z
f
y
z
f
+
x
y
z
+
f
x
z
f
y
z
+
a
+
b
z
+
b
+
a
z
+
a
b
+
b
a
f
+
x
y
z
f
x
z
true
f
+
x
y
z
f
x
z
f
+
x
y
z
f
y
z
true
a
0
0
b
0
0
f
2
0
f
2
1
0
+
2
1
2
1
+
2
0
f
+
x
y
z
+
f
x
z
f
y
z
false
+
+
x
y
z
+
x
+
y
z
+
+
x
y
z
+
y
z
true
a
0
1
b
0
23676
f
2
0
f
2
0
+
2
1
2
1
+
2
1
0
+
a
+
b
z
+
a
z
true
a
0
1
b
0
23676
f
2
0
f
2
0
+
2
1
2
20653
+
2
2
0
+
a
b
+
b
a
+
+
x
y
z
+
x
+
y
z
+
a
+
b
z
+
b
+
a
z
+
a
+
b
z
+
b
+
a
z
false
+
a
b
+
b
a
false
NaTT
certifiable-1.6