minus
x
0
x
minus
s
x
s
y
minus
x
y
double
0
0
double
s
x
s
s
double
x
plus
0
y
y
plus
s
x
y
s
plus
x
y
plus
s
x
y
plus
x
s
y
plus
s
x
y
s
plus
minus
x
y
double
y
plus
s
plus
x
y
z
s
plus
plus
x
y
z
2.2
plus
s
x
y
plus
x
y
plus
s
x
y
minus
x
y
plus
s
x
y
double
y
plus
s
x
y
plus
minus
x
y
double
y
plus
s
plus
x
y
z
plus
plus
x
y
z
minus
s
x
s
y
minus
x
y
double
s
x
double
x
plus
s
x
y
plus
x
s
y
true
plus
s
x
y
plus
x
s
y
plus
s
plus
x
y
z
plus
plus
x
y
z
plus
s
x
y
plus
minus
x
y
double
y
plus
s
x
y
plus
x
y
true
minus
2
2
s
1
1
1
minus
2
0
1
plus
2
0
1
0
0
2
double
1
0
double
1
2
1
plus
2
3
1
2
s
1
1
0
minus
2
1
0
0
plus
2
1
0
0
0
0
0
double
1
0
double
1
1
0
plus
2
1
0
2
0
0
double
s
x
s
s
double
x
plus
s
x
y
s
plus
minus
x
y
double
y
minus
x
0
x
double
0
0
plus
0
y
y
plus
s
x
y
plus
x
s
y
plus
s
plus
x
y
z
s
plus
plus
x
y
z
plus
s
x
y
s
plus
x
y
minus
s
x
s
y
minus
x
y
plus
s
x
y
minus
x
y
false
minus
s
x
s
y
minus
x
y
true
s
1
1
1
minus
2
1
2
44022
plus
2
0
0
0
21681
double
1
0
double
1
21680
minus
2
2
0
plus
2
1
2
9227
plus
s
x
y
double
y
false
double
s
x
double
x
true
s
1
1
1
minus
2
1
2
96608
plus
2
0
0
0
2
double
1
1
0
double
1
1
minus
2
0
plus
2
1
2
52868
NaTT
certifiable-1.6