minus
0
0
+
x
0
x
+
0
y
y
+
minus
1
1
0
minus
minus
x
x
+
x
minus
y
minus
+
minus
x
y
+
x
+
y
z
+
+
x
y
z
+
minus
+
x
1
1
minus
x
2.2
+
x
minus
y
+
minus
x
y
+
minus
+
x
1
1
minus
x
+
x
+
y
z
+
x
y
+
x
minus
y
minus
x
+
x
minus
y
minus
+
minus
x
y
+
x
+
y
z
+
+
x
y
z
true
+
x
+
y
z
+
+
x
y
z
+
x
+
y
z
+
x
y
+
x
minus
y
+
minus
x
y
true
1
0
8856
minus
1
1
1
0
0
17715
minus
1
0
+
2
1
2
1
+
2
2
0
+
x
minus
y
minus
+
minus
x
y
false
+
x
minus
y
minus
x
false
+
minus
+
x
1
1
minus
x
false
NaTT
certifiable-1.6