rev
nil
nil
rev
rev
x
x
rev
++
x
y
++
rev
y
rev
x
++
nil
y
y
++
x
nil
x
++
.
x
y
z
.
x
++
y
z
++
x
++
y
z
++
++
x
y
z
make
x
.
x
nil
2.2
++
x
++
y
z
++
++
x
y
z
rev
++
x
y
rev
x
rev
++
x
y
rev
y
++
x
++
y
z
++
x
y
++
.
x
y
z
++
y
z
rev
++
x
y
++
rev
y
rev
x
true
rev
++
x
y
rev
x
rev
++
x
y
rev
y
true
rev
1
1
0
++
2
1
2
1
make
1
0
++
2
0
nil
0
0
rev
1
0
.
2
0
make
1
0
rev
++
x
y
++
rev
y
rev
x
false
++
.
x
y
z
++
y
z
++
x
++
y
z
++
x
y
++
x
++
y
z
++
++
x
y
z
true
rev
1
0
++
2
1
2
1
make
1
0
++
2
2
0
nil
0
1
rev
1
0
.
2
2
1
make
1
0
++
.
x
y
z
++
y
z
++
.
x
y
z
++
y
z
true
rev
1
0
++
2
1
2
1
make
1
0
++
2
1
0
nil
0
10157
rev
1
0
.
2
2
21239
make
1
0
++
nil
y
y
++
x
nil
x
++
x
++
y
z
++
++
x
y
z
++
.
x
y
z
.
x
++
y
z
NaTT
certifiable-1.6