-
x
0
x
-
0
s
y
0
-
s
x
s
y
-
x
y
f
0
0
f
s
x
-
s
x
g
f
x
g
0
s
0
g
s
x
-
s
x
f
g
x
2.2
g
s
x
f
g
x
f
s
x
f
x
-
s
x
s
y
-
x
y
f
s
x
g
f
x
g
s
x
g
x
g
s
x
-
s
x
f
g
x
f
s
x
-
s
x
g
f
x
true
g
s
x
g
x
f
s
x
f
x
f
s
x
g
f
x
g
s
x
f
g
x
true
s
1
1
32288
f
1
1
1
0
0
18816
-
2
1
0
f
1
1
0
g
1
1
32286
-
2
0
g
1
1
64573
f
0
0
-
x
0
x
-
s
x
s
y
-
x
y
f
s
x
-
s
x
g
f
x
g
s
x
-
s
x
f
g
x
g
0
s
0
-
0
s
y
0
f
s
x
-
s
x
g
f
x
false
g
s
x
-
s
x
f
g
x
false
-
s
x
s
y
-
x
y
true
s
1
1
1
f
1
1
28382
0
0
1
-
2
1
0
f
1
1
0
g
1
1
32286
-
2
1
0
g
1
1
1143
f
0
0
-
x
0
x
-
s
x
s
y
-
x
y
f
s
x
-
s
x
g
f
x
g
s
x
-
s
x
f
g
x
g
0
s
0
-
0
s
y
0
NaTT
certifiable-1.6