g
c
g
c
x
g
e
g
d
x
g
d
g
d
x
g
c
g
e
x
g
e
g
e
x
g
d
g
c
x
f
g
x
y
g
y
g
f
f
x
a
g
x
g
y
g
x
y
g
a
g
x
g
y
b
2.2
g
d
g
d
x
g
e
x
g
e
g
e
x
g
d
g
c
x
f
g
x
y
f
x
g
c
g
c
x
g
d
x
f
g
x
y
g
f
f
x
a
f
g
x
y
f
f
x
g
e
g
e
x
g
c
x
f
g
x
y
g
y
g
f
f
x
a
g
x
g
y
g
x
y
g
y
b
g
x
g
y
g
x
y
g
a
g
x
g
y
b
g
d
g
d
x
g
c
g
e
x
g
c
g
c
x
g
e
g
d
x
g
x
g
y
g
x
y
g
x
g
y
b
true
f
g
x
y
f
f
x
f
g
x
y
f
x
true
Failed!
NaTT
certifiable-1.6