active
dbl
0
mark
0
active
dbl
s
X
mark
s
s
dbl
X
active
dbls
nil
mark
nil
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
sel
0
cons
X
Y
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
indx
nil
X
mark
nil
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
from
X
mark
cons
X
from
s
X
mark
dbl
X
active
dbl
mark
X
mark
0
active
0
mark
s
X
active
s
X
mark
dbls
X
active
dbls
mark
X
mark
nil
active
nil
mark
cons
X1
X2
active
cons
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
from
X
active
from
X
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
s
mark
X
s
X
s
active
X
s
X
dbls
mark
X
dbls
X
dbls
active
X
dbls
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
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
indx
mark
X1
X2
indx
X1
X2
indx
X1
mark
X2
indx
X1
X2
indx
active
X1
X2
indx
X1
X2
indx
X1
active
X2
indx
X1
X2
from
mark
X
from
X
from
active
X
from
X
2.2
active
dbl
s
X
s
s
dbl
X
indx
X1
active
X2
indx
X1
X2
mark
dbl
X
dbl
mark
X
indx
X1
mark
X2
indx
X1
X2
mark
sel
X1
X2
sel
mark
X1
mark
X2
cons
X1
mark
X2
cons
X1
X2
dbl
mark
X
dbl
X
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
sel
X1
X2
mark
X1
active
indx
cons
X
Y
Z
sel
X
Z
mark
sel
X1
X2
mark
X2
active
dbls
cons
X
Y
dbl
X
mark
indx
X1
X2
indx
mark
X1
X2
indx
active
X1
X2
indx
X1
X2
active
dbls
cons
X
Y
dbls
Y
mark
cons
X1
X2
active
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
mark
dbls
X
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
dbls
X
active
dbls
mark
X
active
dbls
cons
X
Y
cons
dbl
X
dbls
Y
sel
X1
mark
X2
sel
X1
X2
mark
nil
active
nil
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
dbls
X
dbls
mark
X
indx
mark
X1
X2
indx
X1
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
from
X
mark
cons
X
from
s
X
mark
dbl
X
mark
X
active
indx
cons
X
Y
Z
cons
sel
X
Z
indx
Y
Z
active
dbls
nil
mark
nil
cons
mark
X1
X2
cons
X1
X2
dbls
mark
X
dbls
X
from
mark
X
from
X
mark
indx
X1
X2
mark
X1
active
sel
s
X
cons
Y
Z
sel
X
Z
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
s
mark
X
s
X
mark
dbl
X
active
dbl
mark
X
sel
active
X1
X2
sel
X1
X2
s
active
X
s
X
active
indx
nil
X
mark
nil
mark
from
X
active
from
X
active
from
X
s
X
active
sel
0
cons
X
Y
mark
X
dbls
active
X
dbls
X
dbl
active
X
dbl
X
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
X
active
from
X
from
s
X
active
dbl
s
X
s
dbl
X
active
dbl
s
X
mark
s
s
dbl
X
active
indx
cons
X
Y
Z
indx
Y
Z
from
active
X
from
X
active
from
X
cons
X
from
s
X
active
dbl
s
X
dbl
X
active
dbl
0
mark
0
mark
0
active
0
true
mark
dbl
X
mark
X
active
from
X
mark
cons
X
from
s
X
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
dbl
s
X
mark
s
s
dbl
X
mark
s
X
active
s
X
mark
dbls
X
active
dbls
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
dbls
X
mark
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
sel
0
cons
X
Y
mark
X
mark
cons
X1
X2
active
cons
X1
X2
mark
from
X
active
from
X
mark
sel
X1
X2
mark
X2
mark
dbl
X
active
dbl
mark
X
mark
sel
X1
X2
mark
X1
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
indx
X1
X2
mark
X1
true
cons
2
0
s
1
45687
dbls
1
45688
dbl
1
45688
indx
2
45688
dbl
1
0
dbls
1
0
mark
1
45688
0
0
45690
sel
2
0
indx
2
0
sel
2
45688
from
1
45688
s
1
0
nil
0
45690
mark
1
1
1
from
1
0
active
1
45690
cons
2
19781
active
1
1
0
mark
indx
X1
X2
mark
X1
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
sel
X1
X2
mark
X1
mark
dbl
X
active
dbl
mark
X
mark
sel
X1
X2
mark
X2
mark
from
X
active
from
X
active
sel
0
cons
X
Y
mark
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
mark
dbls
X
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
dbls
X
active
dbls
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
from
X
mark
cons
X
from
s
X
mark
dbl
X
mark
X
s
mark
X
s
X
indx
X1
active
X2
indx
X1
X2
cons
X1
mark
X2
cons
X1
X2
dbl
mark
X
dbl
X
sel
X1
active
X2
sel
X1
X2
cons
active
X1
X2
cons
X1
X2
indx
X1
mark
X2
indx
X1
X2
s
active
X
s
X
cons
X1
active
X2
cons
X1
X2
indx
mark
X1
X2
indx
X1
X2
dbl
active
X
dbl
X
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
dbls
mark
X
dbls
X
dbls
active
X
dbls
X
from
active
X
from
X
from
mark
X
from
X
indx
active
X1
X2
indx
X1
X2
sel
mark
X1
X2
sel
X1
X2
mark
from
X
active
from
X
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
indx
X1
X2
mark
X1
mark
indx
X1
X2
active
indx
mark
X1
X2
active
sel
0
cons
X
Y
mark
X
mark
dbl
X
mark
X
mark
dbl
X
active
dbl
mark
X
active
from
X
mark
cons
X
from
s
X
mark
dbls
X
mark
X
mark
dbls
X
active
dbls
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
dbl
s
X
mark
s
s
dbl
X
true
cons
2
0
s
1
1
0
dbls
1
1
52871
dbl
1
1
31892
indx
2
1
50260
2
50261
0
dbl
1
0
dbls
1
0
mark
1
1
0
0
0
1
sel
2
0
indx
2
0
sel
2
1
50260
2
29283
0
from
1
1
35659
s
1
0
nil
0
50262
mark
1
1
0
from
1
0
active
1
1
0
cons
2
1
20978
2
0
0
active
1
1
0
active
dbl
s
X
mark
s
s
dbl
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
dbls
X
active
dbls
mark
X
active
from
X
mark
cons
X
from
s
X
mark
dbl
X
active
dbl
mark
X
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
mark
from
X
active
from
X
mark
from
X
active
from
X
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
mark
cons
X1
X2
active
cons
X1
X2
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
dbl
0
mark
0
active
dbls
nil
mark
nil
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
s
mark
X
s
X
indx
X1
active
X2
indx
X1
X2
cons
X1
mark
X2
cons
X1
X2
dbl
mark
X
dbl
X
sel
X1
active
X2
sel
X1
X2
mark
indx
X1
X2
active
indx
mark
X1
X2
cons
active
X1
X2
cons
X1
X2
indx
X1
mark
X2
indx
X1
X2
s
active
X
s
X
cons
X1
active
X2
cons
X1
X2
active
sel
0
cons
X
Y
mark
X
indx
mark
X1
X2
indx
X1
X2
mark
dbl
X
active
dbl
mark
X
active
indx
nil
X
mark
nil
dbl
active
X
dbl
X
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
mark
nil
active
nil
sel
active
X1
X2
sel
X1
X2
mark
s
X
active
s
X
dbls
mark
X
dbls
X
dbls
active
X
dbls
X
mark
0
active
0
active
from
X
mark
cons
X
from
s
X
mark
dbls
X
active
dbls
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
from
active
X
from
X
from
mark
X
from
X
indx
active
X1
X2
indx
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
dbl
s
X
mark
s
s
dbl
X
mark
from
X
active
from
X
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
dbl
X
active
dbl
mark
X
active
from
X
mark
cons
X
from
s
X
mark
dbls
X
active
dbls
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
dbl
s
X
mark
s
s
dbl
X
true
cons
2
0
s
1
8843
dbls
1
1
15107
dbl
1
15107
indx
2
15107
dbl
1
0
dbls
1
0
mark
1
1
0
0
0
1
sel
2
0
indx
2
0
sel
2
15106
from
1
15107
s
1
0
nil
0
1
mark
1
21653
from
1
0
active
1
21652
cons
2
14003
active
1
15106
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
s
mark
X
s
X
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
from
active
X
from
X
from
mark
X
from
X
sel
mark
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
true
mark
1
1
s
1
1
mark
1
1
active
1
1
active
1
1
cons
2
0
s
1
1
1
dbls
1
2
1
dbl
1
2
1
indx
2
4
dbl
1
0
dbls
1
0
0
0
3
sel
2
0
2
1
indx
2
0
sel
2
0
1
from
1
2
nil
0
3
from
1
0
cons
2
2
cons
2
1
1
0
s
1
1
0
dbls
1
1
16910
dbl
1
1
0
indx
2
1
2
16911
dbl
1
1
dbls
1
1
0
0
21238
sel
2
1
2
1
indx
2
1
sel
2
1
2
1
from
1
1
17750
nil
0
42199
from
1
1
cons
2
1
16909
2
0
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
from
X
active
from
X
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
mark
cons
X1
X2
active
cons
X1
X2
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
dbl
0
mark
0
active
dbls
nil
mark
nil
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
s
mark
X
s
X
indx
X1
active
X2
indx
X1
X2
cons
X1
mark
X2
cons
X1
X2
dbl
mark
X
dbl
X
sel
X1
active
X2
sel
X1
X2
mark
indx
X1
X2
active
indx
mark
X1
X2
cons
active
X1
X2
cons
X1
X2
indx
X1
mark
X2
indx
X1
X2
s
active
X
s
X
cons
X1
active
X2
cons
X1
X2
active
sel
0
cons
X
Y
mark
X
indx
mark
X1
X2
indx
X1
X2
mark
dbl
X
active
dbl
mark
X
active
indx
nil
X
mark
nil
dbl
active
X
dbl
X
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
mark
nil
active
nil
sel
active
X1
X2
sel
X1
X2
mark
s
X
active
s
X
dbls
mark
X
dbls
X
dbls
active
X
dbls
X
mark
0
active
0
active
from
X
mark
cons
X
from
s
X
mark
dbls
X
active
dbls
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
from
active
X
from
X
from
mark
X
from
X
indx
active
X1
X2
indx
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
dbl
s
X
mark
s
s
dbl
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
false
mark
dbls
X
dbls
mark
X
false
active
dbl
s
X
s
dbl
X
false
active
dbl
s
X
dbl
X
false
active
sel
s
X
cons
Y
Z
sel
X
Z
false
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
active
indx
nil
X
mark
nil
false
mark
indx
X1
X2
indx
mark
X1
X2
false
active
dbls
nil
mark
nil
false
mark
nil
active
nil
false
active
dbl
0
mark
0
false
mark
0
active
0
false
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
active
indx
cons
X
Y
Z
cons
sel
X
Z
indx
Y
Z
false
active
indx
cons
X
Y
Z
sel
X
Z
false
sel
X1
mark
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
1
1
dbls
1
1
46172
dbl
1
2
indx
2
2
47960
dbl
1
0
dbls
1
0
mark
1
15106
0
0
4
sel
2
1
2
0
indx
2
0
sel
2
1
2
2920
from
1
1
1
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
12701
active
1
15106
active
indx
cons
X
Y
Z
indx
Y
Z
false
active
dbls
cons
X
Y
cons
dbl
X
dbls
Y
false
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
1
dbls
1
1
25967
dbl
1
2
indx
2
2
43619
dbl
1
0
dbls
1
0
mark
1
15106
0
0
4
sel
2
0
indx
2
0
sel
2
1
2
40940
from
1
59112
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
32136
active
1
15106
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
1
dbls
1
1
12678
dbl
1
2
indx
2
2
24121
dbl
1
0
dbls
1
0
mark
1
15106
0
0
4
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
29635
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
2
active
1
15106
active
dbls
cons
X
Y
dbl
X
false
active
dbls
cons
X
Y
dbls
Y
false
from
active
X
from
X
from
mark
X
from
X
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
2
indx
2
2
4930
dbl
1
0
dbls
1
0
mark
1
15106
0
0
4
sel
2
0
indx
2
0
sel
2
1
2
44797
from
1
41087
s
1
0
nil
0
0
mark
1
1
1
from
1
1
0
active
1
1
2
cons
2
1
2
8823
active
1
15106
mark
dbl
X
dbl
mark
X
false
dbl
active
X
dbl
X
dbl
mark
X
dbl
X
true
cons
2
0
s
1
1
1
dbls
1
1
43050
dbl
1
2
indx
2
2
39572
dbl
1
1
0
dbls
1
0
mark
1
15106
0
0
10
sel
2
0
indx
2
0
sel
2
1
2
18009
from
1
1
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
26206
active
1
15106
indx
mark
X1
X2
indx
X1
X2
indx
active
X1
X2
indx
X1
X2
indx
X1
mark
X2
indx
X1
X2
indx
X1
active
X2
indx
X1
X2
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
2
indx
2
2
1
dbl
1
0
dbls
1
0
mark
1
15106
0
0
4
sel
2
0
indx
2
1
0
sel
2
1
2
1
from
1
1
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
2
active
1
15106
indx
X1
active
X2
indx
X1
X2
indx
X1
mark
X2
indx
X1
X2
indx
X1
active
X2
indx
X1
X2
indx
X1
mark
X2
indx
X1
X2
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1735
indx
2
2
50609
dbl
1
0
dbls
1
0
mark
1
15106
0
0
1737
sel
2
0
indx
2
2
0
sel
2
1
2
1
from
1
25306
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
2
active
1
15106
active
dbl
s
X
s
s
dbl
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
dbls
1
1
18255
dbl
1
2
indx
2
2
79523
dbl
1
0
dbls
1
0
mark
1
15106
0
0
4
sel
2
0
indx
2
0
sel
2
1
2
44760
from
1
1
s
1
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
2
active
1
15106
dbls
active
X
dbls
X
dbls
mark
X
dbls
X
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
2
indx
2
2
37978
dbl
1
0
dbls
1
1
0
mark
1
15106
0
0
4
sel
2
0
indx
2
0
sel
2
1
2
41755
from
1
50110
s
1
0
nil
0
0
mark
1
1
1
from
1
0
active
1
1
2
cons
2
1
2
8484
active
1
15106
NaTT
certifiable-1.6