f
x
nil
g
nil
x
f
x
g
y
z
g
f
x
y
z
++
x
nil
x
++
x
g
y
z
g
++
x
y
z
null
nil
true
null
g
x
y
false
mem
nil
y
false
mem
g
x
y
z
or
=
y
z
mem
x
z
mem
x
max
x
not
null
x
max
g
g
nil
x
y
max'
x
y
max
g
g
g
x
y
z
u
max'
max
g
g
x
y
z
u
2.2
mem
x
max
x
null
x
++
x
g
y
z
++
x
y
max
g
g
g
x
y
z
u
max
g
g
x
y
z
f
x
g
y
z
f
x
y
mem
g
x
y
z
mem
x
z
true
mem
g
x
y
z
mem
x
z
true
mem
2
0
max'
2
0
u
0
0
++
2
0
false
0
0
mem
2
1
0
true
0
0
f
2
0
null
1
0
max
1
0
=
2
0
++
2
0
nil
0
0
max
1
0
or
2
0
f
2
0
null
1
0
g
2
1
1
not
1
0
f
x
g
y
z
f
x
y
true
mem
2
0
max'
2
0
u
0
0
++
2
0
false
0
0
mem
2
0
true
0
0
f
2
0
null
1
0
max
1
0
=
2
0
++
2
0
nil
0
0
max
1
0
or
2
0
f
2
2
0
null
1
0
g
2
1
1
not
1
0
max
g
g
g
x
y
z
u
max
g
g
x
y
z
true
mem
2
0
max'
2
0
u
0
1
++
2
0
false
0
0
mem
2
0
true
0
0
f
2
0
null
1
0
max
1
0
=
2
0
++
2
0
nil
0
0
max
1
1
0
or
2
0
f
2
0
null
1
0
g
2
1
2
28958
not
1
0
++
x
g
y
z
++
x
y
true
mem
2
0
max'
2
0
u
0
1
++
2
0
false
0
0
mem
2
0
true
0
0
f
2
0
null
1
0
max
1
0
=
2
0
++
2
2
0
nil
0
0
max
1
0
or
2
0
f
2
0
null
1
0
g
2
1
28958
not
1
0
mem
x
max
x
null
x
false
NaTT
certifiable-1.6