f
g
f
h
a
a
a
f
h
a
f
a
a
f
h
a
g
a
f
g
h
a
a
f
g
h
a
f
f
a
a
a
f
g
f
h
a
a
a
f
h
a
a
f
h
a
b
f
i
x
y
f
a
y
f
g
i
x
y
y
f
f
2.2
f
x
f
y
z
f
f
x
y
z
f
x
y
f
y
x
f
x
f
y
z
f
f
x
y
z
f
x
f
y
z
f
x
y
f
x
y
f
y
x
f
g
h
a
f
f
a
a
a
f
g
f
h
a
a
a
f
g
f
h
a
a
a
f
a
a
f
g
h
a
f
f
a
a
a
f
h
a
a
f
h
a
a
f
h
a
b
f
i
x
y
f
a
y
f
g
i
x
y
y
f
h
a
g
a
f
g
h
a
a
f
g
f
h
a
a
a
f
h
a
f
a
a
f
f
h
a
g
a
_1
f
f
g
h
a
a
_1
f
f
i
x
y
f
a
y
_1
f
f
g
i
x
y
y
_1
f
f
g
h
a
f
f
a
a
a
_1
f
f
g
f
h
a
a
a
_1
f
f
g
f
h
a
a
a
_1
f
f
h
a
f
a
a
_1
f
f
h
a
a
_1
f
f
h
a
b
_1
f
x
y
f
y
x
f
g
f
h
a
a
a
f
h
a
f
a
a
f
h
a
g
a
f
g
h
a
a
f
x
f
y
z
f
x
y
f
g
f
h
a
a
a
f
a
a
f
g
h
a
f
f
a
a
a
f
g
f
h
a
a
a
f
i
x
y
f
a
y
f
g
i
x
y
y
f
h
a
a
f
h
a
b
f
g
h
a
f
f
a
a
a
f
h
a
a
f
x
f
y
z
f
f
x
y
z
true
h
1
1
1
a
0
30613
b
0
30612
f
2
1
2
1
f
2
1
2
0
i
2
30616
g
1
61229
f
g
h
a
f
f
a
a
a
f
h
a
a
f
h
a
a
f
h
a
b
f
i
x
y
f
a
y
f
g
i
x
y
y
f
g
h
a
f
f
a
a
a
f
g
f
h
a
a
a
f
g
f
h
a
a
a
f
a
a
f
x
f
y
z
f
x
y
f
h
a
g
a
f
g
h
a
a
f
g
f
h
a
a
a
f
h
a
f
a
a
f
h
a
a
f
h
a
b
f
g
f
h
a
a
a
f
h
a
f
a
a
f
g
h
a
f
f
a
a
a
f
g
f
h
a
a
a
f
i
x
y
f
a
y
f
g
i
x
y
y
f
x
y
f
y
x
f
x
f
y
z
f
f
x
y
z
f
h
a
g
a
f
g
h
a
a
f
x
y
f
y
x
f
x
f
y
z
f
f
x
y
z
true
f
f
h
a
a
_1
f
f
h
a
b
_1
f
x
y
f
y
x
f
f
i
x
y
f
a
y
_1
f
f
g
i
x
y
y
_1
f
x
f
y
z
f
f
x
y
z
f
f
g
h
a
f
f
a
a
a
_1
f
f
g
f
h
a
a
a
_1
f
f
h
a
g
a
_1
f
f
g
h
a
a
_1
f
x
f
y
z
f
x
y
f
f
g
f
h
a
a
a
_1
f
f
h
a
f
a
a
_1
true
h
1
1
1
a
0
1
b
0
0
f
2
1
2
282
f
2
1
2
0
i
2
4
g
1
286
f
f
g
f
h
a
a
a
_1
f
f
h
a
f
a
a
_1
f
x
f
y
z
f
x
y
f
f
h
a
g
a
_1
f
f
g
h
a
a
_1
f
f
g
h
a
f
f
a
a
a
_1
f
f
g
f
h
a
a
a
_1
f
f
i
x
y
f
a
y
_1
f
f
g
i
x
y
y
_1
f
f
h
a
a
_1
f
f
h
a
b
_1
f
h
a
a
f
h
a
b
f
g
f
h
a
a
a
f
h
a
f
a
a
f
g
h
a
f
f
a
a
a
f
g
f
h
a
a
a
f
i
x
y
f
a
y
f
g
i
x
y
y
f
x
y
f
y
x
f
x
f
y
z
f
f
x
y
z
f
h
a
g
a
f
g
h
a
a
f
x
y
f
y
x
f
x
f
y
z
f
f
x
y
z
true
NaTT
certifiable-1.6