a__from
X
cons
mark
X
from
s
X
a__head
cons
X
XS
mark
X
a__2nd
cons
X
XS
a__head
mark
XS
a__take
0
XS
nil
a__take
s
N
cons
X
XS
cons
mark
X
take
N
XS
a__sel
0
cons
X
XS
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
from
X
a__from
mark
X
mark
head
X
a__head
mark
X
mark
2nd
X
a__2nd
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
0
0
mark
nil
nil
a__from
X
from
X
a__head
X
head
X
a__2nd
X
2nd
X
a__take
X1
X2
take
X1
X2
a__sel
X1
X2
sel
X1
X2
2.2
a__sel
0
cons
X
XS
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
sel
X1
X2
mark
X2
mark
from
X
mark
X
mark
s
X
mark
X
a__sel
s
N
cons
X
XS
mark
N
a__2nd
cons
X
XS
mark
XS
mark
take
X1
X2
mark
X1
mark
sel
X1
X2
mark
X1
mark
head
X
mark
X
mark
from
X
a__from
mark
X
mark
2nd
X
mark
X
a__2nd
cons
X
XS
a__head
mark
XS
a__from
X
mark
X
mark
2nd
X
a__2nd
mark
X
mark
cons
X1
X2
mark
X1
a__head
cons
X
XS
mark
X
mark
take
X1
X2
mark
X2
a__sel
s
N
cons
X
XS
mark
XS
mark
head
X
a__head
mark
X
a__take
s
N
cons
X
XS
mark
X
true
a__take
s
N
cons
X
XS
mark
X
mark
head
X
a__head
mark
X
a__sel
s
N
cons
X
XS
mark
N
a__sel
s
N
cons
X
XS
mark
XS
mark
s
X
mark
X
mark
take
X1
X2
mark
X2
a__head
cons
X
XS
mark
X
mark
from
X
mark
X
mark
cons
X1
X2
mark
X1
mark
2nd
X
a__2nd
mark
X
a__from
X
mark
X
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__2nd
cons
X
XS
a__head
mark
XS
mark
2nd
X
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
from
X
a__from
mark
X
mark
head
X
mark
X
mark
sel
X1
X2
mark
X1
mark
take
X1
X2
mark
X1
a__sel
0
cons
X
XS
mark
X
a__2nd
cons
X
XS
mark
XS
true
s
1
1
0
a__head
1
1
47562
a__from
1
1
47563
a__from
1
1
35658
take
2
1
26287
2
26287
0
2nd
1
1
2999
a__2nd
1
1
2999
a__take
2
2
47563
0
a__2nd
1
1
47563
mark
1
1
47562
0
0
1
from
1
1
35658
sel
2
1
20977
2
0
0
nil
0
26288
a__sel
2
1
68539
2
47562
0
mark
1
1
0
a__sel
2
1
20977
2
0
0
head
1
1
1098
cons
2
1
20978
2
0
0
a__take
2
1
26287
2
26287
0
a__head
1
1
1098
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
sel
X1
X2
mark
X2
mark
s
X
mark
X
a__sel
s
N
cons
X
XS
mark
XS
a__head
X
head
X
a__take
0
XS
nil
mark
0
0
mark
from
X
a__from
mark
X
a__from
X
cons
mark
X
from
s
X
a__2nd
cons
X
XS
a__head
mark
XS
mark
nil
nil
a__sel
X1
X2
sel
X1
X2
a__2nd
X
2nd
X
a__from
X
from
X
a__take
s
N
cons
X
XS
cons
mark
X
take
N
XS
mark
2nd
X
a__2nd
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__take
X1
X2
take
X1
X2
mark
s
X
s
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
head
X
a__head
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
0
cons
X
XS
mark
X
a__head
cons
X
XS
mark
X
a__sel
s
N
cons
X
XS
mark
XS
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
s
X
mark
X
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
true
s
1
1
0
a__head
1
1
47562
a__from
1
1
47563
a__from
1
1
38104
take
2
1
1
2
1
0
2nd
1
1
42594
a__2nd
1
1
42594
a__take
2
2
47563
0
a__2nd
1
1
47563
mark
1
1
841
0
0
1
from
1
1
38104
sel
2
1
2
2
1
0
nil
0
2
a__sel
2
2
842
0
mark
1
1
0
a__sel
2
1
2
2
1
0
head
1
1
32869
cons
2
1
1
2
0
0
a__take
2
1
1
2
1
0
a__head
1
1
32869
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
s
X
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__head
X
head
X
a__take
0
XS
nil
mark
0
0
mark
from
X
a__from
mark
X
a__from
X
cons
mark
X
from
s
X
a__2nd
cons
X
XS
a__head
mark
XS
mark
nil
nil
a__sel
X1
X2
sel
X1
X2
a__2nd
X
2nd
X
a__from
X
from
X
a__take
s
N
cons
X
XS
cons
mark
X
take
N
XS
mark
2nd
X
a__2nd
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__take
X1
X2
take
X1
X2
mark
s
X
s
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
head
X
a__head
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
0
cons
X
XS
mark
X
a__head
cons
X
XS
mark
X
mark
s
X
mark
X
true
s
1
1
1
a__head
1
0
a__from
1
0
a__from
1
1
1
take
2
2
2nd
1
1
31603
a__2nd
1
31602
a__take
2
0
a__2nd
1
0
mark
1
1
0
0
0
31602
from
1
2
sel
2
2
nil
0
31604
a__sel
2
0
mark
1
31601
a__sel
2
2
1
head
1
3
cons
2
1
31598
a__take
2
1
1
a__head
1
1
2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
false
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
true
mark
1
1
s
1
1
1
a__head
1
0
a__from
1
0
a__from
1
2
take
2
4
2nd
1
5
a__2nd
1
5
a__take
2
0
a__2nd
1
0
mark
1
0
0
0
3
from
1
2
sel
2
4
nil
0
0
a__sel
2
2
1
2
a__sel
2
4
head
1
4
cons
2
0
a__take
2
4
a__head
1
4
s
1
1
0
a__head
1
1
a__from
1
1
a__from
1
1
27232
take
2
2
1326
2nd
1
1
0
a__2nd
1
1
0
a__take
2
1
a__2nd
1
1
mark
1
1
0
0
1058
from
1
1
27232
sel
2
2
1
nil
0
1057
a__sel
2
1
2
1
a__sel
2
2
1
head
1
1
0
cons
2
1
1325
2
0
0
a__take
2
2
1326
a__head
1
1
0
a__head
X
head
X
a__take
0
XS
nil
mark
0
0
mark
from
X
a__from
mark
X
a__from
X
cons
mark
X
from
s
X
a__2nd
cons
X
XS
a__head
mark
XS
mark
nil
nil
a__sel
X1
X2
sel
X1
X2
a__2nd
X
2nd
X
a__from
X
from
X
a__take
s
N
cons
X
XS
cons
mark
X
take
N
XS
mark
2nd
X
a__2nd
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__take
X1
X2
take
X1
X2
mark
s
X
s
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
head
X
a__head
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
0
cons
X
XS
mark
X
a__head
cons
X
XS
mark
X
NaTT
certifiable-1.6