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
0
k
0
k
0
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
s
0
k
s
s
0
k
s
s
0
s
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
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
s
s
0
f
s
0
s
x
h
x
0
k
s
s
0
s
s
s
0
s
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
s
0
k
0
f
g
x
g
g
f
x
k
s
s
0
s
s
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
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
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
s
0
k
s
s
0
h
k
x
g
x
k
s
x
k
s
s
0
s
s
s
0
k
s
s
0
s
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
s
0
k
s
s
0
s
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
s
0
f
g
x
f
x
k
s
s
0
s
s
s
s
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
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
1
0
2
0
0
s
1
0
1
1
0
1
0
0
k
1
1
0
1
0
1
0
0
f
1
0
0
0
0
1
0
h
2
0
0
1
0
2
1
0
k
1
1
0
s
1
0
0
1
0
1
0
0
f
1
1
0
g
1
1
0
1
0
1
1
0
g
1
1
1
1
1
1
0
0
f
g
x
g
g
f
x
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
s
0
f
g
x
f
x
h
f
x
g
x
f
s
x
s
s
s
s
0
k
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
0
f
g
x
g
f
x
s
s
0
f
s
0
g
x
h
x
x
h
k
x
g
x
k
s
x
s
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
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
s
0
k
s
s
0
k
s
0
s
s
0
k
0
0
k
s
s
0
s
s
s
s
s
s
s
s
s
s
0
g
s
x
s
s
g
x
g
x
h
x
x
s
s
0
f
s
0
f
g
x
f
x
f
g
x
g
f
x
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
s
0
k
s
s
0
k
s
0
s
s
0
k
s
s
0
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
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
s
0
g
s
x
g
x
g
x
h
x
x
true
2
1
h
2
0
0
s
1
0
0
k
1
1
0
0
0
1
0
0
f
1
1
1
1
1
1
0
0
0
0
0
0
h
2
1
1
k
1
0
0
1
0
1
1
1
s
1
1
1
f
1
0
0
1
0
1
0
1
g
1
31644
1
g
1
1
31645
31645
g
s
x
g
x
k
s
s
0
s
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
0
k
s
s
0
s
s
s
s
0
k
s
0
s
s
0
s
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
h
k
x
g
x
k
s
x
s
s
s
s
0
k
s
0
s
x
h
0
x
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
s
0
k
s
s
0
k
s
0
s
s
0
k
0
0
k
s
s
0
s
s
s
s
s
s
s
s
s
s
0
g
s
x
s
s
g
x
g
x
h
x
x
h
k
x
g
x
k
s
x
false
s
s
s
s
0
k
s
0
s
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
s
0
k
s
s
0
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
s
0
true
2
1
h
2
0
1
0
0
2
1
8707
s
1
0
1
0
0
1
1
8707
k
1
1
0
0
0
1
0
8708
f
1
1
8708
0
0
0
1
h
2
1
1
k
1
0
0
1
0
1
0
1
s
1
0
0
1
0
1
0
1
f
1
0
1
g
1
31644
1
g
1
0
1
0
0
1
1
8707
k
s
s
0
s
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
0
k
s
s
0
s
s
s
s
0
k
s
0
s
s
0
s
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
x
h
0
x
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
s
0
k
s
s
0
k
s
0
s
s
0
k
0
0
k
s
s
0
s
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
s
0
k
s
s
0
k
s
0
s
s
0
k
s
s
0
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
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
s
0
true
2
1
h
2
0
1
0
0
2
1
25850
s
1
0
1
0
0
1
1
25850
k
1
1
0
0
0
1
0
25851
f
1
1
25851
0
0
0
1
h
2
1
1
k
1
25851
1
s
1
0
0
1
0
1
0
1
f
1
0
1
g
1
31644
1
g
1
0
1
0
0
1
1
25850
k
s
s
0
s
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
0
k
s
s
0
s
s
s
s
0
s
s
s
s
s
s
s
s
s
s
s
s
0
k
s
s
0
s
x
h
0
x
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
s
0
k
s
s
0
k
s
0
s
s
0
k
0
0
k
s
s
0
s
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
s
0
k
s
s
0
k
s
s
0
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
s
0
k
s
s
0
s
s
s
s
s
s
s
s
s
s
0
true
Failed!
NaTT
certifiable-1.6