active
2nd
cons1
X
cons
Y
Z
mark
Y
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
active
from
X
mark
cons
X
from
s
X
mark
2nd
X
active
2nd
mark
X
mark
cons1
X1
X2
active
cons1
mark
X1
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
from
X
active
from
mark
X
mark
s
X
active
s
mark
X
2nd
mark
X
2nd
X
2nd
active
X
2nd
X
cons1
mark
X1
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
cons1
active
X1
X2
cons1
X1
X2
cons1
X1
active
X2
cons1
X1
X2
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
from
mark
X
from
X
from
active
X
from
X
s
mark
X
s
X
s
active
X
s
X
2.2
active
2nd
cons
X
X1
2nd
cons1
X
X1
active
from
X
s
X
mark
2nd
X
active
2nd
mark
X
mark
2nd
X
mark
X
cons
X1
active
X2
cons
X1
X2
mark
cons
X1
X2
mark
X1
mark
from
X
active
from
mark
X
cons1
mark
X1
X2
cons1
X1
X2
cons1
X1
active
X2
cons1
X1
X2
s
mark
X
s
X
from
mark
X
from
X
from
active
X
from
X
mark
s
X
active
s
mark
X
mark
from
X
from
mark
X
active
2nd
cons1
X
cons
Y
Z
mark
Y
cons
X1
mark
X2
cons
X1
X2
mark
cons1
X1
X2
mark
X2
cons1
active
X1
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
mark
s
X
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
active
from
X
from
s
X
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
active
from
X
cons
X
from
s
X
mark
cons1
X1
X2
active
cons1
mark
X1
mark
X2
mark
s
X
s
mark
X
mark
cons1
X1
X2
mark
X1
active
from
X
mark
cons
X
from
s
X
mark
2nd
X
2nd
mark
X
s
active
X
s
X
2nd
active
X
2nd
X
active
2nd
cons
X
X1
cons1
X
X1
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
2nd
mark
X
2nd
X
mark
from
X
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
cons1
X1
X2
cons1
mark
X1
mark
X2
true
mark
cons
X1
X2
active
cons
mark
X1
X2
active
2nd
cons1
X
cons
Y
Z
mark
Y
mark
from
X
mark
X
mark
s
X
active
s
mark
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
active
from
X
mark
cons
X
from
s
X
mark
from
X
active
from
mark
X
mark
cons1
X1
X2
mark
X1
mark
cons1
X1
X2
active
cons1
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
2nd
X
mark
X
mark
s
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
cons1
X1
X2
mark
X2
true
cons
2
0
s
1
1
cons1
2
0
2nd
1
71264
cons1
2
62898
mark
1
71264
from
1
71264
s
1
0
2nd
1
0
mark
1
1
from
1
0
active
1
1
cons
2
5854
active
1
1
0
mark
cons1
X1
X2
mark
X2
mark
2nd
X
active
2nd
mark
X
mark
s
X
mark
X
mark
2nd
X
mark
X
mark
cons
X1
X2
mark
X1
mark
cons1
X1
X2
mark
X1
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
mark
from
X
mark
X
active
2nd
cons1
X
cons
Y
Z
mark
Y
cons
X1
active
X2
cons
X1
X2
mark
2nd
X
active
2nd
mark
X
cons
mark
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
mark
cons1
X1
X2
active
cons1
mark
X1
mark
X2
2nd
active
X
2nd
X
mark
from
X
active
from
mark
X
from
active
X
from
X
cons1
X1
active
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
cons1
mark
X1
X2
cons1
X1
X2
2nd
mark
X
2nd
X
cons1
active
X1
X2
cons1
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
mark
2nd
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
s
X
mark
X
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
mark
cons1
X1
X2
mark
X2
mark
cons1
X1
X2
mark
X1
mark
from
X
mark
X
mark
from
X
active
from
mark
X
mark
cons
X1
X2
mark
X1
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
true
cons
2
0
s
1
1
0
cons1
2
0
2nd
1
1
15922
cons1
2
1
20538
2
0
0
mark
1
1
0
from
1
1
20540
s
1
0
2nd
1
0
mark
1
1
0
from
1
0
active
1
1
0
cons
2
1
20539
2
0
0
active
1
1
0
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
mark
from
X
active
from
mark
X
mark
cons1
X1
X2
mark
X2
active
from
X
mark
cons
X
from
s
X
mark
s
X
mark
X
mark
2nd
X
active
2nd
mark
X
cons
X1
active
X2
cons
X1
X2
mark
2nd
X
active
2nd
mark
X
cons
mark
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
mark
cons1
X1
X2
active
cons1
mark
X1
mark
X2
2nd
active
X
2nd
X
mark
from
X
active
from
mark
X
from
active
X
from
X
cons1
X1
active
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
cons1
mark
X1
X2
cons1
X1
X2
2nd
mark
X
2nd
X
cons1
active
X1
X2
cons1
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
mark
2nd
X
active
2nd
mark
X
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
mark
cons1
X1
X2
mark
X2
mark
from
X
active
from
mark
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
true
cons
2
0
s
1
1
1
cons1
2
0
2nd
1
44365
cons1
2
1
2
62898
mark
1
1
0
from
1
44366
s
1
0
2nd
1
0
mark
1
1
from
1
0
active
1
0
cons
2
44364
active
1
44365
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
mark
2nd
X
active
2nd
mark
X
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
2nd
active
X
2nd
X
2nd
mark
X
2nd
X
mark
2nd
X
active
2nd
mark
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
true
cons
2
2
2nd
1
1
mark
1
1
2nd
1
1
mark
1
1
active
1
1
active
1
1
s
1
0
cons1
2
0
2
1
cons1
2
1
from
1
2
1
s
1
0
from
1
0
cons
2
1
1
s
1
0
cons1
2
1
1
2
1
0
cons1
2
1
28101
2
0
0
from
1
1
28102
s
1
1
from
1
1
cons
2
1
28101
2
0
0
mark
2nd
X
active
2nd
mark
X
cons
X1
active
X2
cons
X1
X2
mark
2nd
X
active
2nd
mark
X
cons
mark
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
mark
cons1
X1
X2
active
cons1
mark
X1
mark
X2
2nd
active
X
2nd
X
mark
from
X
active
from
mark
X
from
active
X
from
X
cons1
X1
active
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
cons1
mark
X1
X2
cons1
X1
X2
2nd
mark
X
2nd
X
cons1
active
X1
X2
cons1
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
mark
2nd
X
active
2nd
mark
X
false
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
from
X
from
mark
X
false
active
2nd
cons
X
X1
2nd
cons1
X
X1
false
active
2nd
cons
X
X1
cons1
X
X1
false
mark
cons1
X1
X2
cons1
mark
X1
mark
X2
false
cons1
X1
active
X2
cons1
X1
X2
cons1
mark
X1
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
cons1
active
X1
X2
cons1
X1
X2
true
cons
2
0
s
1
1
31598
cons1
2
1
0
2nd
1
24766
cons1
2
1
40436
mark
1
1
from
1
0
s
1
0
2nd
1
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
20586
active
1
1
cons1
X1
mark
X2
cons1
X1
X2
cons1
X1
active
X2
cons1
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons1
X1
active
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
true
cons
2
0
s
1
1
31598
cons1
2
2
0
2nd
1
37045
cons1
2
1
1
mark
1
1
from
1
0
s
1
0
2nd
1
0
mark
1
1
29405
from
1
0
active
1
1
29406
cons
2
2
active
1
1
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
active
from
X
cons
X
from
s
X
false
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
2
0
s
1
1
31598
cons1
2
0
2nd
1
1
cons1
2
1
1
mark
1
1
from
1
0
s
1
0
2nd
1
0
mark
1
1
29405
from
1
0
active
1
1
42911
cons
2
13507
active
1
1
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
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
1
cons1
2
0
2nd
1
9508
cons1
2
1
1
mark
1
1
from
1
0
s
1
0
2nd
1
0
mark
1
1
29405
from
1
1
0
active
1
1
48670
cons
2
19266
active
1
1
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
active
from
X
s
X
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
cons
2
0
s
1
1
1
cons1
2
0
2nd
1
30371
cons1
2
1
1
mark
1
1
from
1
0
s
1
1
0
2nd
1
0
mark
1
1
29405
from
1
0
active
1
1
29406
cons
2
2
active
1
1
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
mark
2nd
X
2nd
mark
X
false
2nd
mark
X
2nd
X
2nd
active
X
2nd
X
true
cons
2
0
s
1
1
1
cons1
2
0
2nd
1
1
cons1
2
1
21387
mark
1
1
from
1
0
s
1
0
2nd
1
1
0
mark
1
1
29405
from
1
0
active
1
1
29406
cons
2
2
active
1
1
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
NaTT
certifiable-1.6