from
X
cons
X
n__from
n__s
X
sel
0
cons
X
XS
X
sel
s
N
cons
X
XS
sel
N
activate
XS
minus
X
0
0
minus
s
X
s
Y
minus
X
Y
quot
0
s
Y
0
quot
s
X
s
Y
s
quot
minus
X
Y
s
Y
zWquot
XS
nil
nil
zWquot
nil
XS
nil
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
n__zWquot
activate
XS
activate
YS
from
X
n__from
X
s
X
n__s
X
zWquot
X1
X2
n__zWquot
X1
X2
activate
n__from
X
from
activate
X
activate
n__s
X
s
activate
X
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
activate
X
X
2.2
activate
n__from
X
activate
X
zWquot
cons
X
XS
cons
Y
YS
quot
X
Y
sel
s
N
cons
X
XS
sel
N
activate
XS
minus
s
X
s
Y
minus
X
Y
activate
n__zWquot
X1
X2
activate
X1
activate
n__zWquot
X1
X2
activate
X2
sel
s
N
cons
X
XS
activate
XS
zWquot
cons
X
XS
cons
Y
YS
activate
XS
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
quot
s
X
s
Y
minus
X
Y
activate
n__s
X
activate
X
quot
s
X
s
Y
s
quot
minus
X
Y
s
Y
activate
n__from
X
from
activate
X
zWquot
cons
X
XS
cons
Y
YS
activate
YS
activate
n__s
X
s
activate
X
quot
s
X
s
Y
quot
minus
X
Y
s
Y
true
sel
s
N
cons
X
XS
sel
N
activate
XS
true
s
1
1
1
zWquot
2
0
minus
2
1
1
activate
1
1
n__from
1
1
3
activate
1
0
zWquot
2
2
n__zWquot
2
1
2
3
n__s
1
2
0
0
1
quot
2
1
2
2
sel
2
1
0
from
1
2
sel
2
0
s
1
0
nil
0
3
minus
2
0
from
1
0
cons
2
1
3
quot
2
0
minus
X
0
0
minus
s
X
s
Y
minus
X
Y
sel
s
N
cons
X
XS
activate
XS
false
activate
n__zWquot
X1
X2
activate
X2
zWquot
cons
X
XS
cons
Y
YS
activate
YS
activate
n__s
X
activate
X
activate
n__zWquot
X1
X2
activate
X1
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
zWquot
cons
X
XS
cons
Y
YS
activate
XS
activate
n__from
X
activate
X
true
s
1
1
0
zWquot
2
1
2
1
minus
2
1
activate
1
1
0
n__from
1
1
20977
activate
1
1
0
zWquot
2
1
2
31893
n__zWquot
2
1
2
31893
n__s
1
1
0
0
0
1
quot
2
21656
sel
2
0
from
1
1
20977
sel
2
0
s
1
0
nil
0
0
minus
2
0
from
1
0
cons
2
2
0
quot
2
0
activate
n__s
X
activate
X
minus
X
0
0
activate
n__s
X
s
activate
X
zWquot
XS
nil
nil
from
X
cons
X
n__from
n__s
X
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
activate
X
X
minus
s
X
s
Y
minus
X
Y
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
n__zWquot
activate
XS
activate
YS
activate
n__from
X
from
activate
X
s
X
n__s
X
from
X
n__from
X
zWquot
nil
XS
nil
zWquot
X1
X2
n__zWquot
X1
X2
activate
n__s
X
activate
X
true
s
1
1
0
zWquot
2
1
minus
2
1
activate
1
0
n__from
1
1
1
activate
1
1
0
zWquot
2
0
n__zWquot
2
0
n__s
1
1
1
0
0
1
quot
2
23612
sel
2
0
from
1
1
2
sel
2
0
s
1
0
nil
0
0
minus
2
0
from
1
0
cons
2
2
0
quot
2
0
minus
X
0
0
zWquot
XS
nil
nil
from
X
cons
X
n__from
n__s
X
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
minus
s
X
s
Y
minus
X
Y
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
n__zWquot
activate
XS
activate
YS
from
X
n__from
X
zWquot
nil
XS
nil
zWquot
X1
X2
n__zWquot
X1
X2
zWquot
cons
X
XS
cons
Y
YS
quot
X
Y
false
quot
s
X
s
Y
quot
minus
X
Y
s
Y
true
s
1
1
2
zWquot
2
1
minus
2
1
1
activate
1
0
n__from
1
1
1
activate
1
0
zWquot
2
0
n__zWquot
2
0
n__s
1
1
3
0
0
1
quot
2
23612
sel
2
0
from
1
1
4
sel
2
0
s
1
0
nil
0
0
minus
2
0
from
1
0
cons
2
2
0
quot
2
1
0
minus
X
0
0
zWquot
XS
nil
nil
from
X
cons
X
n__from
n__s
X
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
minus
s
X
s
Y
minus
X
Y
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
n__zWquot
activate
XS
activate
YS
from
X
n__from
X
zWquot
nil
XS
nil
zWquot
X1
X2
n__zWquot
X1
X2
quot
s
X
s
Y
s
quot
minus
X
Y
s
Y
false
quot
s
X
s
Y
minus
X
Y
false
minus
s
X
s
Y
minus
X
Y
true
s
1
1
1
zWquot
2
1
minus
2
1
1
activate
1
0
n__from
1
1
2
activate
1
0
zWquot
2
0
n__zWquot
2
0
n__s
1
1
2
0
0
1
quot
2
23612
sel
2
0
from
1
1
4
sel
2
0
s
1
0
nil
0
0
minus
2
1
0
from
1
0
cons
2
2
0
quot
2
1
0
minus
X
0
0
zWquot
XS
nil
nil
from
X
cons
X
n__from
n__s
X
activate
n__zWquot
X1
X2
zWquot
activate
X1
activate
X2
minus
s
X
s
Y
minus
X
Y
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
n__zWquot
activate
XS
activate
YS
from
X
n__from
X
zWquot
nil
XS
nil
zWquot
X1
X2
n__zWquot
X1
X2
activate
n__from
X
from
activate
X
false
activate
n__s
X
s
activate
X
false
NaTT
certifiable-1.6