g
x
x
g
a
b
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
2.2
g
c
g
c
x
g
d
x
f
g
x
y
f
x
g
x
x
g
a
b
g
e
g
e
x
g
c
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
f
f
x
f
g
x
y
g
y
g
f
f
x
a
g
c
g
c
x
g
e
g
d
x
g
d
g
d
x
g
e
x
f
g
x
y
g
f
f
x
a
true
f
g
x
y
f
x
f
g
x
y
f
f
x
true
Failed!
NaTT
certifiable-1.6