active
c
mark
f
g
c
active
f
g
X
mark
g
X
proper
c
ok
c
proper
f
X
f
proper
X
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
top
ok
X
top
active
X
proper
g
X
proper
X
top
mark
X
top
proper
X
proper
f
X
f
proper
X
proper
f
X
proper
X
active
c
f
g
c
top
mark
X
proper
X
proper
g
X
g
proper
X
top
ok
X
active
X
f
ok
X
f
X
active
c
g
c
g
ok
X
g
X
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
0
top
1
1
0
c
0
41655
f
1
1
2999
proper
1
1
1
ok
1
1
0
mark
1
1
2999
f
1
0
g
1
0
proper
1
0
active
1
1
0
active
1
0
g
1
35657
top
ok
X
top
active
X
proper
f
X
f
proper
X
active
c
mark
f
g
c
proper
c
ok
c
proper
g
X
g
proper
X
g
ok
X
ok
g
X
f
ok
X
ok
f
X
active
f
g
X
mark
g
X
top
ok
X
top
active
X
true
top
1
0
top
1
1
0
c
0
41655
f
1
1
2241
proper
1
1
31124
ok
1
1
31124
mark
1
1
0
f
1
0
g
1
0
proper
1
0
active
1
1
2242
active
1
0
g
1
1
1
proper
f
X
f
proper
X
active
c
mark
f
g
c
proper
c
ok
c
proper
g
X
g
proper
X
g
ok
X
ok
g
X
f
ok
X
ok
f
X
active
f
g
X
mark
g
X
top
ok
X
active
X
false
active
c
f
g
c
false
active
c
g
c
false
top
mark
X
proper
X
false
proper
f
X
proper
X
proper
g
X
proper
X
true
top
1
0
top
1
1
0
c
0
1
f
1
1
2241
proper
1
1
3037
ok
1
1
3037
mark
1
1
0
f
1
0
g
1
0
proper
1
1
0
active
1
1
2242
active
1
0
g
1
1
1
proper
f
X
f
proper
X
active
c
mark
f
g
c
proper
c
ok
c
proper
g
X
g
proper
X
g
ok
X
ok
g
X
f
ok
X
ok
f
X
active
f
g
X
mark
g
X
proper
g
X
g
proper
X
false
g
ok
X
g
X
true
top
1
0
top
1
1
0
c
0
1
f
1
1
1
proper
1
1
38145
ok
1
1
38145
mark
1
1
0
f
1
0
g
1
1
0
proper
1
0
active
1
1
36230
active
1
0
g
1
1
36229
proper
f
X
f
proper
X
active
c
mark
f
g
c
proper
c
ok
c
proper
g
X
g
proper
X
g
ok
X
ok
g
X
f
ok
X
ok
f
X
active
f
g
X
mark
g
X
proper
f
X
f
proper
X
false
f
ok
X
f
X
true
top
1
0
top
1
1
0
c
0
1
f
1
1
1
proper
1
1
38145
ok
1
1
38145
mark
1
1
0
f
1
1
0
g
1
0
proper
1
0
active
1
1
49486
active
1
0
g
1
1
49485
proper
f
X
f
proper
X
active
c
mark
f
g
c
proper
c
ok
c
proper
g
X
g
proper
X
g
ok
X
ok
g
X
f
ok
X
ok
f
X
active
f
g
X
mark
g
X
NaTT
certifiable-1.6