active
f
f
a
mark
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
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
g
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
g
mark
X
g
X
top
mark
X
top
proper
X
proper
g
X
g
proper
X
active
g
X
g
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
2
1
a
0
1
1
top
1
0
0
top
1
0
0
1
0
1
0
0
f
1
0
1
0
1
1
24898
1
proper
1
1
0
38631
ok
1
1
0
38631
mark
1
0
0
0
1
1
1
38632
f
1
0
0
g
1
0
0
proper
1
0
0
active
1
1
0
1
1
1
1
38630
active
1
0
0
g
1
0
0
0
1
1
1
0
proper
f
X
f
proper
X
g
ok
X
ok
g
X
active
f
f
a
mark
f
g
f
a
g
mark
X
mark
g
X
proper
a
ok
a
f
ok
X
ok
f
X
proper
g
X
g
proper
X
active
g
X
g
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
0
f
1
1
591
proper
1
4687
ok
1
4688
mark
1
42845
f
1
0
g
1
0
proper
1
1
0
active
1
33119
active
1
0
g
1
1
1
proper
g
X
g
proper
X
false
proper
f
X
f
proper
X
false
top
ok
X
active
X
false
f
ok
X
f
X
true
a
0
1
top
1
0
top
1
0
f
1
1
0
proper
1
12457
ok
1
1
12618
mark
1
42845
f
1
1
0
g
1
0
proper
1
0
active
1
33119
active
1
0
g
1
1
0
active
g
X
active
X
true
a
0
1
top
1
0
top
1
0
f
1
1
0
proper
1
33041
ok
1
1
33041
mark
1
53050
f
1
0
g
1
0
proper
1
0
active
1
43324
active
1
1
0
g
1
1
1
active
g
X
g
active
X
false
g
ok
X
g
X
g
mark
X
g
X
true
a
0
11650
top
1
0
top
1
0
f
1
1
0
proper
1
48683
ok
1
1
37034
mark
1
1
24609
f
1
0
g
1
1
0
proper
1
0
active
1
7177
active
1
0
g
1
1
24389
active
f
f
a
f
g
f
a
false
active
f
f
a
g
f
a
false
NaTT
certifiable-1.6