active
from
X
mark
cons
X
from
s
X
active
sel
0
cons
X
Y
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
sel
X1
X2
active
sel
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
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
2.2
mark
s
X
active
s
mark
X
s
mark
X
s
X
from
mark
X
from
X
mark
sel
X1
X2
mark
X1
cons
X1
active
X2
cons
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
sel
X
Z
mark
sel
X1
X2
sel
mark
X1
mark
X2
mark
from
X
from
mark
X
mark
sel
X1
X2
mark
X2
mark
from
X
active
from
mark
X
active
from
X
cons
X
from
s
X
sel
active
X1
X2
sel
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
0
active
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
from
X
s
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
from
X
mark
X
sel
mark
X1
X2
sel
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
sel
0
cons
X
Y
mark
X
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
sel
X1
X2
mark
X2
active
sel
0
cons
X
Y
mark
X
active
from
X
mark
cons
X
from
s
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
sel
X1
X2
mark
X1
mark
from
X
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
active
s
mark
X
true
cons
2
0
s
1
20163
mark
1
29019
0
0
1
sel
2
0
from
1
29019
sel
2
29019
s
1
0
mark
1
1
from
1
0
active
1
2
cons
2
1
active
1
1
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
from
X
mark
X
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
sel
0
cons
X
Y
mark
X
mark
sel
X1
X2
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
sel
X1
mark
X2
sel
X1
X2
s
mark
X
s
X
s
active
X
s
X
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
from
active
X
from
X
sel
X1
active
X2
sel
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
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
cons
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
s
X
mark
X
active
sel
0
cons
X
Y
mark
X
true
cons
2
0
s
1
1
0
mark
1
1
0
0
0
1
sel
2
0
from
1
1
1144
sel
2
1
28101
2
28102
0
s
1
0
mark
1
1
0
from
1
0
active
1
1
0
cons
2
1
1143
2
0
0
active
1
1
0
mark
s
X
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
from
X
mark
cons
X
from
s
X
mark
from
X
active
from
mark
X
sel
X1
mark
X2
sel
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
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
active
X
s
X
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
from
active
X
from
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
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
sel
0
cons
X
Y
mark
X
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
s
X
mark
X
true
cons
2
0
s
1
1
20163
mark
1
1
0
0
0
1
sel
2
0
from
1
29021
sel
2
29020
s
1
0
mark
1
0
from
1
0
active
1
1
cons
2
1
active
1
29020
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
true
mark
1
1
mark
1
1
from
1
1
active
1
1
active
1
1
cons
2
0
s
1
0
1
0
0
3
sel
2
0
1
2
from
1
2
1
sel
2
2
1
s
1
0
cons
2
2
cons
2
1
1
0
s
1
1
0
0
0
1
sel
2
1
2
1
from
1
1
2999
sel
2
1
2
2998
s
1
1
cons
2
1
2999
2
0
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
mark
X2
sel
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
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
active
X
s
X
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
from
active
X
from
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
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
sel
0
cons
X
Y
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
false
mark
s
X
s
mark
X
false
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
0
active
0
false
active
sel
s
X
cons
Y
Z
sel
X
Z
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
2
0
s
1
0
mark
1
0
0
0
1
sel
2
0
from
1
0
sel
2
35495
s
1
0
mark
1
1
35497
from
1
0
active
1
1
1
cons
2
1
active
1
0
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
from
active
X
from
X
from
mark
X
from
X
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
0
mark
1
0
0
0
1
sel
2
0
from
1
0
sel
2
30401
s
1
0
mark
1
1
30403
from
1
0
active
1
1
1
cons
2
1
active
1
0
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
0
mark
1
0
0
0
1
sel
2
0
from
1
0
sel
2
49485
s
1
0
mark
1
1
49487
from
1
1
0
active
1
1
1
cons
2
1
active
1
0
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
0
mark
1
0
0
0
1
sel
2
0
from
1
0
sel
2
15208
s
1
1
0
mark
1
1
15210
from
1
0
active
1
1
1
cons
2
46471
active
1
0
from
active
X
from
X
from
mark
X
from
X
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
true
cons
2
0
s
1
0
mark
1
0
0
0
1
sel
2
1
2
0
from
1
0
sel
2
1
s
1
0
mark
1
1
3
from
1
0
active
1
1
1
cons
2
1
active
1
0
from
active
X
from
X
from
mark
X
from
X
NaTT
certifiable-1.6