purge
nil
nil
purge
.
x
y
.
x
purge
remove
x
y
remove
x
nil
nil
remove
x
.
y
z
if
=
x
y
remove
x
z
.
y
remove
x
z
2.2
purge
.
x
y
remove
x
y
remove
x
.
y
z
remove
x
z
purge
.
x
y
purge
remove
x
y
remove
x
.
y
z
remove
x
z
true
purge
.
x
y
purge
remove
x
y
true
purge
1
1
0
purge
1
0
if
3
1
2
0
=
2
1
nil
0
16575
.
2
1
2
23677
remove
2
0
remove
2
1
2
23676
remove
x
.
y
z
if
=
x
y
remove
x
z
.
y
remove
x
z
remove
x
nil
nil
purge
.
x
y
remove
x
y
false
remove
x
.
y
z
remove
x
z
remove
x
.
y
z
remove
x
z
true
purge
1
1
0
purge
1
0
if
3
1
2
0
=
2
1
nil
0
16575
.
2
1
2
23677
remove
2
2
0
remove
2
1
2
20163
remove
x
.
y
z
if
=
x
y
remove
x
z
.
y
remove
x
z
remove
x
nil
nil
NaTT
certifiable-1.6