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