rev1
0
nil
0
rev1
s
X
nil
s
X
rev1
X
cons
Y
L
rev1
Y
L
rev
nil
nil
rev
cons
X
L
cons
rev1
X
L
rev2
X
L
rev2
X
nil
nil
rev2
X
cons
Y
L
rev
cons
X
rev
rev2
Y
L
2.2
rev2
X
cons
Y
L
rev
rev2
Y
L
rev1
X
cons
Y
L
rev1
Y
L
rev
cons
X
L
rev2
X
L
rev2
X
cons
Y
L
rev2
Y
L
rev2
X
cons
Y
L
rev
cons
X
rev
rev2
Y
L
rev
cons
X
L
rev1
X
L
true
rev2
X
cons
Y
L
rev
cons
X
rev
rev2
Y
L
rev2
X
cons
Y
L
rev2
Y
L
rev
cons
X
L
rev2
X
L
rev2
X
cons
Y
L
rev
rev2
Y
L
true
rev
1
1
0
s
1
1
0
rev1
2
1
rev1
2
0
rev2
2
2
1
0
0
0
nil
0
1
rev
1
1
0
cons
2
2
10452
rev2
2
2
0
rev
nil
nil
rev
cons
X
L
cons
rev1
X
L
rev2
X
L
rev2
X
cons
Y
L
rev
cons
X
rev
rev2
Y
L
rev2
X
nil
nil
rev
cons
X
L
rev1
X
L
false
rev1
X
cons
Y
L
rev1
Y
L
true
rev
1
1
0
s
1
1
0
rev1
2
1
rev1
2
2
0
rev2
2
1
0
0
0
nil
0
1
rev
1
1
0
cons
2
2
1
rev2
2
2
0
rev
nil
nil
rev
cons
X
L
cons
rev1
X
L
rev2
X
L
rev2
X
cons
Y
L
rev
cons
X
rev
rev2
Y
L
rev2
X
nil
nil
NaTT
certifiable-1.6