i
x
x
i
a
b
g
x
x
g
a
b
h
s
f
x
h
f
x
f
s
x
s
s
f
h
s
x
f
g
s
x
y
f
g
x
s
y
h
g
x
s
y
h
g
s
x
y
h
i
x
y
i
i
c
h
h
y
x
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
a
g
x
g
b
g
b
y
2.2
h
g
x
s
y
h
g
s
x
y
h
i
x
y
h
h
y
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
x
g
b
g
b
y
f
g
s
x
y
g
x
s
y
i
x
x
i
a
b
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
a
g
x
g
b
g
b
y
g
a
g
x
g
b
g
a
g
x
y
g
a
g
x
g
b
g
b
y
h
i
x
y
h
y
h
s
f
x
h
f
x
h
i
x
y
i
c
h
h
y
g
a
g
x
g
b
g
a
g
x
y
g
b
y
f
s
x
h
s
x
g
a
g
x
g
b
g
a
g
x
y
g
b
g
b
y
h
g
x
s
y
g
s
x
y
g
x
x
g
a
b
f
g
s
x
y
f
g
x
s
y
g
a
g
x
g
b
g
a
g
x
y
g
x
g
b
g
b
y
h
i
x
y
i
i
c
h
h
y
x
f
s
x
f
h
s
x
true
f
s
x
f
h
s
x
f
g
s
x
y
f
g
x
s
y
true
a
0
0
h
1
42321
s
1
1
42322
b
0
0
c
0
1
f
1
1
1
h
1
0
f
1
1
0
g
2
0
i
2
1
5854
g
2
1
2
0
i
2
0
f
g
s
x
y
f
g
x
s
y
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
a
g
x
g
b
g
b
y
i
x
x
i
a
b
h
s
f
x
h
f
x
h
i
x
y
i
i
c
h
h
y
x
h
g
x
s
y
h
g
s
x
y
g
x
x
g
a
b
f
g
s
x
y
f
g
x
s
y
true
a
0
0
h
1
42321
s
1
1
1
b
0
31892
c
0
1
f
1
1
1
h
1
0
f
1
1
0
g
2
0
i
2
1
496
g
2
1
1
i
2
0
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
a
g
x
g
b
g
b
y
i
x
x
i
a
b
h
s
f
x
h
f
x
h
i
x
y
i
i
c
h
h
y
x
h
g
x
s
y
h
g
s
x
y
g
x
x
g
a
b
f
g
s
x
y
g
x
s
y
false
g
a
g
x
g
b
g
a
g
x
y
g
a
g
x
g
b
g
b
y
g
a
g
x
g
b
g
a
g
x
y
g
x
g
b
g
b
y
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
a
g
x
g
b
g
b
y
g
a
g
x
g
b
g
a
g
x
y
g
a
g
a
g
x
g
b
g
b
y
true
Failed!
NaTT
certifiable-1.6