rev
nil
nil
rev
cons
x
l
cons
rev1
x
l
rev2
x
l
rev1
0
nil
0
rev1
s
x
nil
s
x
rev1
x
cons
y
l
rev1
y
l
rev2
x
nil
nil
rev2
x
cons
y
l
rev
cons
x
rev2
y
l
2.2
rev
cons
x
l
rev2
x
l
rev1
x
cons
y
l
rev1
y
l
rev2
x
cons
y
l
rev
cons
x
rev2
y
l
rev
cons
x
l
rev1
x
l
rev2
x
cons
y
l
rev2
y
l
true
rev2
x
cons
y
l
rev2
y
l
rev2
x
cons
y
l
rev
cons
x
rev2
y
l
rev
cons
x
l
rev2
x
l
true
rev
1
1
0
s
1
3
rev1
2
2
1
rev1
2
0
rev2
2
2
1
0
0
3
nil
0
1
rev
1
1
0
cons
2
2
8857
rev2
2
2
0
rev
nil
nil
rev2
x
cons
y
l
rev
cons
x
rev2
y
l
rev2
x
nil
nil
rev
cons
x
l
cons
rev1
x
l
rev2
x
l
rev
cons
x
l
rev1
x
l
false
rev1
x
cons
y
l
rev1
y
l
true
rev
1
1
0
s
1
3
rev1
2
2
1
rev1
2
2
0
rev2
2
1
0
0
3
nil
0
1
rev
1
1
0
cons
2
2
1
rev2
2
2
0
rev
nil
nil
rev2
x
cons
y
l
rev
cons
x
rev2
y
l
rev2
x
nil
nil
rev
cons
x
l
cons
rev1
x
l
rev2
x
l
NaTT
certifiable-1.6