rev
nil
nil
rev
++
x
y
++
rev1
x
y
rev2
x
y
rev1
x
nil
x
rev1
x
++
y
z
rev1
y
z
rev2
x
nil
nil
rev2
x
++
y
z
rev
++
x
rev
rev2
y
z
2.2
rev
++
x
y
rev2
x
y
rev1
x
++
y
z
rev1
y
z
rev2
x
++
y
z
rev2
y
z
rev2
x
++
y
z
rev
++
x
rev
rev2
y
z
rev
++
x
y
rev1
x
y
rev2
x
++
y
z
rev
rev2
y
z
true
rev2
x
++
y
z
rev
rev2
y
z
rev2
x
++
y
z
rev
++
x
rev
rev2
y
z
rev2
x
++
y
z
rev2
y
z
rev
++
x
y
rev2
x
y
true
rev
1
1
0
rev1
2
2
1
++
2
2
11799
rev1
2
0
rev2
2
2
11798
nil
0
1
rev
1
1
0
rev2
2
2
0
rev
nil
nil
rev2
x
nil
nil
rev2
x
++
y
z
rev
++
x
rev
rev2
y
z
rev
++
x
y
++
rev1
x
y
rev2
x
y
rev
++
x
y
rev1
x
y
false
rev1
x
++
y
z
rev1
y
z
true
rev
1
1
0
rev1
2
2
1
++
2
2
32286
rev1
2
2
0
rev2
2
11798
nil
0
1
rev
1
1
0
rev2
2
2
0
rev
nil
nil
rev2
x
nil
nil
rev2
x
++
y
z
rev
++
x
rev
rev2
y
z
rev
++
x
y
++
rev1
x
y
rev2
x
y
NaTT
certifiable-1.6