g
x
x
x
g
c
d
e
g
x
y
x
g
c
d
e
s
f
x
y
f
y
f
s
s
x
a
h
h
x
a
y
h
h
a
y
h
a
x
f
x
f
y
f
x
y
f
a
f
x
f
y
b
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
s
y
b
2.2
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
s
f
x
y
f
y
f
s
s
x
a
h
f
x
s
y
b
s
x
f
x
f
y
f
x
y
f
x
f
y
b
h
h
x
a
y
h
a
x
f
x
f
y
f
x
y
f
y
b
s
f
x
y
f
s
s
x
a
f
x
g
x
a
f
s
x
y
g
a
b
y
h
f
x
s
y
b
g
y
a
f
s
x
a
f
x
f
y
f
x
y
f
a
f
x
f
y
b
f
h
a
y
g
x
b
a
s
b
h
h
x
a
y
h
a
y
g
x
x
x
g
c
d
e
f
x
g
x
a
f
s
x
y
h
x
b
h
h
x
a
y
h
h
a
y
h
a
x
s
f
x
y
s
x
f
h
a
y
g
x
b
a
f
x
s
y
g
x
y
x
g
c
d
e
h
f
x
s
y
b
f
s
x
a
s
f
x
y
s
s
x
f
h
a
y
g
x
b
a
s
y
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
true
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
f
h
a
y
g
x
b
a
f
x
s
y
f
x
g
x
a
f
s
x
y
h
x
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
true
a
0
1
h
2
1
d
0
1
s
1
1
b
0
1
c
0
1
f
2
1
h
2
2
15922
s
1
0
f
2
2
0
g
3
0
e
0
1
g
3
15923
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
x
g
x
a
f
s
x
y
h
x
b
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
h
h
x
a
y
h
h
a
y
h
a
x
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
g
x
x
x
g
c
d
e
s
f
x
y
f
y
f
s
s
x
a
f
x
f
y
f
x
y
f
a
f
x
f
y
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
s
y
b
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
g
x
y
x
g
c
d
e
f
x
g
x
a
f
s
x
y
h
x
b
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
true
a
0
0
h
2
1
0
d
0
1
s
1
1
b
0
2
c
0
1
f
2
2
h
2
1
0
s
1
0
f
2
1
2
g
3
0
e
0
1
g
3
1
1
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
h
h
x
a
y
h
h
a
y
h
a
x
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
f
x
f
y
f
x
y
f
a
f
x
f
y
b
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
f
x
g
x
a
f
s
x
y
f
h
x
b
g
a
b
y
h
f
x
s
y
b
f
a
g
y
a
f
s
x
a
f
h
a
y
g
x
b
a
h
f
x
s
y
s
b
true
Failed!
NaTT
certifiable-1.6