-
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
y
f
-
*
s
x
s
y
s
*
s
x
y
*
y
y
2.2
*
x
s
y
+
x
*
x
y
f
s
x
y
*
s
x
s
y
+
s
x
y
+
x
y
f
s
x
y
*
s
x
y
f
s
x
y
-
*
s
x
s
y
s
*
s
x
y
*
x
s
y
*
x
y
-
s
x
s
y
-
x
y
f
s
x
y
*
y
y
f
s
x
y
f
-
*
s
x
s
y
s
*
s
x
y
*
y
y
true
f
s
x
y
f
-
*
s
x
s
y
s
*
s
x
y
*
y
y
true
Failed!
NaTT
certifiable-1.6