g
x
0
0
g
d
s
x
s
s
g
d
x
g
h
s
0
0
g
h
s
s
x
s
g
h
x
double
x
g
d
x
half
x
g
h
x
f
s
x
y
f
half
s
x
double
y
f
s
0
y
y
id
x
f
x
s
0
2.2
half
x
g
h
x
f
s
x
y
double
y
double
x
g
d
x
f
s
x
y
half
s
x
id
x
f
x
s
0
g
d
s
x
g
d
x
g
h
s
s
x
g
h
x
f
s
x
y
f
half
s
x
double
y
true
id
x
f
x
s
0
false
f
s
x
y
f
half
s
x
double
y
true
Failed!
NaTT
certifiable-1.6