-
x
0
x
-
s
x
s
y
-
x
y
+
0
y
y
+
s
x
y
s
+
x
y
*
x
0
0
*
x
s
y
+
x
*
x
y
f
s
x
f
-
*
s
s
0
s
x
s
s
x
2.2
*
x
s
y
+
x
*
x
y
f
s
x
*
s
s
0
s
x
+
s
x
y
+
x
y
f
s
x
-
*
s
s
0
s
x
s
s
x
*
x
s
y
*
x
y
-
s
x
s
y
-
x
y
f
s
x
f
-
*
s
s
0
s
x
s
s
x
true
f
s
x
f
-
*
s
s
0
s
x
s
s
x
true
Failed!
NaTT
certifiable-1.6