active
h
X
mark
g
X
X
active
g
a
X
mark
f
b
X
active
f
X
X
mark
h
a
active
a
mark
b
mark
h
X
active
h
mark
X
mark
g
X1
X2
active
g
mark
X1
X2
mark
a
active
a
mark
f
X1
X2
active
f
mark
X1
X2
mark
b
active
b
h
mark
X
h
X
h
active
X
h
X
g
mark
X1
X2
g
X1
X2
g
X1
mark
X2
g
X1
X2
g
active
X1
X2
g
X1
X2
g
X1
active
X2
g
X1
X2
f
mark
X1
X2
f
X1
X2
f
X1
mark
X2
f
X1
X2
f
active
X1
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
2.2
active
g
a
X
f
b
X
g
X1
mark
X2
g
X1
X2
mark
h
X
active
h
mark
X
g
mark
X1
X2
g
X1
X2
mark
a
active
a
mark
f
X1
X2
f
mark
X1
X2
mark
f
X1
X2
active
f
mark
X1
X2
h
mark
X
h
X
mark
h
X
h
mark
X
mark
f
X1
X2
mark
X1
active
f
X
X
h
a
mark
b
active
b
g
active
X1
X2
g
X1
X2
mark
g
X1
X2
mark
X1
f
active
X1
X2
f
X1
X2
active
h
X
g
X
X
active
a
mark
b
f
X1
active
X2
f
X1
X2
active
f
X
X
mark
h
a
g
X1
active
X2
g
X1
X2
active
h
X
mark
g
X
X
f
X1
mark
X2
f
X1
X2
mark
g
X1
X2
active
g
mark
X1
X2
active
g
a
X
mark
f
b
X
h
active
X
h
X
mark
h
X
mark
X
mark
g
X1
X2
g
mark
X1
X2
f
mark
X1
X2
f
X1
X2
true
mark
f
X1
X2
mark
X1
mark
h
X
mark
X
active
g
a
X
mark
f
b
X
mark
f
X1
X2
active
f
mark
X1
X2
mark
g
X1
X2
active
g
mark
X1
X2
active
h
X
mark
g
X
X
mark
h
X
active
h
mark
X
active
f
X
X
mark
h
a
mark
g
X1
X2
mark
X1
true
h
1
1
20538
a
0
16203
b
0
0
f
2
1
36741
mark
1
1
0
h
1
0
mark
1
1
0
f
2
0
g
2
0
active
1
1
0
active
1
1
0
g
2
1
20538
active
f
X
X
mark
h
a
mark
h
X
active
h
mark
X
active
h
X
mark
g
X
X
mark
g
X1
X2
active
g
mark
X1
X2
mark
f
X1
X2
active
f
mark
X1
X2
active
g
a
X
mark
f
b
X
f
active
X1
X2
f
X1
X2
active
a
mark
b
g
X1
active
X2
g
X1
X2
mark
f
X1
X2
active
f
mark
X1
X2
active
h
X
mark
g
X
X
active
f
X
X
mark
h
a
f
mark
X1
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
f
X1
mark
X2
f
X1
X2
mark
h
X
active
h
mark
X
h
mark
X
h
X
mark
a
active
a
g
active
X1
X2
g
X1
X2
g
mark
X1
X2
g
X1
X2
h
active
X
h
X
mark
b
active
b
g
X1
mark
X2
g
X1
X2
mark
g
X1
X2
active
g
mark
X1
X2
active
g
a
X
mark
f
b
X
mark
f
X1
X2
active
f
mark
X1
X2
active
h
X
mark
g
X
X
active
f
X
X
mark
h
a
mark
h
X
active
h
mark
X
mark
g
X1
X2
active
g
mark
X1
X2
active
g
a
X
mark
f
b
X
true
Failed!
NaTT
certifiable-1.6