active
f
a
X
X
mark
f
X
b
b
active
b
mark
a
active
f
X1
X2
X3
f
X1
active
X2
X3
f
X1
mark
X2
X3
mark
f
X1
X2
X3
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
proper
a
ok
a
proper
b
ok
b
f
ok
X1
ok
X2
ok
X3
ok
f
X1
X2
X3
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
top
mark
X
proper
X
proper
f
X1
X2
X3
proper
X1
f
X1
mark
X2
X3
f
X1
X2
X3
active
f
X1
X2
X3
f
X1
active
X2
X3
active
f
a
X
X
f
X
b
b
f
ok
X1
ok
X2
ok
X3
f
X1
X2
X3
proper
f
X1
X2
X3
proper
X2
active
f
X1
X2
X3
active
X2
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
top
ok
X
top
active
X
top
mark
X
top
proper
X
proper
f
X1
X2
X3
proper
X3
top
ok
X
active
X
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
2
1
a
0
36291
1
b
0
0
18146
top
1
0
0
top
1
0
0
1
0
1
0
0
f
3
1
1
0
0
1
0
0
0
1
2
0
1
0
0
3
1
1
proper
1
1
0
27571
ok
1
1
0
27571
mark
1
0
0
0
1
1
1
27572
f
3
0
0
proper
1
0
0
active
1
0
0
1
1
1
0
9427
active
1
0
0
f
X1
mark
X2
X3
mark
f
X1
X2
X3
f
ok
X1
ok
X2
ok
X3
ok
f
X1
X2
X3
active
f
a
X
X
mark
f
X
b
b
active
f
X1
X2
X3
f
X1
active
X2
X3
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
proper
b
ok
b
proper
a
ok
a
active
b
mark
a
top
ok
X
active
X
false
active
f
X1
X2
X3
active
X2
true
a
0
3
b
0
1
top
1
0
top
1
0
f
3
1
2
3
1
proper
1
1
ok
1
2
mark
1
32275
f
3
0
proper
1
0
active
1
24696
active
1
1
0
active
f
X1
X2
X3
f
X1
active
X2
X3
false
active
f
a
X
X
f
X
b
b
false
top
mark
X
proper
X
false
proper
f
X1
X2
X3
proper
X3
proper
f
X1
X2
X3
proper
X1
proper
f
X1
X2
X3
proper
X2
true
a
0
3
b
0
1
top
1
0
top
1
0
f
3
1
2
3
1
proper
1
26720
ok
1
26721
mark
1
31156
f
3
0
proper
1
1
0
active
1
19506
active
1
0
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
false
f
ok
X1
ok
X2
ok
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
true
a
0
1
b
0
1
top
1
0
top
1
0
f
3
1
2
3
1
proper
1
1
ok
1
1
1
mark
1
50520
f
3
3
0
proper
1
0
active
1
38870
active
1
0
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
true
a
0
1
b
0
1
top
1
0
top
1
0
f
3
1
2
3
1
proper
1
28872
ok
1
1
30123
mark
1
1
11648
f
3
2
0
proper
1
0
active
1
1
active
1
0
NaTT
certifiable-1.6