f
cons
nil
y
y
f
cons
f
cons
nil
y
z
copy
n
y
z
copy
0
y
z
f
z
copy
s
x
y
z
copy
x
y
cons
f
y
z
2.2
copy
0
y
z
f
z
copy
s
x
y
z
copy
x
y
cons
f
y
z
f
cons
f
cons
nil
y
z
copy
n
y
z
copy
s
x
y
z
f
y
true
copy
s
x
y
z
copy
x
y
cons
f
y
z
true
s
1
1
28959
n
0
28961
copy
3
1
3
0
f
1
1
2
0
0
1
nil
0
1
f
1
0
cons
2
28958
copy
3
1
2
3
0
copy
s
x
y
z
f
y
false
copy
0
y
z
f
z
false
f
cons
f
cons
nil
y
z
copy
n
y
z
false
NaTT
certifiable-1.6