sel
s
X
cons
Y
Z
sel
X
Z
sel
0
cons
X
Z
X
first
0
Z
nil
first
s
X
cons
Y
Z
cons
Y
first
X
Z
from
X
cons
X
from
s
X
sel1
s
X
cons
Y
Z
sel1
X
Z
sel1
0
cons
X
Z
quote
X
first1
0
Z
nil1
first1
s
X
cons
Y
Z
cons1
quote
Y
first1
X
Z
quote
0
01
quote1
cons
X
Z
cons1
quote
X
quote1
Z
quote1
nil
nil1
quote
s
X
s1
quote
X
quote
sel
X
Z
sel1
X
Z
quote1
first
X
Z
first1
X
Z
unquote
01
0
unquote
s1
X
s
unquote
X
unquote1
nil1
nil
unquote1
cons1
X
Z
fcons
unquote
X
unquote1
Z
fcons
X
Z
cons
X
Z
2.2
quote
s
X
quote
X
quote1
cons
X
Z
quote1
Z
unquote1
cons1
X
Z
unquote1
Z
from
X
from
s
X
unquote1
cons1
X
Z
fcons
unquote
X
unquote1
Z
unquote1
cons1
X
Z
unquote
X
sel
s
X
cons
Y
Z
sel
X
Z
quote
sel
X
Z
sel1
X
Z
unquote
s1
X
unquote
X
quote1
cons
X
Z
quote
X
first
s
X
cons
Y
Z
first
X
Z
first1
s
X
cons
Y
Z
quote
Y
sel1
s
X
cons
Y
Z
sel1
X
Z
sel1
0
cons
X
Z
quote
X
quote1
first
X
Z
first1
X
Z
first1
s
X
cons
Y
Z
first1
X
Z
true
sel
s
X
cons
Y
Z
sel
X
Z
true
01
0
0
s
1
1
unquote1
1
0
quote1
1
0
unquote1
1
0
fcons
2
0
first1
2
0
cons1
2
0
0
0
0
sel
2
2
0
sel
2
0
from
1
0
first
2
0
nil
0
0
sel1
2
0
quote1
1
0
nil1
0
0
first
2
0
first1
2
0
unquote
1
0
from
1
0
quote
1
0
cons
2
2
1
quote
1
0
sel1
2
0
s1
1
0
unquote
1
0
fcons
2
0
first
s
X
cons
Y
Z
first
X
Z
true
01
0
0
s
1
1
unquote1
1
0
quote1
1
0
unquote1
1
0
fcons
2
0
first1
2
0
cons1
2
0
0
0
0
sel
2
0
sel
2
0
from
1
0
first
2
2
0
nil
0
0
sel1
2
0
quote1
1
0
nil1
0
0
first
2
0
first1
2
0
unquote
1
0
from
1
0
quote
1
0
cons
2
2
1
quote
1
0
sel1
2
0
s1
1
0
unquote
1
0
fcons
2
0
from
X
from
s
X
true
Failed!
NaTT
certifiable-1.6