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
active
dbl
X
dbl
active
X
active
dbls
X
dbls
active
X
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
active
indx
X1
X2
indx
active
X1
X2
dbl
mark
X
mark
dbl
X
dbls
mark
X
mark
dbls
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
indx
mark
X1
X2
mark
indx
X1
X2
proper
dbl
X
dbl
proper
X
proper
0
ok
0
proper
s
X
s
proper
X
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
indx
X1
X2
indx
proper
X1
proper
X2
proper
from
X
from
proper
X
dbl
ok
X
ok
dbl
X
s
ok
X
ok
s
X
dbls
ok
X
ok
dbls
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
from
ok
X
ok
from
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
dbl
s
X
s
dbl
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
dbl
X
dbl
active
X
proper
s
X
proper
X
top
mark
X
top
proper
X
indx
mark
X1
X2
indx
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
proper
indx
X1
X2
indx
proper
X1
proper
X2
top
mark
X
proper
X
active
dbls
cons
X
Y
cons
dbl
X
dbls
Y
dbls
mark
X
dbls
X
proper
indx
X1
X2
proper
X1
top
ok
X
top
active
X
active
dbls
cons
X
Y
dbls
Y
sel
mark
X1
X2
sel
X1
X2
active
indx
cons
X
Y
Z
indx
Y
Z
active
from
X
s
X
active
sel
X1
X2
sel
X1
active
X2
active
from
X
cons
X
from
s
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
s
ok
X
s
X
proper
sel
X1
X2
proper
X2
active
from
X
from
s
X
sel
ok
X1
ok
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
active
dbls
X
dbls
active
X
active
dbl
X
active
X
dbl
mark
X
dbl
X
active
indx
cons
X
Y
Z
cons
sel
X
Z
indx
Y
Z
proper
cons
X1
X2
proper
X1
dbls
ok
X
dbls
X
top
ok
X
active
X
proper
indx
X1
X2
proper
X2
active
sel
X1
X2
active
X2
proper
from
X
proper
X
from
ok
X
from
X
proper
sel
X1
X2
proper
X1
proper
dbl
X
proper
X
active
indx
X1
X2
active
X1
proper
s
X
s
proper
X
proper
dbl
X
dbl
proper
X
proper
dbls
X
proper
X
proper
from
X
from
proper
X
active
sel
X1
X2
active
X1
proper
cons
X1
X2
proper
X2
indx
ok
X1
ok
X2
indx
X1
X2
active
indx
X1
X2
indx
active
X1
X2
proper
dbls
X
dbls
proper
X
active
dbl
s
X
dbl
X
active
dbl
s
X
s
s
dbl
X
active
dbls
cons
X
Y
dbl
X
active
sel
s
X
cons
Y
Z
sel
X
Z
active
dbls
X
active
X
dbl
ok
X
dbl
X
active
indx
cons
X
Y
Z
sel
X
Z
active
sel
X1
X2
sel
active
X1
X2
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
cons
2
1
proper
1
1
ok
1
1
sel
2
2
from
1
1
active
1
1
active
1
1
s
1
0
1
dbls
1
2
1
dbl
1
3
1
top
1
0
indx
2
6
1
dbl
1
0
dbls
1
0
top
1
0
1
0
0
6
indx
2
0
1
2
sel
2
3
1
2
from
1
4
1
s
1
0
nil
0
3
mark
1
1
1
proper
1
0
cons
2
0
s
1
1
0
dbls
1
1
31113
dbl
1
1
31112
top
1
1
indx
2
1
2
62230
dbl
1
1
dbls
1
1
top
1
1
1
0
0
1
indx
2
1
2
1
sel
2
1
2
31115
from
1
1
51699
s
1
1
nil
0
19791
mark
1
1
0
proper
1
1
cons
2
1
31114
2
0
0
top
ok
X
top
active
X
sel
X1
mark
X2
mark
sel
X1
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
dbl
mark
X
mark
dbl
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
proper
sel
X1
X2
sel
proper
X1
proper
X2
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
proper
indx
X1
X2
indx
proper
X1
proper
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
proper
s
X
s
proper
X
proper
from
X
from
proper
X
active
sel
0
cons
X
Y
mark
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
dbl
X
dbl
active
X
active
indx
nil
X
mark
nil
proper
dbl
X
dbl
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
s
ok
X
ok
s
X
active
indx
X1
X2
indx
active
X1
X2
dbls
ok
X
ok
dbls
X
active
sel
X1
X2
sel
active
X1
X2
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
active
dbls
X
dbls
active
X
active
from
X
mark
cons
X
from
s
X
active
sel
X1
X2
sel
X1
active
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
active
dbl
s
X
mark
s
s
dbl
X
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
1
0
dbl
1
0
dbls
1
0
top
1
1
0
proper
1
16337
ok
1
1
2
0
0
16335
sel
2
0
indx
2
0
sel
2
1
0
from
1
1
0
s
1
0
nil
0
5969
mark
1
0
proper
1
0
from
1
0
active
1
1
1
cons
2
2
0
active
1
0
sel
X1
mark
X2
mark
sel
X1
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
dbl
mark
X
mark
dbl
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
proper
sel
X1
X2
sel
proper
X1
proper
X2
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
proper
indx
X1
X2
indx
proper
X1
proper
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
proper
s
X
s
proper
X
proper
from
X
from
proper
X
active
sel
0
cons
X
Y
mark
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
dbl
X
dbl
active
X
active
indx
nil
X
mark
nil
proper
dbl
X
dbl
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
s
ok
X
ok
s
X
active
indx
X1
X2
indx
active
X1
X2
dbls
ok
X
ok
dbls
X
active
sel
X1
X2
sel
active
X1
X2
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
active
dbls
X
dbls
active
X
active
from
X
mark
cons
X
from
s
X
active
sel
X1
X2
sel
X1
active
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
active
dbl
s
X
mark
s
s
dbl
X
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
dbl
X
active
X
active
dbls
X
active
X
active
sel
X1
X2
active
X1
active
indx
X1
X2
active
X1
active
sel
X1
X2
active
X2
true
cons
2
0
s
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
1
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
22857
s
1
0
nil
0
425
mark
1
1
0
proper
1
0
from
1
0
active
1
16335
cons
2
1
1
active
1
1
0
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
active
dbl
s
X
s
s
dbl
X
false
active
dbl
s
X
dbl
X
false
active
sel
s
X
cons
Y
Z
sel
X
Z
false
active
sel
X1
X2
sel
X1
active
X2
false
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
active
dbls
X
dbls
active
X
false
active
sel
X1
X2
sel
active
X1
X2
false
active
indx
X1
X2
indx
active
X1
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
active
indx
cons
X
Y
Z
indx
Y
Z
false
active
dbls
cons
X
Y
cons
dbl
X
dbls
Y
false
active
dbls
cons
X
Y
dbl
X
false
active
dbls
cons
X
Y
dbls
Y
false
proper
cons
X1
X2
proper
X1
proper
sel
X1
X2
proper
X2
proper
cons
X1
X2
proper
X2
proper
dbls
X
proper
X
proper
indx
X1
X2
proper
X1
proper
dbl
X
proper
X
proper
sel
X1
X2
proper
X1
proper
from
X
proper
X
proper
indx
X1
X2
proper
X2
proper
s
X
proper
X
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
2
1
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
8822
ok
1
1
1911
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
1
s
1
0
nil
0
1
mark
1
1
0
proper
1
1
0
from
1
0
active
1
16335
cons
2
1
2
1
active
1
0
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
proper
dbls
X
dbls
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
2056
dbls
1
1
1
dbl
1
1
7556
top
1
0
indx
2
1
2
1
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
1
s
1
0
nil
0
1
mark
1
1
0
proper
1
0
from
1
0
active
1
16335
cons
2
1
2
1
active
1
0
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
proper
dbl
X
dbl
proper
X
false
proper
from
X
from
proper
X
false
from
ok
X
from
X
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
2
2561
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
10620
s
1
0
nil
0
1
mark
1
1
0
proper
1
0
from
1
1
0
active
1
16335
cons
2
1
2
1
active
1
0
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
proper
s
X
s
proper
X
false
proper
indx
X1
X2
indx
proper
X1
proper
X2
false
indx
ok
X1
ok
X2
indx
X1
X2
indx
mark
X1
X2
indx
X1
X2
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
2
1
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
indx
2
1
0
sel
2
1
2
1
from
1
1
1
s
1
0
nil
0
3
mark
1
1
0
proper
1
0
from
1
0
active
1
3
cons
2
1
2
1
active
1
0
indx
mark
X1
X2
indx
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
indx
mark
X1
X2
indx
X1
X2
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
2
1
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
indx
2
1
0
sel
2
1
2
1
from
1
1
1
s
1
0
nil
0
2
mark
1
1
1
proper
1
0
from
1
0
active
1
4
cons
2
1
2
1
active
1
0
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
active
dbl
X
dbl
active
X
false
dbl
mark
X
dbl
X
dbl
ok
X
dbl
X
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
2
1
dbl
1
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
1
s
1
0
nil
0
2
mark
1
1
1
proper
1
0
from
1
0
active
1
4
cons
2
1
2
1
active
1
0
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
false
sel
X1
mark
X2
sel
X1
X2
sel
ok
X1
ok
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
2
1
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
1
0
indx
2
0
sel
2
1
2
1
from
1
1
1
s
1
0
nil
0
1
mark
1
1
1
proper
1
0
from
1
0
active
1
4
cons
2
1
2
1
active
1
0
sel
X1
mark
X2
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
dbl
mark
X
mark
dbl
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
dbls
mark
X
mark
dbls
X
proper
0
ok
0
indx
mark
X1
X2
mark
indx
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
indx
nil
X
mark
nil
dbls
ok
X
ok
dbls
X
proper
nil
ok
nil
from
ok
X
ok
from
X
dbl
ok
X
ok
dbl
X
sel
X1
mark
X2
sel
X1
X2
true
cons
2
0
s
1
20056
dbls
1
26956
dbl
1
59710
top
1
0
indx
2
33991
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
ok
1
1
0
0
0
1
sel
2
2
0
indx
2
0
sel
2
2
1
from
1
1
1
s
1
0
nil
0
1
mark
1
1
1
proper
1
0
from
1
0
active
1
26955
cons
2
26954
active
1
0
active
dbl
0
mark
0
active
dbls
nil
mark
nil
proper
0
ok
0
active
indx
nil
X
mark
nil
proper
nil
ok
nil
from
ok
X
ok
from
X
active
dbl
s
X
s
dbl
X
false
s
ok
X
s
X
true
cons
2
0
s
1
20057
dbls
1
24197
dbl
1
24197
top
1
0
indx
2
24197
dbl
1
0
dbls
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
26480
sel
2
0
indx
2
0
sel
2
24196
from
1
1
2089
s
1
1
0
nil
0
1
mark
1
24196
proper
1
0
from
1
0
active
1
24196
cons
2
2
31797
active
1
0
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
indx
nil
X
mark
nil
proper
nil
ok
nil
from
ok
X
ok
from
X
dbls
mark
X
dbls
X
dbls
ok
X
dbls
X
true
cons
2
0
s
1
22613
dbls
1
55753
dbl
1
55753
top
1
0
indx
2
1
1
dbl
1
0
dbls
1
1
0
top
1
0
proper
1
22612
ok
1
1
1
0
0
22612
sel
2
0
indx
2
0
sel
2
22613
from
1
1
25337
s
1
0
nil
0
22611
mark
1
1
0
proper
1
0
from
1
0
active
1
55752
cons
2
2
7802
active
1
0
dbls
mark
X
dbls
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
indx
nil
X
mark
nil
proper
nil
ok
nil
from
ok
X
ok
from
X
dbls
mark
X
dbls
X
true
cons
2
0
s
1
1
1
dbls
1
41144
dbl
1
1
1
top
1
0
indx
2
1
12340
dbl
1
0
dbls
1
1
0
top
1
0
proper
1
39292
ok
1
1
25150
0
0
14143
sel
2
0
indx
2
0
sel
2
1
2
16688
from
1
1
1
s
1
0
nil
0
8590
mark
1
1
12114
proper
1
0
from
1
0
active
1
41143
cons
2
1
2
1
active
1
0
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
indx
nil
X
mark
nil
proper
nil
ok
nil
from
ok
X
ok
from
X
NaTT
certifiable-1.6