a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__sel
0
cons
X
Z
mark
X
a__first
0
Z
nil
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__from
X
cons
mark
X
from
s
X
a__sel1
s
X
cons
Y
Z
a__sel1
mark
X
mark
Z
a__sel1
0
cons
X
Z
a__quote
X
a__first1
0
Z
nil1
a__first1
s
X
cons
Y
Z
cons1
a__quote
Y
a__first1
mark
X
mark
Z
a__quote
0
01
a__quote1
cons
X
Z
cons1
a__quote
X
a__quote1
Z
a__quote1
nil
nil1
a__quote
s
X
s1
a__quote
X
a__quote
sel
X
Z
a__sel1
mark
X
mark
Z
a__quote1
first
X
Z
a__first1
mark
X
mark
Z
a__unquote
01
0
a__unquote
s1
X
s
a__unquote
mark
X
a__unquote1
nil1
nil
a__unquote1
cons1
X
Z
a__fcons
a__unquote
mark
X
a__unquote1
mark
Z
a__fcons
X
Z
cons
mark
X
Z
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
first
X1
X2
a__first
mark
X1
mark
X2
mark
from
X
a__from
mark
X
mark
sel1
X1
X2
a__sel1
mark
X1
mark
X2
mark
quote
X
a__quote
X
mark
first1
X1
X2
a__first1
mark
X1
mark
X2
mark
quote1
X
a__quote1
X
mark
unquote
X
a__unquote
mark
X
mark
unquote1
X
a__unquote1
mark
X
mark
fcons
X1
X2
a__fcons
mark
X1
mark
X2
mark
s
X
s
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
nil
nil
mark
nil1
nil1
mark
cons1
X1
X2
cons1
mark
X1
mark
X2
mark
01
01
mark
s1
X
s1
mark
X
a__sel
X1
X2
sel
X1
X2
a__first
X1
X2
first
X1
X2
a__from
X
from
X
a__sel1
X1
X2
sel1
X1
X2
a__quote
X
quote
X
a__first1
X1
X2
first1
X1
X2
a__quote1
X
quote1
X
a__unquote
X
unquote
X
a__unquote1
X
unquote1
X
a__fcons
X1
X2
fcons
X1
X2
2.2
mark
unquote1
X
a__unquote1
mark
X
a__unquote1
cons1
X
Z
a__unquote1
mark
Z
a__sel1
0
cons
X
Z
a__quote
X
mark
first
X1
X2
mark
X2
mark
first1
X1
X2
mark
X1
a__unquote1
cons1
X
Z
mark
X
a__unquote1
cons1
X
Z
a__unquote
mark
X
a__unquote
s1
X
a__unquote
mark
X
mark
first1
X1
X2
mark
X2
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
cons1
X1
X2
mark
X1
a__quote1
first
X
Z
mark
Z
a__unquote
s1
X
mark
X
a__sel1
s
X
cons
Y
Z
mark
X
a__first
s
X
cons
Y
Z
mark
Y
a__sel
s
X
cons
Y
Z
mark
Z
a__unquote1
cons1
X
Z
a__fcons
a__unquote
mark
X
a__unquote1
mark
Z
mark
sel
X1
X2
mark
X1
a__quote1
cons
X
Z
a__quote
X
a__first1
s
X
cons
Y
Z
a__quote
Y
a__first1
s
X
cons
Y
Z
mark
X
a__quote1
first
X
Z
mark
X
mark
fcons
X1
X2
a__fcons
mark
X1
mark
X2
a__quote
sel
X
Z
mark
Z
mark
first1
X1
X2
a__first1
mark
X1
mark
X2
a__first1
s
X
cons
Y
Z
mark
Z
mark
unquote
X
a__unquote
mark
X
a__quote1
first
X
Z
a__first1
mark
X
mark
Z
a__quote1
cons
X
Z
a__quote1
Z
a__from
X
mark
X
mark
sel
X1
X2
mark
X2
mark
cons1
X1
X2
mark
X2
mark
fcons
X1
X2
mark
X1
mark
s
X
mark
X
a__sel1
s
X
cons
Y
Z
mark
Z
mark
cons
X1
X2
mark
X1
a__first1
s
X
cons
Y
Z
a__first1
mark
X
mark
Z
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__sel1
s
X
cons
Y
Z
a__sel1
mark
X
mark
Z
a__unquote1
cons1
X
Z
mark
Z
a__fcons
X
Z
mark
X
a__quote
sel
X
Z
mark
X
mark
first
X1
X2
mark
X1
mark
quote
X
a__quote
X
mark
sel1
X1
X2
mark
X2
mark
unquote
X
mark
X
mark
from
X
mark
X
mark
fcons
X1
X2
mark
X2
mark
quote1
X
a__quote1
X
a__quote
sel
X
Z
a__sel1
mark
X
mark
Z
mark
sel1
X1
X2
mark
X1
mark
unquote1
X
mark
X
a__sel
0
cons
X
Z
mark
X
a__sel
s
X
cons
Y
Z
mark
X
a__quote
s
X
a__quote
X
mark
sel1
X1
X2
a__sel1
mark
X1
mark
X2
mark
s1
X
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
from
X
a__from
mark
X
true
mark
from
X
a__from
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
fcons
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
mark
cons1
X1
X2
mark
X2
mark
s1
X
mark
X
a__from
X
mark
X
a__quote1
cons
X
Z
a__quote1
Z
mark
sel1
X1
X2
a__sel1
mark
X1
mark
X2
a__quote1
first
X
Z
a__first1
mark
X
mark
Z
mark
unquote
X
a__unquote
mark
X
a__first1
s
X
cons
Y
Z
mark
Z
a__quote
s
X
a__quote
X
mark
first1
X1
X2
a__first1
mark
X1
mark
X2
a__sel
s
X
cons
Y
Z
mark
X
a__sel
0
cons
X
Z
mark
X
a__quote
sel
X
Z
mark
Z
mark
unquote1
X
mark
X
mark
fcons
X1
X2
a__fcons
mark
X1
mark
X2
mark
sel1
X1
X2
mark
X1
a__quote
sel
X
Z
a__sel1
mark
X
mark
Z
mark
quote1
X
a__quote1
X
a__quote1
first
X
Z
mark
X
mark
fcons
X1
X2
mark
X2
a__first1
s
X
cons
Y
Z
mark
X
a__first1
s
X
cons
Y
Z
a__quote
Y
a__quote1
cons
X
Z
a__quote
X
mark
sel
X1
X2
mark
X1
mark
unquote
X
mark
X
mark
from
X
mark
X
mark
sel1
X1
X2
mark
X2
a__unquote1
cons1
X
Z
a__fcons
a__unquote
mark
X
a__unquote1
mark
Z
a__sel
s
X
cons
Y
Z
mark
Z
a__first
s
X
cons
Y
Z
mark
Y
a__sel1
s
X
cons
Y
Z
mark
X
mark
quote
X
a__quote
X
a__unquote
s1
X
mark
X
a__quote1
first
X
Z
mark
Z
mark
first
X1
X2
mark
X1
mark
cons1
X1
X2
mark
X1
a__quote
sel
X
Z
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__fcons
X
Z
mark
X
mark
first1
X1
X2
mark
X2
a__unquote1
cons1
X
Z
mark
Z
a__sel1
s
X
cons
Y
Z
a__sel1
mark
X
mark
Z
a__unquote
s1
X
a__unquote
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__unquote1
cons1
X
Z
a__unquote
mark
X
a__unquote1
cons1
X
Z
mark
X
a__first1
s
X
cons
Y
Z
a__first1
mark
X
mark
Z
mark
first1
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
a__sel1
s
X
cons
Y
Z
mark
Z
mark
first
X1
X2
mark
X2
a__sel1
0
cons
X
Z
a__quote
X
a__unquote1
cons1
X
Z
a__unquote1
mark
Z
mark
unquote1
X
a__unquote1
mark
X
mark
s
X
mark
X
true
a__quote
1
1
1145
01
0
1
s
1
1
0
unquote1
1
1
14685
a__first1
2
1
15
2
4
0
a__from
1
1
1146
a__fcons
2
1
1146
2
1
0
a__first
2
2
1155
0
a__from
1
1
12
a__first1
2
1
1159
2
1146
0
a__unquote
1
1
15826
a__unquote
1
1
14682
a__sel1
2
1
20561
2
4
0
a__fcons
2
1
12
2
0
0
cons1
2
1
11
2
0
0
mark
1
1
1145
0
0
1
a__quote
1
1
5
from
1
1
12
sel
2
1
20556
2
20542
0
a__sel1
2
1
1146
2
1149
0
nil
0
11
quote1
1
1
6
a__quote1
1
1
1150
a__sel
2
1
21700
2
21687
0
mark
1
1
0
nil1
0
6
a__sel
2
1
20556
2
20542
0
first
2
1
9
2
11
0
a__first
2
1
9
2
11
0
first1
2
1
15
2
4
0
a__unquote1
1
1
14685
a__unquote1
1
1
15829
quote
1
1
5
cons
2
1
12
2
0
0
sel1
2
1
20561
2
4
0
a__quote1
1
1
6
s1
1
1
0
unquote
1
1
14682
fcons
2
1
12
2
0
0
mark
s
X
mark
X
a__unquote1
cons1
X
Z
a__unquote1
mark
Z
a__first1
s
X
cons
Y
Z
a__first1
mark
X
mark
Z
a__unquote
s1
X
a__unquote
mark
X
a__sel1
s
X
cons
Y
Z
a__sel1
mark
X
mark
Z
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
fcons
X1
X2
mark
X2
a__quote
s
X
a__quote
X
a__quote1
first
X
Z
a__first1
mark
X
mark
Z
mark
sel1
X1
X2
a__sel1
mark
X1
mark
X2
a__quote1
cons
X
Z
a__quote1
Z
mark
s1
X
mark
X
mark
cons1
X1
X2
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__unquote1
nil1
nil
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__quote1
first
X
Z
a__first1
mark
X
mark
Z
a__first1
0
Z
nil1
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__first
0
Z
nil
a__unquote
01
0
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
cons1
X1
X2
cons1
mark
X1
mark
X2
mark
first1
X1
X2
a__first1
mark
X1
mark
X2
a__unquote1
cons1
X
Z
a__fcons
a__unquote
mark
X
a__unquote1
mark
Z
mark
cons
X1
X2
cons
mark
X1
X2
a__unquote
s1
X
s
a__unquote
mark
X
mark
quote1
X
a__quote1
X
mark
nil
nil
mark
first
X1
X2
a__first
mark
X1
mark
X2
mark
unquote
X
a__unquote
mark
X
a__first1
X1
X2
first1
X1
X2
a__from
X
cons
mark
X
from
s
X
mark
0
0
a__quote
0
01
a__sel
X1
X2
sel
X1
X2
a__sel1
0
cons
X
Z
a__quote
X
a__fcons
X
Z
cons
mark
X
Z
mark
quote
X
a__quote
X
mark
fcons
X1
X2
a__fcons
mark
X1
mark
X2
a__quote
sel
X
Z
a__sel1
mark
X
mark
Z
mark
s
X
s
mark
X
a__quote1
nil
nil1
a__quote1
X
quote1
X
mark
from
X
a__from
mark
X
mark
sel1
X1
X2
a__sel1
mark
X1
mark
X2
a__quote1
cons
X
Z
cons1
a__quote
X
a__quote1
Z
a__first1
s
X
cons
Y
Z
cons1
a__quote
Y
a__first1
mark
X
mark
Z
a__quote
s
X
s1
a__quote
X
a__first
X1
X2
first
X1
X2
a__sel1
s
X
cons
Y
Z
a__sel1
mark
X
mark
Z
mark
s1
X
s1
mark
X
a__fcons
X1
X2
fcons
X1
X2
a__unquote1
X
unquote1
X
mark
01
01
a__from
X
from
X
a__sel1
X1
X2
sel1
X1
X2
a__unquote
X
unquote
X
mark
nil1
nil1
mark
unquote1
X
a__unquote1
mark
X
a__quote
X
quote
X
a__sel
0
cons
X
Z
mark
X
a__unquote1
cons1
X
Z
a__unquote1
mark
Z
true
Failed!
NaTT
certifiable-1.6