active
2nd
cons
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
mark
2nd
X
active
2nd
mark
X
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
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
from
X
cons
X
from
s
X
mark
s
X
s
mark
X
2nd
mark
X
2nd
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
2nd
active
X
2nd
X
from
active
X
from
X
cons
X1
mark
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
2nd
X
2nd
mark
X
mark
s
X
mark
X
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
cons
X1
X2
mark
X1
mark
from
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
2nd
X
mark
X
mark
from
X
from
mark
X
active
from
X
from
s
X
active
from
X
mark
cons
X
from
s
X
from
mark
X
from
X
mark
from
X
active
from
mark
X
active
from
X
s
X
s
active
X
s
X
true
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
mark
2nd
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
from
X
mark
X
mark
cons
X1
X2
mark
X1
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
s
X
active
s
mark
X
mark
s
X
mark
X
true
cons
2
0
s
1
8366
2nd
1
8857
mark
1
8857
from
1
8857
s
1
0
2nd
1
0
mark
1
8857
from
1
0
active
1
1
0
cons
2
8856
active
1
1
0
mark
s
X
mark
X
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
cons
X1
X2
mark
X1
mark
from
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
2nd
X
mark
X
active
from
X
mark
cons
X
from
s
X
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
mark
X
s
X
2nd
active
X
2nd
X
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
2nd
X
active
2nd
mark
X
s
active
X
s
X
mark
from
X
active
from
mark
X
cons
X1
mark
X2
cons
X1
X2
2nd
mark
X
2nd
X
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
mark
s
X
active
s
mark
X
active
from
X
mark
cons
X
from
s
X
mark
cons
X1
X2
mark
X1
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
2nd
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
from
X
mark
X
mark
from
X
active
from
mark
X
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
true
cons
2
0
s
1
1
0
2nd
1
1
8366
mark
1
1
0
from
1
1
11799
s
1
0
2nd
1
0
mark
1
1
0
from
1
0
active
1
1
0
cons
2
1
11798
2
0
0
active
1
1
0
active
from
X
mark
cons
X
from
s
X
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
2nd
X
active
2nd
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
mark
X
s
X
2nd
active
X
2nd
X
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
2nd
X
active
2nd
mark
X
s
active
X
s
X
mark
from
X
active
from
mark
X
cons
X1
mark
X2
cons
X1
X2
2nd
mark
X
2nd
X
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
mark
s
X
active
s
mark
X
active
from
X
mark
cons
X
from
s
X
mark
2nd
X
active
2nd
mark
X
mark
from
X
active
from
mark
X
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
true
cons
2
0
s
1
52870
2nd
1
52868
mark
1
52870
from
1
52870
s
1
0
2nd
1
0
mark
1
52870
from
1
0
active
1
1
1
cons
2
0
active
1
1
0
active
from
X
mark
cons
X
from
s
X
mark
s
X
mark
X
mark
from
X
active
from
mark
X
s
mark
X
s
X
2nd
active
X
2nd
X
s
active
X
s
X
cons
X1
mark
X2
cons
X1
X2
2nd
mark
X
2nd
X
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
from
mark
X
from
X
mark
from
X
active
from
mark
X
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
true
cons
2
0
s
1
1
52870
2nd
1
52868
mark
1
1
0
from
1
42006
s
1
0
2nd
1
0
mark
1
1
from
1
0
active
1
1
cons
2
42004
active
1
42005
mark
cons
X1
X2
active
cons
mark
X1
X2
active
2nd
cons
X
cons
Y
Z
mark
Y
mark
2nd
X
active
2nd
mark
X
mark
from
X
active
from
mark
X
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
mark
s
X
active
s
mark
X
active
from
X
mark
cons
X
from
s
X
mark
s
X
s
mark
X
false
mark
from
X
from
mark
X
false
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
2nd
1
0
mark
1
1
0
from
1
0
s
1
0
2nd
1
0
mark
1
1
12618
from
1
1
0
active
1
1
12619
cons
2
0
active
1
42005
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
active
from
X
s
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
2nd
1
0
mark
1
1
0
from
1
0
s
1
1
0
2nd
1
0
mark
1
1
868
from
1
0
active
1
1
869
cons
2
0
active
1
42005
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
mark
cons
X1
X2
cons
mark
X1
X2
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
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
1
2nd
1
0
mark
1
1
0
from
1
0
s
1
0
2nd
1
0
mark
1
1
868
from
1
0
active
1
1
869
cons
2
0
active
1
42005
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
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
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
1
2nd
1
0
mark
1
1
0
from
1
0
s
1
0
2nd
1
0
mark
1
1
868
from
1
0
active
1
1
869
cons
2
0
active
1
42005
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
mark
2nd
X
2nd
mark
X
false
2nd
active
X
2nd
X
2nd
mark
X
2nd
X
true
cons
2
0
s
1
1
1
2nd
1
0
mark
1
1
0
from
1
0
s
1
0
2nd
1
1
0
mark
1
1
868
from
1
0
active
1
1
869
cons
2
0
active
1
42005
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
NaTT
certifiable-1.6