active
f
f
a
mark
f
g
f
a
active
f
X
f
active
X
f
mark
X
mark
f
X
proper
f
X
f
proper
X
proper
a
ok
a
proper
g
X
g
proper
X
f
ok
X
ok
f
X
g
ok
X
ok
g
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
f
X
active
X
top
mark
X
proper
X
g
ok
X
g
X
top
ok
X
active
X
active
f
f
a
f
g
f
a
active
f
f
a
g
f
a
proper
f
X
f
proper
X
f
ok
X
f
X
f
mark
X
f
X
top
mark
X
top
proper
X
proper
g
X
g
proper
X
active
f
X
f
active
X
top
ok
X
top
active
X
proper
f
X
proper
X
proper
g
X
proper
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
a
0
67343
top
1
0
top
1
1
0
f
1
1
1
proper
1
1
40113
ok
1
1
0
mark
1
1
40114
f
1
0
g
1
0
proper
1
0
active
1
1
0
active
1
0
g
1
27230
top
ok
X
top
active
X
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
f
mark
X
mark
f
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
f
X
f
active
X
top
ok
X
top
active
X
true
a
0
1
top
1
0
top
1
1
0
f
1
1
24452
proper
1
1
81807
ok
1
1
81807
mark
1
1
29364
f
1
0
g
1
0
proper
1
0
active
1
1
63219
active
1
0
g
1
1
33855
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
f
mark
X
mark
f
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
f
X
f
active
X
top
mark
X
proper
X
false
proper
g
X
proper
X
proper
f
X
proper
X
true
a
0
1
top
1
0
top
1
1
0
f
1
1
1
proper
1
1
36412
ok
1
1
36412
mark
1
1
1
f
1
0
g
1
0
proper
1
1
0
active
1
1
63219
active
1
0
g
1
1
33855
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
f
mark
X
mark
f
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
f
X
f
active
X
proper
g
X
g
proper
X
false
g
ok
X
g
X
true
a
0
1
top
1
0
top
1
1
0
f
1
1
1
proper
1
1
38690
ok
1
1
7579
mark
1
1
12280
f
1
0
g
1
1
0
proper
1
0
active
1
1
63219
active
1
0
g
1
1
29405
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
f
mark
X
mark
f
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
f
X
f
active
X
proper
f
X
f
proper
X
false
top
ok
X
active
X
false
active
f
X
active
X
true
a
0
19265
top
1
0
top
1
1
0
f
1
1
1
proper
1
1
7579
ok
1
1
2332
mark
1
1
29291
f
1
0
g
1
0
proper
1
0
active
1
1
80230
active
1
1
0
g
1
1
1
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
f
mark
X
mark
f
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
f
X
f
active
X
active
f
X
f
active
X
false
f
mark
X
f
X
f
ok
X
f
X
true
a
0
1
top
1
0
top
1
1
0
f
1
1
27251
proper
1
1
32742
ok
1
1
24338
mark
1
1
1
f
1
1
0
g
1
0
proper
1
0
active
1
1
52630
active
1
0
g
1
1
52629
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
f
mark
X
mark
f
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
f
X
f
active
X
active
f
f
a
f
g
f
a
false
active
f
f
a
g
f
a
false
NaTT
certifiable-1.6