a
h
h
h
x
s
x
a
l
x
s
y
h
a
l
x
y
s
h
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
s
x
h
z
a
l
x
z
z
a
s
l
h
h
z
a
l
z
h
z
+
x
h
x
+
h
x
x
+
s
x
s
y
s
s
+
x
y
+
+
x
y
z
+
x
+
y
z
s
h
1
*
h
x
h
*
x
h
h
*
s
x
s
y
s
+
+
*
x
y
x
y
2.2
a
l
x
s
y
h
s
h
*
s
x
s
y
*
x
y
+
s
x
s
y
s
s
+
x
y
a
s
l
h
h
z
a
l
z
h
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
h
h
h
x
s
x
+
s
x
s
y
s
+
x
y
+
+
x
y
z
+
x
+
y
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
*
s
x
s
y
+
*
x
y
x
a
l
s
x
h
z
a
l
x
z
z
*
s
x
s
y
s
+
+
*
x
y
x
y
a
l
x
s
y
h
a
l
x
y
s
h
+
+
x
y
z
+
y
z
+
s
x
s
y
+
x
y
*
s
x
s
y
+
+
*
x
y
x
y
true
*
s
x
s
y
*
x
y
true
a
4
0
h
0
0
1
0
0
s
1
1
1
*
2
1
2
0
s
1
0
a
4
0
+
2
0
+
2
0
*
2
0
*
s
x
s
y
s
+
+
*
x
y
x
y
false
*
s
x
s
y
+
+
*
x
y
x
y
false
*
s
x
s
y
+
*
x
y
x
false
a
l
x
s
y
h
a
l
x
y
s
h
a
l
s
x
h
z
a
l
x
z
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
s
l
h
h
z
a
l
z
h
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
true
a
4
1
h
0
1
1
0
4
s
1
1
2
*
2
0
s
1
0
a
4
1
0
+
2
0
+
2
0
*
2
0
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
s
x
h
z
a
l
x
z
z
a
l
x
s
y
h
a
l
x
y
s
h
a
l
s
x
h
z
a
l
x
z
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
h
a
l
x
y
s
h
true
a
4
1
h
0
1
1
0
4
s
1
1
2
*
2
0
s
1
0
a
4
2
0
+
2
0
+
2
0
*
2
0
a
l
x
s
y
h
a
l
x
y
s
h
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
h
a
l
x
y
s
h
true
a
4
1
h
0
1
1
0
3
s
1
1
2
*
2
0
s
1
0
a
4
3
0
+
2
0
+
2
0
*
2
0
a
l
x
s
y
s
z
a
l
x
s
y
z
s
h
1
a
l
x
s
y
s
z
a
l
x
s
y
z
true
a
4
0
h
0
1
1
0
3
s
1
1
1
*
2
0
s
1
0
a
4
4
7720
0
+
2
0
+
2
0
*
2
0
a
h
h
h
x
s
x
false
+
s
x
s
y
+
x
y
+
+
x
y
z
+
y
z
+
+
x
y
z
+
x
+
y
z
true
a
4
1
2
3
4
52869
h
0
1
1
0
52869
s
1
1
52868
*
2
0
s
1
0
a
4
3
0
+
2
1
2
1
+
2
1
2
0
*
2
0
+
+
x
y
z
+
x
+
y
z
+
s
x
s
y
s
s
+
x
y
s
h
1
+
h
x
x
+
+
x
y
z
+
x
+
y
z
+
x
h
x
+
+
x
y
z
+
x
+
y
z
true
a
4
1
2
3
4
2
h
0
1
1
0
2
s
1
1
1
*
2
0
s
1
0
a
4
3
0
+
2
1
2
1
+
2
1
0
*
2
0
+
s
x
s
y
s
s
+
x
y
s
h
1
+
h
x
x
+
+
x
y
z
+
x
+
y
z
+
x
h
x
+
s
x
s
y
s
s
+
x
y
false
+
s
x
s
y
s
+
x
y
false
a
l
x
s
y
h
s
h
false
NaTT
certifiable-1.6