active
from
X
mark
cons
X
from
s
X
active
after
0
XS
mark
XS
active
after
s
N
cons
X
XS
mark
after
N
XS
active
from
X
from
active
X
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
after
X1
X2
after
active
X1
X2
active
after
X1
X2
after
X1
active
X2
from
mark
X
mark
from
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
after
mark
X1
X2
mark
after
X1
X2
after
X1
mark
X2
mark
after
X1
X2
proper
from
X
from
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
after
X1
X2
after
proper
X1
proper
X2
proper
0
ok
0
from
ok
X
ok
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
s
ok
X
ok
s
X
after
ok
X1
ok
X2
ok
after
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
s
X
active
X
active
from
X
from
s
X
proper
cons
X1
X2
proper
X2
active
from
X
active
X
top
ok
X
top
active
X
cons
ok
X1
ok
X2
cons
X1
X2
top
mark
X
proper
X
proper
from
X
from
proper
X
s
ok
X
s
X
from
ok
X
from
X
proper
from
X
proper
X
active
after
X1
X2
after
X1
active
X2
active
after
X1
X2
after
active
X1
X2
active
from
X
s
X
proper
s
X
s
proper
X
proper
after
X1
X2
after
proper
X1
proper
X2
top
ok
X
active
X
after
mark
X1
X2
after
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
s
mark
X
s
X
active
from
X
cons
X
from
s
X
proper
after
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
active
after
s
N
cons
X
XS
after
N
XS
active
cons
X1
X2
cons
active
X1
X2
active
after
X1
X2
active
X2
after
ok
X1
ok
X2
after
X1
X2
proper
s
X
proper
X
active
from
X
from
active
X
proper
after
X1
X2
proper
X1
cons
mark
X1
X2
cons
X1
X2
after
X1
mark
X2
after
X1
X2
active
s
X
s
active
X
top
mark
X
top
proper
X
active
after
X1
X2
active
X1
from
mark
X
from
X
active
cons
X1
X2
active
X1
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
proper
1
1
ok
1
1
after
2
1
active
1
1
active
1
1
cons
2
0
s
1
4
1
top
1
0
top
1
0
1
after
2
5
1
2
0
0
0
from
1
4
1
s
1
0
mark
1
1
1
proper
1
0
from
1
0
cons
2
3
1
cons
2
1
1
0
s
1
1
0
top
1
1
top
1
1
1
after
2
1
2
21238
0
0
1
from
1
1
38147
s
1
1
mark
1
1
0
proper
1
1
from
1
1
cons
2
1
38146
2
0
0
top
ok
X
top
active
X
proper
0
ok
0
active
from
X
from
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
after
X1
X2
after
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
proper
s
X
s
proper
X
s
ok
X
ok
s
X
from
ok
X
ok
from
X
proper
after
X1
X2
after
proper
X1
proper
X2
after
ok
X1
ok
X2
ok
after
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
after
X1
X2
after
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
from
X
from
proper
X
after
mark
X1
X2
mark
after
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
after
X1
mark
X2
mark
after
X1
X2
active
s
X
s
active
X
active
after
0
XS
mark
XS
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
top
1
0
top
1
1
0
after
2
2
0
proper
1
3
ok
1
1
2
0
0
1
from
1
1
0
s
1
0
mark
1
0
after
2
0
proper
1
0
from
1
0
active
1
1
1
cons
2
1
0
active
1
0
proper
0
ok
0
active
from
X
from
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
after
X1
X2
after
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
proper
s
X
s
proper
X
s
ok
X
ok
s
X
from
ok
X
ok
from
X
proper
after
X1
X2
after
proper
X1
proper
X2
after
ok
X1
ok
X2
ok
after
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
after
X1
X2
after
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
from
X
from
proper
X
after
mark
X1
X2
mark
after
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
after
X1
mark
X2
mark
after
X1
X2
active
s
X
s
active
X
active
after
0
XS
mark
XS
top
mark
X
proper
X
false
top
ok
X
active
X
false
proper
from
X
proper
X
proper
after
X1
X2
proper
X1
proper
s
X
proper
X
proper
cons
X1
X2
proper
X1
proper
after
X1
X2
proper
X2
proper
cons
X1
X2
proper
X2
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
after
2
1
2
1
proper
1
5599
ok
1
1
0
0
0
2016
from
1
1
14098
s
1
0
mark
1
1
after
2
0
proper
1
1
0
from
1
0
active
1
1
cons
2
1
2
1
active
1
0
proper
0
ok
0
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
s
ok
X
ok
s
X
from
ok
X
ok
from
X
after
ok
X1
ok
X2
ok
after
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
after
mark
X1
X2
mark
after
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
after
X1
mark
X2
mark
after
X1
X2
active
after
0
XS
mark
XS
proper
from
X
from
proper
X
false
proper
s
X
s
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
active
cons
X1
X2
active
X1
active
after
X1
X2
active
X1
active
after
X1
X2
active
X2
active
from
X
active
X
active
s
X
active
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
after
2
1
2
15261
proper
1
1
ok
1
1
0
0
0
1
from
1
1
1
s
1
0
mark
1
1
after
2
0
proper
1
0
from
1
0
active
1
1
cons
2
1
2
15943
active
1
1
0
proper
0
ok
0
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
s
ok
X
ok
s
X
from
ok
X
ok
from
X
after
ok
X1
ok
X2
ok
after
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
after
mark
X1
X2
mark
after
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
after
X1
mark
X2
mark
after
X1
X2
active
after
0
XS
mark
XS
active
s
X
s
active
X
false
active
after
X1
X2
after
active
X1
X2
false
active
cons
X1
X2
cons
active
X1
X2
false
active
after
s
N
cons
X
XS
after
N
XS
false
active
from
X
cons
X
from
s
X
false
cons
mark
X1
X2
cons
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
20534
top
1
0
top
1
0
after
2
1
2
31892
proper
1
1
ok
1
1
0
0
0
1
from
1
1
1
s
1
0
mark
1
1
1
after
2
0
proper
1
0
from
1
0
active
1
30574
cons
2
1
2
10038
active
1
0
cons
ok
X1
ok
X2
cons
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
from
ok
X
ok
from
X
after
ok
X1
ok
X2
ok
after
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
after
mark
X1
X2
mark
after
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
after
X1
mark
X2
mark
after
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
1
top
1
0
top
1
0
after
2
1
2
14924
proper
1
0
ok
1
1
1
0
0
1
from
1
14925
s
1
0
mark
1
1
1
after
2
0
proper
1
0
from
1
0
active
1
14924
cons
2
1
active
1
0
after
ok
X1
ok
X2
ok
after
X1
X2
after
mark
X1
X2
mark
after
X1
X2
after
X1
mark
X2
mark
after
X1
X2
active
from
X
from
s
X
false
active
from
X
s
X
false
s
ok
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
after
2
1
2
2
proper
1
0
ok
1
1
1
0
0
1
from
1
3
s
1
1
0
mark
1
1
1
after
2
0
proper
1
0
from
1
0
active
1
2
cons
2
1
active
1
0
after
ok
X1
ok
X2
ok
after
X1
X2
after
mark
X1
X2
mark
after
X1
X2
after
X1
mark
X2
mark
after
X1
X2
active
after
X1
X2
after
X1
active
X2
false
active
from
X
from
active
X
false
from
mark
X
from
X
from
ok
X
from
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
after
2
1
2
2
proper
1
0
ok
1
1
1
0
0
1
from
1
5971
s
1
0
mark
1
1
5969
after
2
0
proper
1
0
from
1
1
0
active
1
5970
cons
2
1
active
1
0
after
ok
X1
ok
X2
ok
after
X1
X2
after
mark
X1
X2
mark
after
X1
X2
after
X1
mark
X2
mark
after
X1
X2
proper
after
X1
X2
after
proper
X1
proper
X2
false
after
X1
mark
X2
after
X1
X2
after
ok
X1
ok
X2
after
X1
X2
after
mark
X1
X2
after
X1
X2
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
after
2
1
2
2
proper
1
0
ok
1
1
1
0
0
1
from
1
25534
s
1
0
mark
1
1
25532
after
2
1
2
0
proper
1
0
from
1
0
active
1
25533
cons
2
1
active
1
0
after
ok
X1
ok
X2
ok
after
X1
X2
after
mark
X1
X2
mark
after
X1
X2
after
X1
mark
X2
mark
after
X1
X2
NaTT
certifiable-1.6