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