double
0
0
double
s
x
s
s
double
x
half
0
0
half
s
0
0
half
s
s
x
s
half
x
-
x
0
x
-
s
x
s
y
-
x
y
if
0
y
z
y
if
s
x
y
z
z
half
double
x
x
2.2
-
s
x
s
y
-
x
y
half
s
s
x
half
x
double
s
x
double
x
true
double
s
x
double
x
true
s
1
1
1
half
1
0
half
1
0
0
0
0
if
3
0
double
1
1
0
double
1
0
-
2
0
-
2
0
if
3
0
half
s
s
x
half
x
true
s
1
1
1
half
1
1
0
half
1
0
0
0
0
if
3
0
double
1
0
double
1
0
-
2
0
-
2
0
if
3
0
-
s
x
s
y
-
x
y
true
s
1
1
1
half
1
0
half
1
0
0
0
0
if
3
0
double
1
0
double
1
0
-
2
0
-
2
2
0
if
3
0
NaTT
certifiable-1.6