+
0
y
y
+
s
x
y
s
+
x
y
+
p
x
y
p
+
x
y
minus
0
0
minus
s
x
p
minus
x
minus
p
x
s
minus
x
*
0
y
0
*
s
x
y
+
*
x
y
y
*
p
x
y
+
*
x
y
minus
y
2.2
minus
p
x
minus
x
minus
s
x
minus
x
*
s
x
y
*
x
y
+
p
x
y
+
x
y
*
p
x
y
minus
y
*
p
x
y
+
*
x
y
minus
y
+
s
x
y
+
x
y
*
s
x
y
+
*
x
y
y
*
p
x
y
*
x
y
true
*
p
x
y
*
x
y
*
s
x
y
*
x
y
true
s
1
1
1
minus
1
0
*
2
1
0
p
1
1
1
0
0
0
minus
1
0
+
2
0
+
2
0
*
2
0
*
p
x
y
+
*
x
y
minus
y
false
*
s
x
y
+
*
x
y
y
false
*
p
x
y
minus
y
false
+
s
x
y
+
x
y
+
p
x
y
+
x
y
true
s
1
1
1
minus
1
0
*
2
0
p
1
1
1
0
0
0
minus
1
0
+
2
0
+
2
1
0
*
2
0
minus
s
x
minus
x
minus
p
x
minus
x
true
s
1
1
1
minus
1
0
*
2
0
p
1
1
1
0
0
0
minus
1
1
0
+
2
0
+
2
0
*
2
0
NaTT
certifiable-1.6