+
+
x
y
z
+
x
+
y
z
+
f
x
f
y
f
+
x
y
+
f
x
+
f
y
z
+
f
+
x
y
z
2.2
+
f
x
+
f
y
z
+
f
+
x
y
z
+
+
x
y
z
+
y
z
+
f
x
+
f
y
z
+
x
y
+
f
x
f
y
+
x
y
+
+
x
y
z
+
x
+
y
z
true
+
+
x
y
z
+
x
+
y
z
+
f
x
f
y
+
x
y
+
f
x
+
f
y
z
+
x
y
+
+
x
y
z
+
y
z
+
f
x
+
f
y
z
+
f
+
x
y
z
true
f
1
1
1
+
2
1
2
39
+
2
1
2
0
+
+
x
y
z
+
x
+
y
z
+
+
x
y
z
+
x
+
y
z
+
f
x
+
f
y
z
+
f
+
x
y
z
+
f
x
f
y
f
+
x
y
+
+
x
y
z
+
x
+
y
z
true
f
1
1
1
+
2
1
2
39
+
2
1
0
+
+
x
y
z
+
x
+
y
z
+
f
x
+
f
y
z
+
f
+
x
y
z
+
f
x
f
y
f
+
x
y
NaTT
certifiable-1.6