rev
nil
nil
rev
.
x
y
++
rev
y
.
x
nil
car
.
x
y
x
cdr
.
x
y
y
null
nil
true
null
.
x
y
false
++
nil
y
y
++
.
x
y
z
.
x
++
y
z
2.2
rev
.
x
y
rev
y
++
.
x
y
z
++
y
z
rev
.
x
y
++
rev
y
.
x
nil
true
rev
.
x
y
rev
y
true
rev
1
1
0
cdr
1
0
++
2
0
false
0
0
true
0
0
null
1
0
++
2
0
nil
0
0
rev
1
0
.
2
2
1
null
1
0
cdr
1
0
car
1
0
car
1
0
rev
.
x
y
++
rev
y
.
x
nil
false
++
.
x
y
z
++
y
z
true
rev
1
0
cdr
1
0
++
2
0
false
0
0
true
0
0
null
1
0
++
2
1
0
nil
0
0
rev
1
0
.
2
2
1
null
1
0
cdr
1
0
car
1
0
car
1
0
NaTT
certifiable-1.6