active
f
0
mark
cons
0
f
s
0
active
f
s
0
mark
f
p
s
0
active
p
s
X
mark
X
active
f
X
f
active
X
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
p
X
p
active
X
f
mark
X
mark
f
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
p
mark
X
mark
p
X
proper
f
X
f
proper
X
proper
0
ok
0
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
p
X
p
proper
X
f
ok
X
ok
f
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
s
ok
X
ok
s
X
p
ok
X
ok
p
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
f
s
0
p
s
0
f
mark
X
f
X
p
mark
X
p
X
active
p
X
p
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
cons
X1
X2
proper
X2
proper
p
X
p
proper
X
top
mark
X
proper
X
p
ok
X
p
X
proper
s
X
proper
X
active
p
X
active
X
proper
s
X
s
proper
X
proper
p
X
proper
X
f
ok
X
f
X
proper
f
X
f
proper
X
proper
cons
X1
X2
proper
X1
active
f
X
active
X
cons
mark
X1
X2
cons
X1
X2
active
f
0
s
0
top
mark
X
top
proper
X
cons
ok
X1
ok
X2
cons
X1
X2
active
f
0
f
s
0
active
cons
X1
X2
active
X1
active
f
X
f
active
X
top
ok
X
active
X
active
f
0
cons
0
f
s
0
s
ok
X
s
X
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
f
s
0
f
p
s
0
proper
f
X
proper
X
s
mark
X
s
X
active
s
X
active
X
top
ok
X
top
active
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
2
1
cons
2
0
0
s
1
0
1
1
0
1
1
52270
top
1
0
0
top
1
0
0
1
0
1
0
0
p
1
0
0
f
1
1
1
0
0
1
156813
172433
p
1
0
1
1
0
1
1
52270
proper
1
1
31527
31527
ok
1
1
31527
31527
0
0
1
104542
s
1
0
0
mark
1
1
52272
52272
f
1
0
0
proper
1
0
0
active
1
1
1
1
cons
2
0
0
1
1
1
1
15621
active
1
0
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
f
X
f
active
X
proper
s
X
s
proper
X
f
mark
X
mark
f
X
active
f
0
mark
cons
0
f
s
0
active
p
s
X
mark
X
proper
p
X
p
proper
X
s
ok
X
ok
s
X
f
ok
X
ok
f
X
active
cons
X1
X2
cons
active
X1
X2
s
mark
X
mark
s
X
active
p
X
p
active
X
p
ok
X
ok
p
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
f
X
f
proper
X
p
mark
X
mark
p
X
cons
mark
X1
X2
mark
cons
X1
X2
proper
0
ok
0
active
s
X
s
active
X
active
f
s
0
mark
f
p
s
0
top
ok
X
active
X
false
top
mark
X
proper
X
false
active
s
X
active
X
active
p
X
active
X
active
cons
X1
X2
active
X1
active
f
X
active
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
p
1
0
f
1
1
1
p
1
1
1
proper
1
19456
ok
1
19457
0
0
13506
s
1
0
mark
1
48368
f
1
0
proper
1
0
active
1
23979
cons
2
1
1
active
1
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
f
s
0
f
p
s
0
false
active
s
X
s
active
X
false
active
p
X
p
active
X
false
active
cons
X1
X2
cons
active
X1
X2
false
active
f
0
cons
0
f
s
0
false
active
f
0
f
s
0
false
active
f
0
s
0
false
active
f
X
f
active
X
false
proper
p
X
proper
X
proper
s
X
proper
X
proper
f
X
proper
X
proper
cons
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
p
1
0
f
1
1
1
p
1
1
1
proper
1
1
ok
1
2
0
0
49110
s
1
0
mark
1
47553
f
1
0
proper
1
1
0
active
1
19696
cons
2
1
2
1
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
1
top
1
0
top
1
0
p
1
0
f
1
1
1
p
1
1
15943
proper
1
1
ok
1
1
1
0
0
1
s
1
0
mark
1
30124
f
1
0
proper
1
0
active
1
30123
cons
2
1
2
1
active
1
0
cons
mark
X1
X2
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
11575
top
1
0
top
1
0
p
1
0
f
1
1
1
p
1
1
46517
proper
1
1
ok
1
1
1
0
0
1
s
1
0
mark
1
1
37415
f
1
0
proper
1
0
active
1
37414
cons
2
0
active
1
0
proper
p
X
p
proper
X
false
p
ok
X
p
X
p
mark
X
p
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
p
1
1
0
f
1
1
1
p
1
1
1
proper
1
1
ok
1
1
1
0
0
1
s
1
0
mark
1
1
2
f
1
0
proper
1
0
active
1
1
cons
2
0
active
1
0
proper
s
X
s
proper
X
false
s
mark
X
s
X
s
ok
X
s
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
p
1
0
f
1
1
1
p
1
1
1
proper
1
1
ok
1
1
1
0
0
1
s
1
1
0
mark
1
1
2
f
1
0
proper
1
0
active
1
1
cons
2
0
active
1
0
proper
f
X
f
proper
X
false
active
f
s
0
p
s
0
false
f
mark
X
f
X
f
ok
X
f
X
true
cons
2
0
s
1
1
27570
top
1
0
top
1
0
p
1
0
f
1
1
1
p
1
1
1
proper
1
1
ok
1
1
1
0
0
1
s
1
0
mark
1
1
19897
f
1
1
0
proper
1
0
active
1
19896
cons
2
0
active
1
0
NaTT
certifiable-1.6