s
s
0
f
s
0
g
x
h
x
x
s
x
h
x
0
s
x
h
0
x
f
g
x
g
g
f
x
g
s
x
s
s
g
x
h
f
x
g
x
f
s
x
s
s
s
0
k
0
k
0
s
0
s
s
s
s
0
k
s
0
k
s
0
s
s
0
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
h
k
x
g
x
k
s
x
2.2
g
s
x
s
s
g
x
k
s
s
0
s
s
s
s
s
s
s
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
0
s
s
0
f
s
0
s
x
h
x
0
k
0
s
0
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
0
k
0
f
g
x
g
g
f
x
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
f
g
x
f
x
h
f
x
g
x
f
s
x
s
s
s
s
0
k
s
0
s
x
h
0
x
f
g
x
g
f
x
h
k
x
g
x
s
x
g
s
x
s
g
x
g
x
h
x
x
k
s
s
0
s
s
s
s
s
s
0
h
k
x
g
x
k
s
x
g
s
x
g
x
h
f
x
g
x
s
x
true
h
f
x
g
x
s
x
g
s
x
g
x
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
h
k
x
g
x
k
s
x
k
s
s
0
s
s
s
s
s
s
0
g
x
h
x
x
g
s
x
s
g
x
s
s
0
f
s
0
h
k
x
g
x
s
x
f
g
x
g
f
x
k
s
s
0
s
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
0
s
s
0
s
s
s
s
0
k
s
0
h
f
x
g
x
f
s
x
k
s
s
0
s
s
s
s
s
s
s
s
0
f
g
x
f
x
k
s
s
0
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
0
g
s
x
s
s
g
x
f
g
x
g
g
f
x
true
2
1
h
2
0
0
s
1
0
0
k
1
0
0
f
1
1
1
1
1
1
0
0
0
0
1
1
h
2
26424
0
k
1
26423
0
s
1
26423
0
f
1
1
1
1
1
1
0
0
g
1
26425
0
g
1
0
1
1
0
1
26425
1
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
0
s
s
s
s
0
k
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
0
k
s
s
0
s
s
s
s
s
s
0
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
g
s
x
g
x
s
x
h
0
x
s
s
s
0
k
0
s
s
0
f
s
0
s
x
h
x
0
f
g
x
g
g
f
x
s
s
s
s
0
k
s
0
h
f
x
g
x
f
s
x
h
k
x
g
x
k
s
x
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
0
s
s
0
k
0
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
g
s
x
s
s
g
x
g
x
h
x
x
s
s
s
s
0
k
s
0
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
true
2
1
h
2
0
0
1
0
2
14789
2
s
1
0
0
1
0
1
16091
2
k
1
16093
2
f
1
0
0
1
1
1
16091
0
0
0
1
1
h
2
26424
0
k
1
1
26423
16091
s
1
1
1
0
0
1
26423
0
f
1
0
0
g
1
26425
0
g
1
0
0
1
0
1
16091
1304
k
s
s
0
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
0
k
s
0
s
s
0
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
x
h
0
x
s
s
s
0
k
0
s
s
0
f
s
0
s
x
h
x
0
f
g
x
g
g
f
x
s
s
s
s
0
k
s
0
h
f
x
g
x
f
s
x
h
k
x
g
x
k
s
x
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
0
s
s
0
k
0
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
g
s
x
s
s
g
x
g
x
h
x
x
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
true
2
1
h
2
0
0
1
0
2
0
19055
s
1
0
0
1
0
1
1
19055
k
1
19056
19055
f
1
0
0
1
1
1
1
0
0
0
1
1
h
2
26424
0
k
1
0
0
0
1
1
26423
0
s
1
1
0
0
0
1
7367
19055
f
1
0
0
g
1
26425
0
g
1
0
0
1
0
1
1
19056
k
s
s
0
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
0
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
x
h
0
x
s
s
s
0
k
0
s
s
0
f
s
0
s
x
h
x
0
f
g
x
g
g
f
x
s
s
s
s
0
k
s
0
h
f
x
g
x
f
s
x
h
k
x
g
x
k
s
x
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
0
s
s
0
k
0
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
g
s
x
s
s
g
x
g
x
h
x
x
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
s
0
s
s
s
0
k
s
s
0
s
s
s
s
0
k
s
s
0
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
0
true
Failed!
NaTT
certifiable-1.6