h
e
x
y
h
d
x
y
s
y
d
g
g
0
x
y
s
z
g
e
x
d
g
g
0
x
y
z
d
g
g
0
x
y
0
e
y
d
g
0
x
y
e
x
d
g
x
y
z
g
d
x
z
e
y
g
e
x
e
y
e
g
x
y
2.2
d
g
g
0
x
y
s
z
d
g
g
0
x
y
z
h
e
x
y
h
d
x
y
s
y
h
e
x
y
d
x
y
d
g
x
y
z
d
x
z
g
e
x
e
y
g
x
y
d
g
g
0
x
y
s
z
g
e
x
d
g
g
0
x
y
z
d
g
x
y
z
g
d
x
z
e
y
true
h
e
x
y
h
d
x
y
s
y
true
Failed!
NaTT
certifiable-1.6