double
0
0
double
s
x
s
s
double
x
+
x
0
x
+
x
s
y
s
+
x
y
+
s
x
y
s
+
x
y
double
x
+
x
x
2.2
double
x
+
x
x
+
s
x
y
+
x
y
double
s
x
double
x
+
x
s
y
+
x
y
true
double
s
x
double
x
true
s
1
1
1
0
0
0
double
1
1
0
double
1
0
+
2
0
+
2
0
double
x
+
x
x
false
+
x
s
y
+
x
y
+
s
x
y
+
x
y
true
s
1
1
1
0
0
0
double
1
0
double
1
0
+
2
0
+
2
1
0
+
x
s
y
+
x
y
+
x
s
y
+
x
y
true
s
1
1
1
0
0
0
double
1
0
double
1
0
+
2
0
+
2
2
0
NaTT
certifiable-1.6