++
nil
y
y
++
x
nil
x
++
.
x
y
z
.
x
++
y
z
++
++
x
y
z
++
x
++
y
z
2.2
++
++
x
y
z
++
x
++
y
z
++
++
x
y
z
++
y
z
++
.
x
y
z
++
y
z
true
++
.
x
y
z
++
y
z
++
++
x
y
z
++
y
z
++
++
x
y
z
++
x
++
y
z
true
++
2
1
2
1
++
2
1
2
0
nil
0
14235
.
2
2
8856
++
++
x
y
z
++
x
++
y
z
++
++
x
y
z
++
x
++
y
z
++
nil
y
y
++
.
x
y
z
.
x
++
y
z
++
x
nil
x
++
++
x
y
z
++
x
++
y
z
true
++
2
1
2
1
++
2
1
0
nil
0
36466
.
2
2
8856
++
x
nil
x
NaTT
certifiable-1.6