active
f
f
a
mark
c
f
g
f
a
active
f
X
f
active
X
active
g
X
g
active
X
f
mark
X
mark
f
X
g
mark
X
mark
g
X
proper
f
X
f
proper
X
proper
a
ok
a
proper
c
X
c
proper
X
proper
g
X
g
proper
X
f
ok
X
ok
f
X
c
ok
X
ok
c
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
f
ok
X
f
X
c
ok
X
c
X
top
ok
X
top
active
X
top
ok
X
active
X
g
mark
X
g
X
proper
c
X
c
proper
X
proper
g
X
g
proper
X
g
ok
X
g
X
top
mark
X
top
proper
X
f
mark
X
f
X
active
f
f
a
c
f
g
f
a
active
f
f
a
g
f
a
proper
c
X
proper
X
active
g
X
active
X
proper
f
X
f
proper
X
active
f
X
f
active
X
proper
g
X
proper
X
active
g
X
g
active
X
proper
f
X
proper
X
active
f
f
a
f
g
f
a
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
a
0
7579
top
1
0
top
1
1
0
c
1
51
f
1
1
1
proper
1
1
1
ok
1
1
0
mark
1
1
2
f
1
0
g
1
0
proper
1
0
c
1
0
active
1
1
0
active
1
0
g
1
1
1
top
ok
X
top
active
X
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
top
ok
X
top
active
X
true
a
0
12330
top
1
0
top
1
1
0
c
1
1
25155
f
1
1
1
proper
1
1
56722
ok
1
1
56722
mark
1
1
1
f
1
0
g
1
0
proper
1
0
c
1
0
active
1
1
56721
active
1
0
g
1
1
31565
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
top
mark
X
proper
X
false
proper
f
X
proper
X
proper
g
X
proper
X
proper
c
X
proper
X
true
a
0
1
top
1
0
top
1
1
0
c
1
1
24773
f
1
1
1
proper
1
1
1
ok
1
1
1
mark
1
1
1
f
1
0
g
1
0
proper
1
1
0
c
1
0
active
1
1
52085
active
1
0
g
1
1
27311
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
proper
f
X
f
proper
X
false
top
ok
X
active
X
false
proper
g
X
g
proper
X
false
active
g
X
active
X
active
f
X
active
X
true
a
0
1
top
1
0
top
1
1
0
c
1
1
44049
f
1
1
46876
proper
1
1
1
ok
1
1
1
mark
1
1
1
f
1
0
g
1
0
proper
1
0
c
1
0
active
1
1
44051
active
1
1
0
g
1
1
1
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
active
f
X
f
active
X
false
f
ok
X
f
X
f
mark
X
f
X
true
a
0
2805
top
1
0
top
1
1
0
c
1
1
33124
f
1
1
1
proper
1
1
1
ok
1
1
1
mark
1
1
1
f
1
1
0
g
1
0
proper
1
0
c
1
0
active
1
1
33126
active
1
0
g
1
1
1
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
active
g
X
g
active
X
false
g
mark
X
g
X
g
ok
X
g
X
true
a
0
11575
top
1
0
top
1
1
0
c
1
1
35355
f
1
1
1
proper
1
1
1
ok
1
1
1
mark
1
1
1
f
1
0
g
1
1
0
proper
1
0
c
1
0
active
1
1
77360
active
1
0
g
1
1
42004
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
active
f
f
a
c
f
g
f
a
false
active
f
f
a
f
g
f
a
false
active
f
f
a
g
f
a
false
proper
c
X
c
proper
X
false
c
ok
X
c
X
true
a
0
11576
top
1
0
top
1
1
0
c
1
1
1
f
1
1
22313
proper
1
1
25192
ok
1
1
1
mark
1
1
1
f
1
0
g
1
0
proper
1
0
c
1
1
0
active
1
1
26172
active
1
0
g
1
1
26170
f
mark
X
mark
f
X
proper
c
X
c
proper
X
active
f
f
a
mark
c
f
g
f
a
active
g
X
g
active
X
g
mark
X
mark
g
X
f
ok
X
ok
f
X
proper
a
ok
a
g
ok
X
ok
g
X
c
ok
X
ok
c
X
proper
g
X
g
proper
X
proper
f
X
f
proper
X
active
f
X
f
active
X
NaTT
certifiable-1.6