+
x
0
x
+
x
i
x
0
+
+
x
y
z
+
x
+
y
z
*
x
+
y
z
+
*
x
y
*
x
z
*
+
x
y
z
+
*
x
z
*
y
z
2.2
*
+
x
y
z
*
x
z
*
x
+
y
z
+
*
x
y
*
x
z
*
x
+
y
z
*
x
y
+
+
x
y
z
+
y
z
*
+
x
y
z
*
y
z
*
+
x
y
z
+
*
x
z
*
y
z
*
x
+
y
z
*
x
z
+
+
x
y
z
+
x
+
y
z
true
*
x
+
y
z
*
x
z
*
+
x
y
z
*
y
z
*
x
+
y
z
*
x
y
*
+
x
y
z
*
x
z
true
*
2
1
0
0
0
0
i
1
0
+
2
1
2
1
+
2
0
*
2
0
*
x
+
y
z
*
x
y
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
y
true
*
2
2
0
0
0
0
i
1
0
+
2
1
2
1
+
2
0
*
2
0
*
+
x
y
z
+
*
x
z
*
y
z
false
*
x
+
y
z
+
*
x
y
*
x
z
false
+
+
x
y
z
+
x
+
y
z
+
+
x
y
z
+
y
z
true
*
2
0
0
0
3
i
1
1
+
2
1
2
1
+
2
1
0
*
2
0
NaTT
certifiable-1.6