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
0
k
s
s
0
k
s
s
0
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
0
h
k
x
g
x
k
s
x
k
s
s
0
s
s
s
0
k
s
0
s
s
0
s
x
h
0
x
s
s
s
0
k
0
s
s
s
s
s
s
s
s
s
0
k
s
s
0
h
k
x
g
x
s
x
f
g
x
f
x
k
s
s
0
s
s
s
s
s
0
k
0
s
0
k
s
s
0
s
s
s
s
s
s
s
0
s
s
0
f
s
0
s
s
s
s
0
k
s
0
f
g
x
g
f
x
s
x
h
x
0
h
f
x
g
x
s
x
g
s
x
s
g
x
g
x
h
x
x
k
s
s
0
s
s
s
s
0
h
f
x
g
x
f
s
x
g
s
x
g
x
f
g
x
g
g
f
x
true
f
g
x
g
g
f
x
g
s
x
g
x
h
k
x
g
x
s
x
h
f
x
g
x
f
s
x
s
s
s
s
s
s
s
s
s
0
k
s
s
0
k
s
s
0
s
s
s
s
0
g
x
h
x
x
g
s
x
s
g
x
h
f
x
g
x
s
x
k
s
0
s
s
0
k
s
s
0
s
s
s
0
h
k
x
g
x
k
s
x
f
g
x
g
f
x
s
s
s
s
0
k
s
0
k
s
s
0
s
s
s
s
s
s
0
s
s
0
f
s
0
k
s
s
0
s
s
s
s
s
s
s
0
k
s
s
0
s
s
s
s
s
0
g
s
x
s
s
g
x
f
g
x
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
10088
0
k
1
10087
0
s
1
10087
0
f
1
0
0
1
0
1
0
0
g
1
10089
0
g
1
1
10090
10090
k
s
s
0
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
s
s
s
s
0
k
s
0
k
s
s
0
s
s
s
0
k
s
0
s
s
0
k
s
s
0
s
s
s
s
0
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
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
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
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
true
2
1
h
2
0
0
1
0
2
0
3104
s
1
0
0
1
0
1
1
3104
k
1
3105
3104
f
1
0
0
1
1
1
1
0
0
0
1
1
h
2
10088
0
k
1
10087
0
s
1
1
0
0
0
1
6982
0
f
1
0
0
g
1
10089
0
g
1
0
0
1
0
1
1
3105
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
0
k
s
s
0
s
s
s
s
0
k
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
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
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
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
true
2
1
h
2
0
0
1
0
2
0
2
s
1
0
0
1
0
1
1
2
k
1
3
2
f
1
0
0
1
1
1
1
0
0
0
1
1
h
2
10088
0
k
1
1
1
0
0
1
6982
0
s
1
1
0
0
0
1
6982
3
f
1
0
0
g
1
10089
0
g
1
0
0
1
0
1
1
3
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
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
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
0
g
s
x
s
s
g
x
g
x
h
x
x
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
true
Failed!
NaTT
certifiable-1.6