eq
0
0
true
eq
0
s
X
false
eq
s
X
0
false
eq
s
X
s
Y
eq
X
Y
rm
N
nil
nil
rm
N
add
M
X
ifrm
eq
N
M
N
add
M
X
ifrm
true
N
add
M
X
rm
N
X
ifrm
false
N
add
M
X
add
M
rm
N
X
purge
nil
nil
purge
add
N
X
add
N
purge
rm
N
X
2.2
rm
N
add
M
X
eq
N
M
ifrm
false
N
add
M
X
rm
N
X
eq
s
X
s
Y
eq
X
Y
purge
add
N
X
rm
N
X
ifrm
true
N
add
M
X
rm
N
X
rm
N
add
M
X
ifrm
eq
N
M
N
add
M
X
purge
add
N
X
purge
rm
N
X
true
purge
add
N
X
purge
rm
N
X
true
ifrm
3
0
s
1
1
purge
1
1
0
eq
2
1
false
0
1
true
0
1
purge
1
0
eq
2
0
0
0
1
ifrm
3
2
3
1
nil
0
1
add
2
1
2
2
rm
2
1
2
1
rm
2
0
eq
s
X
s
Y
eq
X
Y
ifrm
false
N
add
M
X
add
M
rm
N
X
eq
0
0
true
eq
s
X
0
false
rm
N
nil
nil
ifrm
true
N
add
M
X
rm
N
X
rm
N
add
M
X
ifrm
eq
N
M
N
add
M
X
eq
0
s
X
false
purge
add
N
X
rm
N
X
false
rm
N
add
M
X
ifrm
eq
N
M
N
add
M
X
ifrm
true
N
add
M
X
rm
N
X
ifrm
false
N
add
M
X
rm
N
X
true
ifrm
3
1
2
3
0
s
1
1
purge
1
1
0
eq
2
9227
false
0
9227
true
0
9227
purge
1
0
eq
2
0
0
0
1
ifrm
3
2
3
1
nil
0
36459
add
2
2
2
rm
2
1
2
1
rm
2
1
2
9228
eq
s
X
s
Y
eq
X
Y
ifrm
false
N
add
M
X
add
M
rm
N
X
eq
0
0
true
eq
s
X
0
false
rm
N
nil
nil
ifrm
true
N
add
M
X
rm
N
X
rm
N
add
M
X
ifrm
eq
N
M
N
add
M
X
eq
0
s
X
false
rm
N
add
M
X
eq
N
M
false
eq
s
X
s
Y
eq
X
Y
true
ifrm
3
1
0
s
1
1
1
purge
1
1
0
eq
2
9227
false
0
1
true
0
9227
purge
1
0
eq
2
1
2
0
0
0
1
ifrm
3
2
3
17678
nil
0
1
add
2
2
1
rm
2
1
2
17678
rm
2
9228
eq
s
X
s
Y
eq
X
Y
ifrm
false
N
add
M
X
add
M
rm
N
X
eq
0
0
true
eq
s
X
0
false
rm
N
nil
nil
ifrm
true
N
add
M
X
rm
N
X
rm
N
add
M
X
ifrm
eq
N
M
N
add
M
X
eq
0
s
X
false
NaTT
certifiable-1.6