h
c
x
y
c
s
z
z
t
w
h
z
c
y
x
t
t
c
x
c
y
t
w
h
x
c
y
z
t
w
h
c
s
y
x
z
t
c
t
w
w
h
c
s
x
c
s
0
y
z
t
x
h
y
c
s
0
c
x
z
t
t
c
x
s
x
t
t
x
t
c
t
x
x
t
x
x
t
x
c
0
c
0
c
0
c
0
c
0
x
2.2
h
x
c
y
z
t
w
t
c
t
w
w
h
c
x
y
c
s
z
z
t
w
h
z
c
y
x
t
t
c
x
c
y
t
w
t
t
x
t
c
t
x
x
h
c
x
y
c
s
z
z
t
w
t
t
c
x
c
y
t
w
h
c
s
x
c
s
0
y
z
t
x
t
c
x
s
x
h
c
s
x
c
s
0
y
z
t
x
h
y
c
s
0
c
x
z
t
t
c
x
s
x
h
x
c
y
z
t
w
h
c
s
y
x
z
t
c
t
w
w
h
c
x
y
c
s
z
z
t
w
t
c
x
c
y
t
w
h
c
s
x
c
s
0
y
z
t
x
t
t
c
x
s
x
true
h
x
c
y
z
t
w
h
c
s
y
x
z
t
c
t
w
w
h
c
s
x
c
s
0
y
z
t
x
h
y
c
s
0
c
x
z
t
t
c
x
s
x
h
c
x
y
c
s
z
z
t
w
h
z
c
y
x
t
t
c
x
c
y
t
w
true
h
3
0
s
1
1
0
t
1
1
c
2
1
2
5854
0
0
29243
h
3
1
2
0
t
1
0
h
c
s
x
c
s
0
y
z
t
x
h
y
c
s
0
c
x
z
t
t
c
x
s
x
h
x
c
y
z
t
w
h
c
s
y
x
z
t
c
t
w
w
h
c
s
x
c
s
0
y
z
t
x
h
y
c
s
0
c
x
z
t
t
c
x
s
x
h
x
c
y
z
t
w
h
c
s
y
x
z
t
c
t
w
w
true
2
1
h
3
0
0
s
1
0
0
1
0
1
1
26229
t
1
1
326625
0
c
2
1
2
24634
24636
0
0
40691
26232
h
3
1
0
0
0
1
0
0
1
0
2
0
0
t
1
0
0
t
x
x
h
c
s
x
c
s
0
y
z
t
x
t
t
c
x
s
x
false
h
c
x
y
c
s
z
z
t
w
t
c
x
c
y
t
w
false
h
c
s
x
c
s
0
y
z
t
x
t
c
x
s
x
false
h
c
x
y
c
s
z
z
t
w
t
t
c
x
c
y
t
w
false
t
t
x
t
c
t
x
x
false
h
x
c
y
z
t
w
t
c
t
w
w
false
NaTT
certifiable-1.6