active
f
b
X
c
mark
f
X
c
X
active
c
mark
b
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
b
ok
b
proper
c
ok
c
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
b
X
c
f
X
c
X
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
b
0
0
21461
top
1
0
0
top
1
1
1
1
1
1
0
0
c
0
42920
1
f
3
0
0
0
1
1
0
1
0
1
2
0
1
0
0
3
0
1
proper
1
1
0
0
ok
1
1
0
0
mark
1
1
0
21460
f
3
0
0
proper
1
0
0
active
1
0
1
0
1
1
0
0
active
1
0
0
top
ok
X
top
active
X
f
X1
mark
X2
X3
mark
f
X1
X2
X3
f
ok
X1
ok
X2
ok
X3
ok
f
X1
X2
X3
active
f
b
X
c
mark
f
X
c
X
active
f
X1
X2
X3
f
X1
active
X2
X3
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
proper
c
ok
c
proper
b
ok
b
active
c
mark
b
top
ok
X
top
active
X
true
b
0
1
top
1
0
top
1
1
0
c
0
1
f
3
2
0
proper
1
50763
ok
1
50763
mark
1
2374
f
3
0
proper
1
0
active
1
33855
active
1
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
b
X
c
mark
f
X
c
X
active
f
X1
X2
X3
f
X1
active
X2
X3
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
proper
c
ok
c
proper
b
ok
b
active
c
mark
b
top
ok
X
active
X
false
active
f
X1
X2
X3
active
X2
true
b
0
1
top
1
0
top
1
0
c
0
1
f
3
2
1
proper
1
50763
ok
1
50763
mark
1
20585
f
3
0
proper
1
0
active
1
33855
active
1
1
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
b
X
c
mark
f
X
c
X
proper
c
ok
c
proper
b
ok
b
active
c
mark
b
active
f
X1
X2
X3
f
X1
active
X2
X3
false
active
f
b
X
c
f
X
c
X
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
b
0
1
top
1
0
top
1
0
c
0
43391
f
3
1
2
3
1
proper
1
0
ok
1
36983
mark
1
7630
f
3
0
proper
1
1
0
active
1
33855
active
1
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
b
X
c
mark
f
X
c
X
active
c
mark
b
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
b
0
1
top
1
0
top
1
0
c
0
14661
f
3
1
2
3
7177
proper
1
0
ok
1
1
36983
mark
1
1
f
3
1
0
proper
1
0
active
1
1
active
1
0
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
mark
f
X1
X2
X3
f
ok
X1
ok
X2
ok
X3
ok
f
X1
X2
X3
active
f
b
X
c
mark
f
X
c
X
active
c
mark
b
f
X1
mark
X2
X3
f
X1
X2
X3
true
b
0
1
top
1
0
top
1
0
c
0
1
f
3
1
2
3
1
proper
1
0
ok
1
1
28031
mark
1
1
1
f
3
2
0
proper
1
0
active
1
3
active
1
0
f
X1
mark
X2
X3
mark
f
X1
X2
X3
f
ok
X1
ok
X2
ok
X3
ok
f
X1
X2
X3
active
c
mark
b
NaTT
certifiable-1.6