active
from
X
mark
cons
X
from
s
X
active
head
cons
X
XS
mark
X
active
2nd
cons
X
XS
mark
head
XS
active
take
0
XS
mark
nil
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
active
sel
0
cons
X
XS
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
head
X
active
head
mark
X
mark
2nd
X
active
2nd
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
from
mark
X
from
X
from
active
X
from
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
s
mark
X
s
X
s
active
X
s
X
head
mark
X
head
X
head
active
X
head
X
2nd
mark
X
2nd
X
2nd
active
X
2nd
X
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
active
X2
take
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
2.2
take
mark
X1
X2
take
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
s
X
mark
X
cons
X1
active
X2
cons
X1
X2
mark
sel
X1
X2
mark
X1
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
2nd
mark
X
2nd
X
mark
sel
X1
X2
mark
X2
active
from
X
s
X
active
2nd
cons
X
XS
mark
head
XS
active
take
0
XS
mark
nil
from
mark
X
from
X
mark
take
X1
X2
take
mark
X1
mark
X2
from
active
X
from
X
mark
from
X
from
mark
X
cons
mark
X1
X2
cons
X1
X2
active
from
X
cons
X
from
s
X
mark
head
X
head
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
cons
X1
X2
mark
X1
mark
nil
active
nil
cons
X1
mark
X2
cons
X1
X2
head
mark
X
head
X
mark
sel
X1
X2
sel
mark
X1
mark
X2
mark
head
X
active
head
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
from
X
mark
X
mark
head
X
mark
X
sel
mark
X1
X2
sel
X1
X2
active
from
X
from
s
X
active
2nd
cons
X
XS
head
XS
active
sel
s
N
cons
X
XS
mark
sel
N
XS
take
active
X1
X2
take
X1
X2
mark
take
X1
X2
mark
X1
take
X1
active
X2
take
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
active
take
s
N
cons
X
XS
take
N
XS
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
s
X
s
mark
X
take
X1
mark
X2
take
X1
X2
2nd
active
X
2nd
X
mark
s
X
active
s
mark
X
mark
2nd
X
active
2nd
mark
X
active
take
s
N
cons
X
XS
cons
X
take
N
XS
mark
2nd
X
mark
X
active
sel
s
N
cons
X
XS
sel
N
XS
sel
X1
mark
X2
sel
X1
X2
mark
0
active
0
s
mark
X
s
X
sel
active
X1
X2
sel
X1
X2
active
head
cons
X
XS
mark
X
mark
from
X
active
from
mark
X
mark
take
X1
X2
mark
X2
s
active
X
s
X
active
sel
0
cons
X
XS
mark
X
active
from
X
mark
cons
X
from
s
X
mark
2nd
X
2nd
mark
X
true
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
sel
0
cons
X
XS
mark
X
mark
head
X
mark
X
mark
from
X
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
head
X
active
head
mark
X
mark
take
X1
X2
mark
X2
mark
from
X
active
from
mark
X
active
head
cons
X
XS
mark
X
mark
cons
X1
X2
mark
X1
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
2nd
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
s
X
active
s
mark
X
active
2nd
cons
X
XS
mark
head
XS
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
sel
X1
X2
mark
X1
mark
take
X1
X2
mark
X1
mark
s
X
mark
X
true
cons
2
0
s
1
1
take
2
0
take
2
2
2nd
1
2
head
1
0
mark
1
2
0
0
1
sel
2
0
from
1
2
sel
2
2
s
1
0
nil
0
1
2nd
1
0
mark
1
2
from
1
0
active
1
1
0
head
1
2
cons
2
1
active
1
1
0
mark
s
X
mark
X
mark
take
X1
X2
mark
X1
mark
sel
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
sel
X1
X2
mark
X2
active
2nd
cons
X
XS
mark
head
XS
mark
2nd
X
active
2nd
mark
X
mark
2nd
X
mark
X
mark
cons
X1
X2
mark
X1
active
head
cons
X
XS
mark
X
mark
from
X
active
from
mark
X
mark
take
X1
X2
mark
X2
mark
head
X
active
head
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
from
X
mark
X
mark
head
X
mark
X
active
sel
0
cons
X
XS
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
from
X
mark
cons
X
from
s
X
from
active
X
from
X
active
take
0
XS
mark
nil
mark
nil
active
nil
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
2nd
cons
X
XS
mark
head
XS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
mark
X1
X2
cons
X1
X2
take
X1
active
X2
take
X1
X2
from
mark
X
from
X
2nd
mark
X
2nd
X
sel
X1
mark
X2
sel
X1
X2
cons
X1
active
X2
cons
X1
X2
2nd
active
X
2nd
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
sel
mark
X1
X2
sel
X1
X2
mark
s
X
active
s
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
cons
X1
mark
X2
cons
X1
X2
head
mark
X
head
X
take
X1
mark
X2
take
X1
X2
mark
0
active
0
take
active
X1
X2
take
X1
X2
mark
2nd
X
active
2nd
mark
X
s
mark
X
s
X
s
active
X
s
X
mark
head
X
active
head
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
sel
0
cons
X
XS
mark
X
sel
active
X1
X2
sel
X1
X2
take
mark
X1
X2
take
X1
X2
active
head
cons
X
XS
mark
X
mark
from
X
mark
X
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
2nd
cons
X
XS
mark
head
XS
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
s
X
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
2nd
X
mark
X
mark
2nd
X
active
2nd
mark
X
mark
head
X
mark
X
mark
head
X
active
head
mark
X
mark
cons
X1
X2
mark
X1
mark
take
X1
X2
mark
X2
mark
take
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
sel
0
cons
X
XS
mark
X
active
head
cons
X
XS
mark
X
true
cons
2
0
s
1
1
0
take
2
0
take
2
1
8947
2
10090
0
2nd
1
1
44023
head
1
0
mark
1
1
0
0
0
1144
sel
2
0
from
1
1
9228
sel
2
1
26286
2
46824
0
s
1
0
nil
0
10091
2nd
1
0
mark
1
1
0
from
1
0
active
1
1
0
head
1
1
44022
cons
2
1
8946
2
0
0
active
1
1
0
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
head
X
active
head
mark
X
mark
2nd
X
active
2nd
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
s
X
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
mark
from
X
active
from
mark
X
from
active
X
from
X
active
take
0
XS
mark
nil
mark
nil
active
nil
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
2nd
cons
X
XS
mark
head
XS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
mark
X1
X2
cons
X1
X2
take
X1
active
X2
take
X1
X2
from
mark
X
from
X
2nd
mark
X
2nd
X
sel
X1
mark
X2
sel
X1
X2
cons
X1
active
X2
cons
X1
X2
2nd
active
X
2nd
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
sel
mark
X1
X2
sel
X1
X2
mark
s
X
active
s
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
cons
X1
mark
X2
cons
X1
X2
head
mark
X
head
X
take
X1
mark
X2
take
X1
X2
mark
0
active
0
take
active
X1
X2
take
X1
X2
mark
2nd
X
active
2nd
mark
X
s
mark
X
s
X
s
active
X
s
X
mark
head
X
active
head
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
sel
0
cons
X
XS
mark
X
sel
active
X1
X2
sel
X1
X2
take
mark
X1
X2
take
X1
X2
active
head
cons
X
XS
mark
X
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
s
X
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
2nd
X
active
2nd
mark
X
mark
head
X
active
head
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
true
cons
2
0
s
1
1
3
take
2
0
take
2
2
3
2nd
1
14139
head
1
0
mark
1
1
0
0
0
1
sel
2
0
from
1
26931
sel
2
2
s
1
0
nil
0
1
2nd
1
0
mark
1
1
from
1
0
active
1
2
head
1
1105
cons
2
1
active
1
2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
head
mark
X
head
X
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
true
s
1
1
mark
1
1
active
1
1
cons
2
0
1
s
1
2
1
take
2
0
take
2
2
2nd
1
2
1
head
1
0
mark
1
3
1
0
0
1
sel
2
0
1
from
1
0
1
sel
2
4
1
2
nil
0
2
2nd
1
0
from
1
0
head
1
2
cons
2
0
1
active
1
3
1
cons
2
1
1
0
s
1
1
0
take
2
1
take
2
2
20978
2nd
1
1
2999
head
1
1
mark
1
1
1
0
0
35658
sel
2
1
1
from
1
1
20981
sel
2
1
2
20980
nil
0
20977
2nd
1
1
from
1
1
head
1
1
1
cons
2
1
20979
2
0
0
active
1
1
1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
from
active
X
from
X
active
take
0
XS
mark
nil
mark
nil
active
nil
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
active
2nd
cons
X
XS
mark
head
XS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
mark
X1
X2
cons
X1
X2
take
X1
active
X2
take
X1
X2
from
mark
X
from
X
2nd
mark
X
2nd
X
sel
X1
mark
X2
sel
X1
X2
cons
X1
active
X2
cons
X1
X2
2nd
active
X
2nd
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
sel
mark
X1
X2
sel
X1
X2
mark
s
X
active
s
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
cons
X1
mark
X2
cons
X1
X2
head
mark
X
head
X
take
X1
mark
X2
take
X1
X2
mark
0
active
0
take
active
X1
X2
take
X1
X2
mark
2nd
X
active
2nd
mark
X
s
mark
X
s
X
s
active
X
s
X
mark
head
X
active
head
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
sel
0
cons
X
XS
mark
X
sel
active
X1
X2
sel
X1
X2
take
mark
X1
X2
take
X1
X2
active
head
cons
X
XS
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
false
mark
take
X1
X2
take
mark
X1
mark
X2
false
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
head
X
head
mark
X
false
active
sel
s
N
cons
X
XS
sel
N
XS
false
mark
2nd
X
2nd
mark
X
false
2nd
active
X
2nd
X
2nd
mark
X
2nd
X
true
cons
2
0
s
1
1
take
2
0
take
2
1
2
21394
2nd
1
0
head
1
0
mark
1
3
0
0
0
sel
2
0
from
1
1
sel
2
0
s
1
0
nil
0
0
2nd
1
1
0
mark
1
1
1
from
1
0
active
1
1
2
head
1
16022
cons
2
1
3
active
1
2
mark
0
active
0
false
active
take
s
N
cons
X
XS
cons
X
take
N
XS
false
active
take
s
N
cons
X
XS
take
N
XS
false
mark
s
X
s
mark
X
false
active
2nd
cons
X
XS
head
XS
false
head
mark
X
head
X
head
active
X
head
X
true
cons
2
0
s
1
1
take
2
0
take
2
1
2
7066
2nd
1
0
head
1
1
0
mark
1
3
0
0
0
sel
2
0
from
1
40400
sel
2
0
s
1
0
nil
0
0
2nd
1
0
mark
1
1
1
from
1
0
active
1
1
2
head
1
16022
cons
2
1
40402
active
1
2
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
sel
mark
X1
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
true
cons
2
0
s
1
1
take
2
0
take
2
1
2
1
2nd
1
0
head
1
0
mark
1
3
0
0
0
sel
2
1
2
0
from
1
1
sel
2
0
s
1
0
nil
0
0
2nd
1
0
mark
1
1
1
from
1
0
active
1
1
2
head
1
16022
cons
2
1
3
active
1
2
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
25192
take
2
0
take
2
1
2
15628
2nd
1
0
head
1
0
mark
1
3
0
0
0
sel
2
0
from
1
1
sel
2
0
s
1
1
0
nil
0
0
2nd
1
0
mark
1
1
1
from
1
0
active
1
1
2
head
1
16022
cons
2
1
3
active
1
2
active
take
0
XS
mark
nil
false
mark
from
X
from
mark
X
false
from
active
X
from
X
from
mark
X
from
X
true
cons
2
0
s
1
25192
take
2
0
take
2
1
2
1
2nd
1
1
0
head
1
0
mark
1
3
0
0
0
sel
2
0
from
1
1
sel
2
0
s
1
0
nil
0
0
2nd
1
0
mark
1
1
1
from
1
1
0
active
1
1
2
head
1
14463
cons
2
1
3
active
1
2
mark
nil
active
nil
false
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
take
2
0
take
2
1
2
1
2nd
1
1
0
head
1
0
mark
1
3
0
0
0
sel
2
0
from
1
1
sel
2
0
s
1
0
nil
0
0
2nd
1
0
mark
1
1
53622
from
1
0
active
1
1
53623
head
1
3828
cons
2
1
3
active
1
2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
take
2
0
take
2
1
2
1
2nd
1
1
0
head
1
0
mark
1
3
0
0
0
sel
2
0
from
1
26727
sel
2
0
s
1
0
nil
0
0
2nd
1
0
mark
1
1
1
from
1
0
active
1
1
2
head
1
26731
cons
2
1
26729
active
1
2
take
X1
mark
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
true
cons
2
0
s
1
1184
take
2
1
2
0
take
2
1
2
1
2nd
1
1
0
head
1
0
mark
1
3
0
0
0
sel
2
0
from
1
25442
sel
2
0
s
1
0
nil
0
0
2nd
1
0
mark
1
1
1
from
1
0
active
1
1
2
head
1
25446
cons
2
1
25444
active
1
2
NaTT
certifiable-1.6