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
dbl1
0
mark
01
active
dbl1
s
X
mark
s1
s1
dbl1
X
active
sel1
0
cons
X
Y
mark
X
active
sel1
s
X
cons
Y
Z
mark
sel1
X
Z
active
quote
0
mark
01
active
quote
s
X
mark
s1
quote
X
active
quote
dbl
X
mark
dbl1
X
active
quote
sel
X
Y
mark
sel1
X
Y
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
active
dbl1
X
dbl1
active
X
active
s1
X
s1
active
X
active
sel1
X1
X2
sel1
active
X1
X2
active
sel1
X1
X2
sel1
X1
active
X2
active
quote
X
quote
active
X
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
dbl1
mark
X
mark
dbl1
X
s1
mark
X
mark
s1
X
sel1
mark
X1
X2
mark
sel1
X1
X2
sel1
X1
mark
X2
mark
sel1
X1
X2
quote
mark
X
mark
quote
X
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
proper
dbl1
X
dbl1
proper
X
proper
01
ok
01
proper
s1
X
s1
proper
X
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
proper
quote
X
quote
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
dbl1
ok
X
ok
dbl1
X
s1
ok
X
ok
s1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
quote
ok
X
ok
quote
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
dbl
s
X
s
dbl
X
active
dbls
cons
X
Y
dbl
X
sel
X1
mark
X2
sel
X1
X2
active
from
X
cons
X
from
s
X
indx
ok
X1
ok
X2
indx
X1
X2
active
quote
s
X
s1
quote
X
s1
ok
X
s1
X
sel
mark
X1
X2
sel
X1
X2
proper
indx
X1
X2
proper
X2
proper
indx
X1
X2
proper
X1
active
s1
X
active
X
active
dbl
X
dbl
active
X
active
sel1
X1
X2
sel1
X1
active
X2
dbl
ok
X
dbl
X
active
sel
X1
X2
active
X1
top
mark
X
top
proper
X
proper
s1
X
s1
proper
X
sel1
X1
mark
X2
sel1
X1
X2
active
sel1
X1
X2
active
X2
proper
sel
X1
X2
proper
X1
active
indx
X1
X2
indx
active
X1
X2
active
dbl1
X
dbl1
active
X
proper
cons
X1
X2
proper
X2
proper
sel
X1
X2
proper
X2
top
ok
X
active
X
active
quote
sel
X
Y
sel1
X
Y
proper
indx
X1
X2
indx
proper
X1
proper
X2
proper
sel1
X1
X2
proper
X2
active
sel1
X1
X2
active
X1
quote
mark
X
quote
X
proper
from
X
from
proper
X
proper
dbls
X
dbls
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
sel
X1
X2
sel
X1
active
X2
proper
s
X
s
proper
X
active
dbls
X
active
X
cons
ok
X1
ok
X2
cons
X1
X2
active
indx
cons
X
Y
Z
sel
X
Z
active
quote
dbl
X
dbl1
X
quote
ok
X
quote
X
active
dbls
X
dbls
active
X
proper
dbls
X
proper
X
active
from
X
s
X
dbls
ok
X
dbls
X
dbl1
mark
X
dbl1
X
proper
sel1
X1
X2
proper
X1
active
indx
cons
X
Y
Z
indx
Y
Z
proper
dbl1
X
dbl1
proper
X
active
indx
X1
X2
active
X1
active
from
X
from
s
X
active
sel
X1
X2
sel
active
X1
X2
proper
s1
X
proper
X
proper
s
X
proper
X
proper
dbl
X
proper
X
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
dbls
mark
X
dbls
X
active
dbl1
X
active
X
proper
from
X
proper
X
active
dbl
X
active
X
active
quote
X
quote
active
X
active
dbl1
s
X
s1
dbl1
X
top
mark
X
proper
X
proper
cons
X1
X2
proper
X1
sel
ok
X1
ok
X2
sel
X1
X2
active
quote
X
active
X
active
sel1
s
X
cons
Y
Z
sel1
X
Z
dbl1
ok
X
dbl1
X
active
dbl1
s
X
dbl1
X
active
quote
s
X
quote
X
active
dbls
cons
X
Y
dbls
Y
proper
quote
X
proper
X
dbl
mark
X
dbl
X
from
ok
X
from
X
active
dbl1
s
X
s1
s1
dbl1
X
proper
dbl
X
dbl
proper
X
s1
mark
X
s1
X
proper
quote
X
quote
proper
X
active
dbls
cons
X
Y
cons
dbl
X
dbls
Y
indx
mark
X1
X2
indx
X1
X2
active
s1
X
s1
active
X
active
sel
s
X
cons
Y
Z
sel
X
Z
s
ok
X
s
X
active
dbl
s
X
dbl
X
active
sel
X1
X2
active
X2
active
dbl
s
X
s
s
dbl
X
top
ok
X
top
active
X
sel1
mark
X1
X2
sel1
X1
X2
proper
dbl1
X
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
indx
cons
X
Y
Z
cons
sel
X
Z
indx
Y
Z
active
sel1
X1
X2
sel1
active
X1
X2
sel1
ok
X1
ok
X2
sel1
X1
X2
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
top
1
1
dbls
1
1
proper
1
1
ok
1
1
sel
2
1
sel1
2
1
active
1
1
dbl1
1
0
01
0
5
cons
2
0
2
1
s
1
1
1
dbls
1
8
1
dbl
1
8
1
indx
2
7
1
dbl
1
0
top
1
0
1
0
0
3
indx
2
0
sel
2
5
1
2
from
1
8
1
s
1
0
nil
0
7
dbl1
1
4
1
mark
1
2
1
proper
1
0
from
1
0
quote
1
6
1
cons
2
7
active
1
0
quote
1
0
s1
1
0
sel1
2
6
1
2
s1
1
3
1
dbl1
1
1
01
0
1
cons
2
1
1
2
1
0
s
1
1
0
dbls
1
1
2
dbl
1
1
2
indx
2
1
2
1
dbl
1
1
top
1
1
1
0
0
12214
indx
2
1
1
sel
2
1
2
1
from
1
1
31113
s
1
1
nil
0
1
dbl1
1
1
3
mark
1
1
0
proper
1
1
from
1
1
quote
1
1
2
cons
2
1
1
2
0
0
active
1
1
quote
1
1
s1
1
1
sel1
2
1
2
2
s1
1
1
0
top
ok
X
top
active
X
active
dbl
X
dbl
active
X
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
quote
s
X
mark
s1
quote
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
dbls
ok
X
ok
dbls
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
active
sel
X1
X2
sel
X1
active
X2
sel1
X1
mark
X2
mark
sel1
X1
X2
active
sel1
X1
X2
sel1
X1
active
X2
active
dbls
X
dbls
active
X
indx
mark
X1
X2
mark
indx
X1
X2
active
quote
sel
X
Y
mark
sel1
X
Y
s1
ok
X
ok
s1
X
active
quote
X
quote
active
X
s1
mark
X
mark
s1
X
active
indx
X1
X2
indx
active
X1
X2
dbl
mark
X
mark
dbl
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
sel
0
cons
X
Y
mark
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
active
sel
X1
X2
sel
active
X1
X2
active
sel1
X1
X2
sel1
active
X1
X2
proper
s1
X
s1
proper
X
dbl
ok
X
ok
dbl
X
sel
mark
X1
X2
mark
sel
X1
X2
quote
ok
X
ok
quote
X
active
quote
0
mark
01
sel
ok
X1
ok
X2
ok
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
active
sel1
0
cons
X
Y
mark
X
proper
indx
X1
X2
indx
proper
X1
proper
X2
active
dbl1
X
dbl1
active
X
active
s1
X
s1
active
X
indx
ok
X1
ok
X2
ok
indx
X1
X2
active
dbl1
s
X
mark
s1
s1
dbl1
X
active
from
X
mark
cons
X
from
s
X
active
sel1
s
X
cons
Y
Z
mark
sel1
X
Z
proper
quote
X
quote
proper
X
proper
s
X
s
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
dbl1
ok
X
ok
dbl1
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
proper
dbl
X
dbl
proper
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
from
ok
X
ok
from
X
proper
01
ok
01
s
ok
X
ok
s
X
proper
dbl1
X
dbl1
proper
X
quote
mark
X
mark
quote
X
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
proper
from
X
from
proper
X
sel1
mark
X1
X2
mark
sel1
X1
X2
dbls
mark
X
mark
dbls
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
dbl
s
X
mark
s
s
dbl
X
top
ok
X
top
active
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
1
dbls
1
1
1
dbl
1
1
1
top
1
0
indx
2
1
20347
dbl
1
0
dbls
1
0
top
1
1
0
proper
1
1
2
ok
1
1
2
0
0
38312
sel
2
0
indx
2
0
sel
2
1
1
from
1
1
20298
s
1
0
nil
0
38027
dbl1
1
1
1
sel1
2
0
mark
1
1
proper
1
0
from
1
0
active
1
1
1
quote
1
1
41745
cons
2
1
1
active
1
0
quote
1
0
s1
1
0
sel1
2
2
10392
s1
1
1
47830
active
dbl
X
dbl
active
X
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
quote
s
X
mark
s1
quote
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
dbls
ok
X
ok
dbls
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
active
sel
X1
X2
sel
X1
active
X2
sel1
X1
mark
X2
mark
sel1
X1
X2
active
sel1
X1
X2
sel1
X1
active
X2
active
dbls
X
dbls
active
X
indx
mark
X1
X2
mark
indx
X1
X2
active
quote
sel
X
Y
mark
sel1
X
Y
s1
ok
X
ok
s1
X
active
quote
X
quote
active
X
s1
mark
X
mark
s1
X
active
indx
X1
X2
indx
active
X1
X2
dbl
mark
X
mark
dbl
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
sel
0
cons
X
Y
mark
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
active
sel
X1
X2
sel
active
X1
X2
active
sel1
X1
X2
sel1
active
X1
X2
proper
s1
X
s1
proper
X
dbl
ok
X
ok
dbl
X
sel
mark
X1
X2
mark
sel
X1
X2
quote
ok
X
ok
quote
X
active
quote
0
mark
01
sel
ok
X1
ok
X2
ok
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
active
sel1
0
cons
X
Y
mark
X
proper
indx
X1
X2
indx
proper
X1
proper
X2
active
dbl1
X
dbl1
active
X
active
s1
X
s1
active
X
indx
ok
X1
ok
X2
ok
indx
X1
X2
active
dbl1
s
X
mark
s1
s1
dbl1
X
active
from
X
mark
cons
X
from
s
X
active
sel1
s
X
cons
Y
Z
mark
sel1
X
Z
proper
quote
X
quote
proper
X
proper
s
X
s
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
dbl1
ok
X
ok
dbl1
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
proper
dbl
X
dbl
proper
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
from
ok
X
ok
from
X
proper
01
ok
01
s
ok
X
ok
s
X
proper
dbl1
X
dbl1
proper
X
quote
mark
X
mark
quote
X
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
proper
from
X
from
proper
X
sel1
mark
X1
X2
mark
sel1
X1
X2
dbls
mark
X
mark
dbls
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
dbl
s
X
mark
s
s
dbl
X
top
ok
X
active
X
false
top
mark
X
proper
X
false
active
indx
X1
X2
active
X1
active
sel
X1
X2
active
X2
active
dbls
X
active
X
active
sel1
X1
X2
active
X1
active
sel1
X1
X2
active
X2
active
sel
X1
X2
active
X1
active
quote
X
active
X
active
s1
X
active
X
active
dbl
X
active
X
active
dbl1
X
active
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
1
dbls
1
1
9335
dbl
1
1
1
top
1
0
indx
2
1
30478
dbl
1
0
dbls
1
0
top
1
1
0
proper
1
1
0
ok
1
1
0
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
19182
s
1
0
nil
0
43183
dbl1
1
1
1
sel1
2
0
mark
1
11967
proper
1
0
from
1
0
active
1
1
22498
quote
1
1
1373
cons
2
1
active
1
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
dbl
X
dbl
active
X
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
quote
s
X
mark
s1
quote
X
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
dbls
ok
X
ok
dbls
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
active
sel
X1
X2
sel
X1
active
X2
sel1
X1
mark
X2
mark
sel1
X1
X2
active
sel1
X1
X2
sel1
X1
active
X2
active
dbls
X
dbls
active
X
indx
mark
X1
X2
mark
indx
X1
X2
active
quote
sel
X
Y
mark
sel1
X
Y
s1
ok
X
ok
s1
X
active
quote
X
quote
active
X
s1
mark
X
mark
s1
X
active
indx
X1
X2
indx
active
X1
X2
dbl
mark
X
mark
dbl
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
sel
0
cons
X
Y
mark
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
active
sel
X1
X2
sel
active
X1
X2
active
sel1
X1
X2
sel1
active
X1
X2
proper
s1
X
s1
proper
X
dbl
ok
X
ok
dbl
X
sel
mark
X1
X2
mark
sel
X1
X2
quote
ok
X
ok
quote
X
active
quote
0
mark
01
sel
ok
X1
ok
X2
ok
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
active
sel1
0
cons
X
Y
mark
X
proper
indx
X1
X2
indx
proper
X1
proper
X2
active
dbl1
X
dbl1
active
X
active
s1
X
s1
active
X
indx
ok
X1
ok
X2
ok
indx
X1
X2
active
dbl1
s
X
mark
s1
s1
dbl1
X
active
from
X
mark
cons
X
from
s
X
active
sel1
s
X
cons
Y
Z
mark
sel1
X
Z
proper
quote
X
quote
proper
X
proper
s
X
s
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
dbl1
ok
X
ok
dbl1
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
proper
dbl
X
dbl
proper
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
from
ok
X
ok
from
X
proper
01
ok
01
s
ok
X
ok
s
X
proper
dbl1
X
dbl1
proper
X
quote
mark
X
mark
quote
X
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
proper
from
X
from
proper
X
sel1
mark
X1
X2
mark
sel1
X1
X2
dbls
mark
X
mark
dbls
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
dbl
s
X
mark
s
s
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
sel1
s
X
cons
Y
Z
sel1
X
Z
false
active
from
X
from
s
X
false
active
from
X
s
X
false
active
dbl1
s
X
s1
s1
dbl1
X
false
active
dbl1
s
X
s1
dbl1
X
false
active
dbl1
s
X
dbl1
X
false
active
s1
X
s1
active
X
false
active
dbl1
X
dbl1
active
X
false
active
sel1
X1
X2
sel1
active
X1
X2
false
active
sel
X1
X2
sel
active
X1
X2
false
active
indx
X1
X2
indx
active
X1
X2
false
active
quote
X
quote
active
X
false
active
quote
sel
X
Y
sel1
X
Y
false
active
dbls
X
dbls
active
X
false
active
sel1
X1
X2
sel1
X1
active
X2
false
active
sel
X1
X2
sel
X1
active
X2
false
active
quote
dbl
X
dbl1
X
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
quote
s
X
s1
quote
X
false
active
quote
s
X
quote
X
false
active
dbls
cons
X
Y
cons
dbl
X
dbls
Y
false
active
dbls
cons
X
Y
dbls
Y
false
active
dbl
X
dbl
active
X
false
active
from
X
cons
X
from
s
X
false
active
dbls
cons
X
Y
dbl
X
false
active
dbl
s
X
s
dbl
X
false
proper
s
X
proper
X
proper
s1
X
proper
X
proper
dbl1
X
proper
X
proper
sel1
X1
X2
proper
X1
proper
dbls
X
proper
X
proper
sel1
X1
X2
proper
X2
proper
sel
X1
X2
proper
X2
proper
cons
X1
X2
proper
X2
proper
quote
X
proper
X
proper
sel
X1
X2
proper
X1
proper
cons
X1
X2
proper
X1
proper
indx
X1
X2
proper
X1
proper
indx
X1
X2
proper
X2
proper
from
X
proper
X
proper
dbl
X
proper
X
true
dbl1
1
0
01
0
1
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
0
ok
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
1
from
1
1
3137
s
1
0
nil
0
1
dbl1
1
1
1
sel1
2
0
mark
1
1
26962
proper
1
1
0
from
1
0
active
1
1
26964
quote
1
1
1
cons
2
1
2
1
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
active
quote
sel
X
Y
mark
sel1
X
Y
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
active
sel
0
cons
X
Y
mark
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
sel
mark
X1
X2
mark
sel
X1
X2
quote
ok
X
ok
quote
X
active
quote
0
mark
01
sel
ok
X1
ok
X2
ok
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
active
sel1
0
cons
X
Y
mark
X
indx
ok
X1
ok
X2
ok
indx
X1
X2
active
dbl1
s
X
mark
s1
s1
dbl1
X
active
sel1
s
X
cons
Y
Z
mark
sel1
X
Z
dbl1
ok
X
ok
dbl1
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
from
ok
X
ok
from
X
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
true
dbl1
1
0
01
0
1
cons
2
1
2
0
s
1
1
1
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
2
0
dbl
1
0
dbls
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
2
0
from
1
1
s
1
0
nil
0
1
dbl1
1
1
0
sel1
2
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
2
quote
1
1
0
cons
2
1
2
842
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
quote
ok
X
ok
quote
X
active
quote
0
mark
01
active
sel1
0
cons
X
Y
mark
X
active
dbl1
s
X
mark
s1
s1
dbl1
X
dbl1
ok
X
ok
dbl1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
from
X
from
proper
X
false
from
ok
X
from
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
1
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
2
0
dbl
1
0
dbls
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
2
0
from
1
2
s
1
0
nil
0
1
dbl1
1
1
0
sel1
2
0
mark
1
1
1
proper
1
0
from
1
1
0
active
1
1
2
quote
1
1
0
cons
2
1
2
2
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
quote
ok
X
ok
quote
X
active
quote
0
mark
01
active
sel1
0
cons
X
Y
mark
X
active
dbl1
s
X
mark
s1
s1
dbl1
X
dbl1
ok
X
ok
dbl1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
dbls
X
dbls
proper
X
false
dbls
ok
X
dbls
X
dbls
mark
X
dbls
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
1
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
2
0
dbl
1
0
dbls
1
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
2
0
from
1
2
s
1
0
nil
0
1
dbl1
1
1
0
sel1
2
0
mark
1
1
18562
proper
1
0
from
1
0
active
1
1
21050
quote
1
1
0
cons
2
1
2
2489
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
768
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
quote
ok
X
ok
quote
X
active
quote
0
mark
01
active
sel1
0
cons
X
Y
mark
X
active
dbl1
s
X
mark
s1
s1
dbl1
X
dbl1
ok
X
ok
dbl1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
dbl1
X
dbl1
proper
X
false
dbl1
mark
X
dbl1
X
dbl1
ok
X
dbl1
X
true
dbl1
1
1
0
01
0
1
cons
2
0
s
1
1
1
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
2
0
dbl
1
0
dbls
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
2
0
from
1
1
s
1
0
nil
0
1
dbl1
1
1
0
sel1
2
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
2
quote
1
1
0
cons
2
1
2
2
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
quote
ok
X
ok
quote
X
active
quote
0
mark
01
active
sel1
0
cons
X
Y
mark
X
active
dbl1
s
X
mark
s1
s1
dbl1
X
dbl1
ok
X
ok
dbl1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
dbl
X
dbl
proper
X
false
dbl
mark
X
dbl
X
dbl
ok
X
dbl
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
1
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
2
0
dbl
1
1
0
dbls
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
2
0
from
1
1
s
1
0
nil
0
1
dbl1
1
1
0
sel1
2
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
2
quote
1
1
0
cons
2
1
2
2
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
quote
ok
X
ok
quote
X
active
quote
0
mark
01
active
sel1
0
cons
X
Y
mark
X
active
dbl1
s
X
mark
s1
s1
dbl1
X
dbl1
ok
X
ok
dbl1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
s
X
s
proper
X
false
s
ok
X
s
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
31771
dbls
1
1
0
dbl
1
1
0
top
1
0
indx
2
2
0
dbl
1
0
dbls
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
indx
2
0
sel
2
2
0
from
1
1
s
1
1
0
nil
0
1
dbl1
1
1
0
sel1
2
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
31772
quote
1
1
0
cons
2
1
2
31772
active
1
0
quote
1
0
s1
1
0
sel1
2
1
2
1
s1
1
1
1
active
quote
s
X
mark
s1
quote
X
active
dbl
0
mark
0
active
dbls
nil
mark
nil
active
quote
dbl
X
mark
dbl1
X
sel1
X1
mark
X2
mark
sel1
X1
X2
s1
ok
X
ok
s1
X
s1
mark
X
mark
s1
X
dbl1
mark
X
mark
dbl1
X
active
dbl1
0
mark
01
proper
0
ok
0
active
indx
nil
X
mark
nil
quote
ok
X
ok
quote
X
active
quote
0
mark
01
active
sel1
0
cons
X
Y
mark
X
active
dbl1
s
X
mark
s1
s1
dbl1
X
dbl1
ok
X
ok
dbl1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
proper
01
ok
01
quote
mark
X
mark
quote
X
proper
nil
ok
nil
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
quote
X
quote
proper
X
false
quote
ok
X
quote
X
quote
mark
X
quote
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
37405
dbls
1
2
dbl
1
1
19369
top
1
0
indx
2
2
32596
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
22166
0
0
1
sel
2
0
indx
2
0
sel
2
1
2
16414
from
1
1
50566
s
1
0
nil
0
1
dbl1
1
1
31582
sel1
2
0
mark
1
1
5
proper
1
0
from
1
0
active
1
1
quote
1
2
cons
2
1
2
1
active
1
0
quote
1
1
0
s1
1
0
sel1
2
1
2
1602
s1
1
2
sel1
X1
mark
X2
mark
sel1
X1
X2
dbl
mark
X
mark
dbl
X
dbl
ok
X
ok
dbl
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
sel1
mark
X1
X2
mark
sel1
X1
X2
proper
indx
X1
X2
indx
proper
X1
proper
X2
false
indx
mark
X1
X2
indx
X1
X2
indx
ok
X1
ok
X2
indx
X1
X2
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
dbls
1
2
dbl
1
1
36386
top
1
0
indx
2
26007
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
2
0
0
1
sel
2
0
indx
2
1
2
0
sel
2
16415
from
1
1
36986
s
1
0
nil
0
2247
dbl1
1
2
sel1
2
0
mark
1
1
5
proper
1
0
from
1
0
active
1
1
quote
1
2
cons
2
1
active
1
0
quote
1
0
s1
1
0
sel1
2
12354
s1
1
1
1
proper
s1
X
s1
proper
X
false
s1
mark
X
s1
X
s1
ok
X
s1
X
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
dbls
1
4
dbl
1
1
1
top
1
0
indx
2
4
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
8925
0
0
1
sel
2
0
indx
2
0
sel
2
4
from
1
1
32653
s
1
0
nil
0
25321
dbl1
1
4
sel1
2
0
mark
1
1
5
proper
1
0
from
1
0
active
1
3
quote
1
4
cons
2
1
active
1
0
quote
1
0
s1
1
1
0
sel1
2
12356
s1
1
1
1
proper
sel
X1
X2
sel
proper
X1
proper
X2
false
sel
ok
X1
ok
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
true
dbl1
1
0
01
0
1
cons
2
0
s
1
39255
dbls
1
2
dbl
1
1
1
top
1
0
indx
2
14731
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
24144
ok
1
1
24145
0
0
10913
sel
2
1
0
indx
2
0
sel
2
9335
from
1
1
11912
s
1
0
nil
0
52396
dbl1
1
5875
sel1
2
0
mark
1
1
17234
proper
1
0
from
1
0
active
1
1
quote
1
28880
cons
2
1
active
1
0
quote
1
0
s1
1
0
sel1
2
2
s1
1
1
27188
sel
X1
mark
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
dbls
1
2
dbl
1
1
1130
top
1
0
indx
2
14731
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
2
0
0
18238
sel
2
2
0
indx
2
0
sel
2
7158
from
1
1
1
s
1
0
nil
0
12332
dbl1
1
16038
sel1
2
0
mark
1
1
17234
proper
1
0
from
1
0
active
1
1
quote
1
27469
cons
2
51094
active
1
0
quote
1
0
s1
1
0
sel1
2
17083
s1
1
1
1
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
false
sel1
ok
X1
ok
X2
sel1
X1
X2
sel1
mark
X1
X2
sel1
X1
X2
sel1
X1
mark
X2
sel1
X1
X2
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
dbls
1
20438
dbl
1
1
17534
top
1
0
indx
2
28379
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
10310
0
0
1
sel
2
0
indx
2
0
sel
2
52493
from
1
1
39797
s
1
0
nil
0
25029
dbl1
1
20438
sel1
2
1
0
mark
1
1
37670
proper
1
0
from
1
0
active
1
20437
quote
1
47905
cons
2
35066
active
1
0
quote
1
0
s1
1
0
sel1
2
37519
s1
1
1
36536
sel1
X1
mark
X2
sel1
X1
X2
sel1
X1
mark
X2
sel1
X1
X2
true
dbl1
1
0
01
0
1
cons
2
0
s
1
1
dbls
1
2
dbl
1
1
1
top
1
0
indx
2
7943
dbl
1
0
dbls
1
0
top
1
0
proper
1
1
1
ok
1
1
10310
0
0
1
sel
2
0
indx
2
0
sel
2
32359
from
1
1
1
s
1
0
nil
0
1
dbl1
1
2
sel1
2
2
0
mark
1
1
11794
proper
1
0
from
1
0
active
1
1
quote
1
27469
cons
2
35066
active
1
0
quote
1
0
s1
1
0
sel1
2
17083
s1
1
1
20350
NaTT
certifiable-1.6