a__from
X
cons
mark
X
from
s
X
a__first
0
Z
nil
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__sel
0
cons
X
Z
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
from
X
a__from
mark
X
mark
first
X1
X2
a__first
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__first
X1
X2
first
X1
X2
a__sel
X1
X2
sel
X1
X2
2.2
mark
from
X
mark
X
mark
first
X1
X2
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__sel
s
X
cons
Y
Z
mark
X
a__first
s
X
cons
Y
Z
mark
Y
a__from
X
mark
X
mark
sel
X1
X2
mark
X1
mark
s
X
mark
X
a__sel
s
X
cons
Y
Z
mark
Z
mark
first
X1
X2
mark
X1
a__sel
0
cons
X
Z
mark
X
mark
cons
X1
X2
mark
X1
mark
from
X
a__from
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
sel
X1
X2
mark
X2
mark
first
X1
X2
a__first
mark
X1
mark
X2
true
mark
first
X1
X2
a__first
mark
X1
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
a__from
X
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
from
X
a__from
mark
X
mark
cons
X1
X2
mark
X1
a__sel
0
cons
X
Z
mark
X
a__first
s
X
cons
Y
Z
mark
Y
a__sel
s
X
cons
Y
Z
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
first
X1
X2
mark
X2
mark
first
X1
X2
mark
X1
a__sel
s
X
cons
Y
Z
mark
Z
mark
s
X
mark
X
mark
from
X
mark
X
true
s
1
1
0
a__from
1
1
2441
a__first
2
2
2440
0
a__from
1
1
2441
mark
1
1
1
0
0
1
from
1
1
2441
sel
2
1
23682
2
23683
0
nil
0
2440
a__sel
2
1
23682
2
21240
0
mark
1
1
0
a__sel
2
1
23682
2
23683
0
first
2
1
2438
2
2440
0
a__first
2
1
2438
2
2440
0
cons
2
1
2441
2
0
0
mark
s
X
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__sel
0
cons
X
Z
mark
X
a__sel
X1
X2
sel
X1
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__from
X
cons
mark
X
from
s
X
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
s
X
s
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__first
X1
X2
first
X1
X2
mark
nil
nil
mark
0
0
mark
cons
X1
X2
cons
mark
X1
X2
a__from
X
from
X
mark
from
X
a__from
mark
X
a__first
0
Z
nil
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
true
mark
1
1
s
1
2
1
a__from
1
0
a__first
2
0
a__from
1
1
mark
1
0
0
0
3
from
1
1
sel
2
1
nil
0
3
a__sel
2
3
1
2
a__sel
2
1
first
2
2
2
a__first
2
2
2
cons
2
0
s
1
1
0
a__from
1
1
a__first
2
1
1
a__from
1
1
2244
mark
1
1
0
0
2241
from
1
1
2244
sel
2
2
2
nil
0
2241
a__sel
2
1
2
2244
a__sel
2
2
2
first
2
2
2242
a__first
2
2
2242
cons
2
1
2243
2
0
0
a__sel
0
cons
X
Z
mark
X
a__sel
X1
X2
sel
X1
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__from
X
cons
mark
X
from
s
X
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
s
X
s
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__first
X1
X2
first
X1
X2
mark
nil
nil
mark
0
0
mark
cons
X1
X2
cons
mark
X1
X2
a__from
X
from
X
mark
from
X
a__from
mark
X
a__first
0
Z
nil
mark
s
X
mark
X
true
s
1
1
1
a__from
1
0
a__first
2
1
a__from
1
35496
mark
1
1
0
0
0
35496
from
1
1
35497
sel
2
2
35497
nil
0
35497
a__sel
2
0
mark
1
35495
a__sel
2
35496
first
2
1
2
35497
a__first
2
35496
cons
2
2
35496
NaTT
certifiable-1.6