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
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
after
X1
X2
active
after
mark
X1
mark
X2
mark
0
active
0
from
mark
X
from
X
from
active
X
from
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
after
mark
X1
X2
after
X1
X2
after
X1
mark
X2
after
X1
X2
after
active
X1
X2
after
X1
X2
after
X1
active
X2
after
X1
X2
2.2
mark
s
X
active
s
mark
X
s
mark
X
s
X
from
mark
X
from
X
mark
after
X1
X2
mark
X1
cons
X1
active
X2
cons
X1
X2
mark
after
X1
X2
active
after
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
after
N
XS
mark
after
X1
X2
after
mark
X1
mark
X2
mark
from
X
from
mark
X
mark
after
X1
X2
mark
X2
mark
from
X
active
from
mark
X
active
from
X
cons
X
from
s
X
after
active
X1
X2
after
X1
X2
cons
mark
X1
X2
cons
X1
X2
after
X1
active
X2
after
X1
X2
after
X1
mark
X2
after
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
0
active
0
active
after
s
N
cons
X
XS
mark
after
N
XS
active
from
X
s
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
from
X
mark
X
after
mark
X1
X2
after
X1
X2
active
from
X
from
s
X
s
active
X
s
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
s
mark
X
active
after
0
XS
mark
XS
cons
X1
mark
X2
cons
X1
X2
from
active
X
from
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
true
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
after
X1
X2
mark
X2
active
after
0
XS
mark
XS
active
from
X
mark
cons
X
from
s
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
after
X1
X2
active
after
mark
X1
mark
X2
mark
after
X1
X2
mark
X1
mark
from
X
mark
X
active
after
s
N
cons
X
XS
mark
after
N
XS
mark
s
X
active
s
mark
X
true
cons
2
0
s
1
40651
after
2
52449
mark
1
52449
0
0
1
from
1
52449
s
1
0
mark
1
1
after
2
0
from
1
0
active
1
2
cons
2
1
active
1
1
0
active
after
s
N
cons
X
XS
mark
after
N
XS
mark
from
X
mark
X
mark
after
X1
X2
mark
X1
mark
after
X1
X2
active
after
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
after
0
XS
mark
XS
mark
after
X1
X2
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
after
X1
mark
X2
after
X1
X2
s
mark
X
s
X
s
active
X
s
X
after
active
X1
X2
after
X1
X2
after
mark
X1
X2
after
X1
X2
from
active
X
from
X
after
X1
active
X2
after
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
mark
from
X
mark
X
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
mark
cons
X1
X2
mark
X1
mark
after
X1
X2
mark
X2
mark
after
X1
X2
mark
X1
mark
after
X1
X2
active
after
mark
X1
mark
X2
mark
s
X
mark
X
active
after
0
XS
mark
XS
true
cons
2
0
s
1
1
0
after
2
1
10452
2
1
0
mark
1
1
0
0
0
44083
from
1
1
18818
s
1
0
mark
1
1
0
after
2
0
from
1
0
active
1
1
0
cons
2
1
18817
2
0
0
active
1
1
0
mark
s
X
mark
X
mark
after
X1
X2
active
after
mark
X1
mark
X2
active
after
s
N
cons
X
XS
mark
after
N
XS
active
from
X
mark
cons
X
from
s
X
mark
from
X
active
from
mark
X
after
X1
mark
X2
after
X1
X2
mark
from
X
active
from
mark
X
s
mark
X
s
X
mark
0
active
0
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
s
active
X
s
X
after
active
X1
X2
after
X1
X2
after
mark
X1
X2
after
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
from
active
X
from
X
mark
after
X1
X2
active
after
mark
X1
mark
X2
after
X1
active
X2
after
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
after
0
XS
mark
XS
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
mark
after
X1
X2
active
after
mark
X1
mark
X2
mark
s
X
mark
X
true
cons
2
0
s
1
1
40651
after
2
21657
mark
1
1
30792
0
0
1
from
1
21658
s
1
0
mark
1
1
after
2
0
from
1
0
active
1
2
cons
2
21656
active
1
52449
mark
after
X1
X2
active
after
mark
X1
mark
X2
active
after
s
N
cons
X
XS
mark
after
N
XS
after
X1
mark
X2
after
X1
X2
after
active
X1
X2
after
X1
X2
after
mark
X1
X2
after
X1
X2
from
active
X
from
X
after
X1
active
X2
after
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
active
after
s
N
cons
X
XS
mark
after
N
XS
mark
after
X1
X2
active
after
mark
X1
mark
X2
true
cons
2
0
s
1
1
16909
after
2
1
2
19428
mark
1
1
30792
0
0
53516
from
1
3037
s
1
0
mark
1
1
0
after
2
0
from
1
0
active
1
1
0
cons
2
2
0
active
1
1
30791
after
X1
mark
X2
after
X1
X2
mark
from
X
active
from
mark
X
s
mark
X
s
X
mark
0
active
0
active
from
X
mark
cons
X
from
s
X
active
after
s
N
cons
X
XS
mark
after
N
XS
s
active
X
s
X
after
active
X1
X2
after
X1
X2
after
mark
X1
X2
after
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
from
active
X
from
X
mark
after
X1
X2
active
after
mark
X1
mark
X2
after
X1
active
X2
after
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
after
0
XS
mark
XS
mark
s
X
s
mark
X
false
mark
after
X1
X2
after
mark
X1
mark
X2
false
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
0
active
0
false
active
after
s
N
cons
X
XS
after
N
XS
false
mark
from
X
from
mark
X
false
active
from
X
cons
X
from
s
X
false
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
2
0
s
1
29405
after
2
1
48664
mark
1
30792
0
0
51696
from
1
19791
s
1
0
mark
1
1
0
after
2
0
from
1
0
active
1
1
7630
cons
2
1
2
7631
active
1
30791
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
from
active
X
from
X
from
mark
X
from
X
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
after
2
1
22541
mark
1
30792
0
0
1
from
1
48581
s
1
0
mark
1
1
1103
after
2
0
from
1
0
active
1
1
1104
cons
2
1
2
2
active
1
30791
cons
X1
mark
X2
cons
X1
X2
from
active
X
from
X
from
mark
X
from
X
cons
X1
mark
X2
cons
X1
X2
true
cons
2
2
0
s
1
11820
after
2
1
19095
mark
1
30792
0
0
20752
from
1
44049
s
1
0
mark
1
1
28872
after
2
0
from
1
0
active
1
1
28873
cons
2
1
2
2
active
1
30791
from
active
X
from
X
from
mark
X
from
X
active
from
X
from
s
X
false
from
active
X
from
X
from
mark
X
from
X
true
cons
2
0
s
1
1
after
2
1
14598
mark
1
30792
0
0
31729
from
1
36554
s
1
0
mark
1
1
28872
after
2
0
from
1
1
0
active
1
1
28873
cons
2
1
2
2
active
1
30791
from
active
X
from
X
from
mark
X
from
X
active
from
X
s
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
after
2
1
31233
mark
1
30792
0
0
1
from
1
40400
s
1
1
0
mark
1
1
28872
after
2
0
from
1
0
active
1
1
28873
cons
2
1
2
2
active
1
30791
from
active
X
from
X
from
mark
X
from
X
after
mark
X1
X2
after
X1
X2
after
X1
mark
X2
after
X1
X2
after
X1
active
X2
after
X1
X2
after
active
X1
X2
after
X1
X2
true
cons
2
0
s
1
3566
after
2
1
37790
mark
1
30792
0
0
35475
from
1
31135
s
1
0
mark
1
1
14923
after
2
1
2
0
from
1
0
active
1
1
14924
cons
2
1
2
2
active
1
30791
from
active
X
from
X
from
mark
X
from
X
NaTT
certifiable-1.6