o
x
a
l
x
a
l
x
l
a
a
x
l
o
x
o
l
x
a
x
x
H
0
x
o
x
a
H
H
0
y
z
c1
y
z
a
H
H
H
0
x
y
z
c2
x
y
z
c2
x
y
z
o
H
y
z
a
c1
x
y
c1
x
H
x
y
a
c2
x
y
z
c2
x
H
x
y
z
c1
y
z
o
z
2.2
a
l
x
a
a
x
a
c1
x
y
H
x
y
l
o
x
l
x
a
c2
x
y
z
c2
x
H
x
y
z
H
0
x
o
x
l
o
x
o
l
x
o
x
a
l
x
c1
y
z
o
z
a
c2
x
y
z
H
x
y
a
c1
x
y
c1
x
H
x
y
c2
x
y
z
H
y
z
c2
x
y
z
o
H
y
z
a
l
x
a
x
a
l
x
l
a
a
x
a
H
H
H
0
x
y
z
c2
x
y
z
o
x
l
x
a
H
H
0
y
z
c1
y
z
true
a
H
H
0
y
z
c1
y
z
o
x
a
l
x
o
x
l
x
l
o
x
o
l
x
a
H
H
H
0
x
y
z
c2
x
y
z
a
l
x
l
a
a
x
a
l
x
a
x
c2
x
y
z
o
H
y
z
H
0
x
o
x
a
c2
x
y
z
c2
x
H
x
y
z
l
o
x
l
x
c2
x
y
z
H
y
z
a
c1
x
y
H
x
y
a
c1
x
y
c1
x
H
x
y
a
c2
x
y
z
H
x
y
c1
y
z
o
z
a
l
x
a
a
x
true
a
1
1
0
c1
2
1
1
2
0
0
l
1
1
0
H
2
1
1
2
0
0
o
1
1
0
0
0
32285
c2
3
1
2
2
1
3
0
0
o
1
1
1
H
2
2
1
0
l
1
1
1
a
1
1
1
c1
2
2
1
0
c2
3
1
3
2
2
3
1
0
a
l
x
a
a
x
c1
y
z
o
z
a
c1
x
y
c1
x
H
x
y
a
c1
x
y
H
x
y
c2
x
y
z
H
y
z
l
o
x
l
x
a
c2
x
y
z
c2
x
H
x
y
z
H
0
x
o
x
c2
x
y
z
o
H
y
z
a
l
x
a
x
a
l
x
l
a
a
x
a
H
H
H
0
x
y
z
c2
x
y
z
l
o
x
o
l
x
o
x
l
x
o
x
a
l
x
a
H
H
0
y
z
c1
y
z
a
x
x
c2
x
y
z
o
H
y
z
o
x
a
l
x
l
o
x
o
l
x
H
0
x
o
x
a
c2
x
y
z
c2
x
H
x
y
z
a
H
H
H
0
x
y
z
c2
x
y
z
c1
y
z
o
z
a
c1
x
y
c1
x
H
x
y
a
H
H
0
y
z
c1
y
z
a
l
x
l
a
a
x
c2
x
y
z
H
y
z
c2
x
y
z
o
H
y
z
o
x
l
x
o
x
a
l
x
l
o
x
l
x
l
o
x
o
l
x
H
0
x
o
x
a
c2
x
y
z
c2
x
H
x
y
z
a
H
H
H
0
x
y
z
c2
x
y
z
c1
y
z
o
z
a
c1
x
y
H
x
y
a
c1
x
y
c1
x
H
x
y
a
H
H
0
y
z
c1
y
z
a
l
x
a
x
a
l
x
a
a
x
a
l
x
l
a
a
x
true
Failed!
NaTT
certifiable-1.6