active
from
X
mark
cons
X
from
s
X
active
sel
0
cons
X
XS
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
minus
X
0
mark
0
active
minus
s
X
s
Y
mark
minus
X
Y
active
quot
0
s
Y
mark
0
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
active
zWquot
XS
nil
mark
nil
active
zWquot
nil
XS
mark
nil
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
mark
nil
active
nil
from
mark
X
from
X
from
active
X
from
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
minus
mark
X1
X2
minus
X1
X2
minus
X1
mark
X2
minus
X1
X2
minus
active
X1
X2
minus
X1
X2
minus
X1
active
X2
minus
X1
X2
quot
mark
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
quot
active
X1
X2
quot
X1
X2
quot
X1
active
X2
quot
X1
X2
zWquot
mark
X1
X2
zWquot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
2.2
zWquot
X1
active
X2
zWquot
X1
X2
sel
mark
X1
X2
sel
X1
X2
cons
X1
active
X2
cons
X1
X2
quot
X1
active
X2
quot
X1
X2
active
zWquot
XS
nil
mark
nil
s
active
X
s
X
active
minus
s
X
s
Y
minus
X
Y
active
minus
s
X
s
Y
mark
minus
X
Y
active
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
zWquot
XS
YS
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
mark
X
s
X
mark
zWquot
X1
X2
mark
X1
mark
quot
X1
X2
quot
mark
X1
mark
X2
mark
minus
X1
X2
mark
X1
active
sel
s
N
cons
X
XS
sel
N
XS
active
zWquot
cons
X
XS
cons
Y
YS
quot
X
Y
zWquot
X1
mark
X2
zWquot
X1
X2
mark
minus
X1
X2
mark
X2
from
active
X
from
X
mark
0
active
0
minus
X1
mark
X2
minus
X1
X2
minus
mark
X1
X2
minus
X1
X2
mark
s
X
mark
X
active
quot
0
s
Y
mark
0
mark
s
X
active
s
mark
X
mark
minus
X1
X2
minus
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
zWquot
X1
X2
zWquot
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
minus
active
X1
X2
minus
X1
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
mark
s
X
s
mark
X
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
zWquot
nil
XS
mark
nil
active
from
X
mark
cons
X
from
s
X
from
mark
X
from
X
mark
nil
active
nil
mark
quot
X1
X2
mark
X1
mark
sel
X1
X2
sel
mark
X1
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
quot
X1
mark
X2
quot
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
zWquot
XS
YS
zWquot
mark
X1
X2
zWquot
X1
X2
active
from
X
from
s
X
active
quot
s
X
s
Y
quot
minus
X
Y
s
Y
mark
zWquot
X1
X2
mark
X2
zWquot
active
X1
X2
zWquot
X1
X2
cons
mark
X1
X2
cons
X1
X2
active
from
X
s
X
sel
active
X1
X2
sel
X1
X2
mark
cons
X1
X2
mark
X1
active
quot
s
X
s
Y
minus
X
Y
mark
sel
X1
X2
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
from
X
mark
X
active
quot
s
X
s
Y
s
quot
minus
X
Y
s
Y
cons
X1
mark
X2
cons
X1
X2
active
from
X
cons
X
from
s
X
mark
sel
X1
X2
mark
X1
active
minus
X
0
mark
0
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
mark
cons
X1
X2
cons
mark
X1
X2
mark
from
X
from
mark
X
sel
X1
mark
X2
sel
X1
X2
active
sel
0
cons
X
XS
mark
X
quot
mark
X1
X2
quot
X1
X2
quot
active
X1
X2
quot
X1
X2
mark
from
X
active
from
mark
X
minus
X1
active
X2
minus
X1
X2
mark
quot
X1
X2
mark
X2
cons
active
X1
X2
cons
X1
X2
true
mark
quot
X1
X2
mark
X2
mark
quot
X1
X2
mark
X1
active
from
X
mark
cons
X
from
s
X
mark
from
X
active
from
mark
X
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
sel
0
cons
X
XS
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
mark
sel
X1
X2
mark
X1
mark
s
X
active
s
mark
X
mark
s
X
mark
X
mark
from
X
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
mark
X2
mark
sel
X1
X2
mark
X2
mark
minus
X1
X2
mark
X1
mark
zWquot
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
zWquot
X1
X2
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
cons
X1
X2
active
cons
mark
X1
X2
true
cons
2
0
s
1
24867
zWquot
2
0
minus
2
24868
zWquot
2
24868
mark
1
24868
0
0
1
quot
2
24868
sel
2
0
from
1
24868
sel
2
24868
s
1
0
nil
0
1
mark
1
1
minus
2
0
from
1
0
active
1
2
cons
2
1
active
1
1
0
quot
2
0
active
minus
s
X
s
Y
mark
minus
X
Y
mark
zWquot
X1
X2
mark
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
zWquot
X1
X2
mark
X1
mark
minus
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
mark
minus
X1
X2
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
from
X
mark
X
mark
s
X
mark
X
mark
sel
X1
X2
mark
X1
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
0
cons
X
XS
mark
X
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
from
X
active
from
mark
X
active
from
X
mark
cons
X
from
s
X
mark
quot
X1
X2
mark
X1
mark
quot
X1
X2
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
minus
mark
X1
X2
minus
X1
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
minus
X1
mark
X2
minus
X1
X2
quot
X1
active
X2
quot
X1
X2
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
zWquot
mark
X1
X2
zWquot
X1
X2
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
mark
zWquot
X1
X2
mark
X2
mark
zWquot
X1
X2
mark
X1
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
mark
X2
mark
minus
X1
X2
mark
X1
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
quot
X1
X2
mark
X2
mark
quot
X1
X2
mark
X1
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
from
X
mark
X
mark
from
X
active
from
mark
X
mark
s
X
mark
X
active
sel
0
cons
X
XS
mark
X
true
cons
2
0
s
1
1
0
zWquot
2
0
minus
2
1
0
2
1
0
zWquot
2
1
25438
2
16580
0
mark
1
1
0
0
0
7723
quot
2
1
7720
2
7722
0
sel
2
0
from
1
1
30096
sel
2
1
2439
2
2438
0
s
1
0
nil
0
25439
mark
1
1
0
minus
2
0
from
1
0
active
1
1
0
cons
2
1
8857
2
0
0
active
1
1
0
quot
2
0
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
active
minus
s
X
s
Y
mark
minus
X
Y
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
minus
X1
X2
mark
X1
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
from
X
mark
cons
X
from
s
X
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
minus
X
0
mark
0
mark
0
active
0
active
zWquot
XS
nil
mark
nil
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
mark
nil
active
nil
minus
mark
X1
X2
minus
X1
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
minus
s
X
s
Y
mark
minus
X
Y
minus
X1
mark
X2
minus
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
quot
X1
active
X2
quot
X1
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
active
zWquot
nil
XS
mark
nil
mark
s
X
active
s
mark
X
zWquot
mark
X1
X2
zWquot
X1
X2
active
quot
0
s
Y
mark
0
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
active
sel
0
cons
X
XS
mark
X
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
mark
X1
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
true
cons
2
0
s
1
1
0
zWquot
2
0
minus
2
1
2
2
1
0
zWquot
2
0
mark
1
1
0
0
0
0
quot
2
0
sel
2
0
from
1
1
1
sel
2
1
1
2
23022
0
s
1
0
nil
0
0
mark
1
1
0
minus
2
0
from
1
0
active
1
1
0
cons
2
1
0
2
0
0
active
1
1
0
quot
2
0
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
active
minus
s
X
s
Y
mark
minus
X
Y
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
from
X
mark
cons
X
from
s
X
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
minus
X
0
mark
0
mark
0
active
0
active
zWquot
XS
nil
mark
nil
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
mark
nil
active
nil
minus
mark
X1
X2
minus
X1
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
minus
s
X
s
Y
mark
minus
X
Y
minus
X1
mark
X2
minus
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
quot
X1
active
X2
quot
X1
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
active
zWquot
nil
XS
mark
nil
mark
s
X
active
s
mark
X
zWquot
mark
X1
X2
zWquot
X1
X2
active
quot
0
s
Y
mark
0
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
active
sel
0
cons
X
XS
mark
X
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
true
cons
2
0
s
1
1
0
zWquot
2
0
minus
2
5970
zWquot
2
1
5971
mark
1
1
0
0
0
5972
quot
2
5970
sel
2
0
from
1
5971
sel
2
5970
s
1
0
nil
0
5973
mark
1
1
17525
minus
2
0
from
1
0
active
1
1
17526
cons
2
5969
active
1
5970
quot
2
0
mark
s
X
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
active
minus
s
X
s
Y
mark
minus
X
Y
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
minus
mark
X1
X2
minus
X1
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
minus
X1
mark
X2
minus
X1
X2
quot
X1
active
X2
quot
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
s
X
mark
X
true
cons
2
1
mark
1
1
s
1
1
mark
1
1
active
1
1
active
1
1
s
1
3
1
zWquot
2
0
minus
2
2
zWquot
2
4
1
0
0
0
quot
2
4
1
sel
2
0
from
1
5
sel
2
3
nil
0
1
minus
2
0
2
1
from
1
0
cons
2
4
quot
2
0
s
1
1
0
zWquot
2
2
1
minus
2
0
zWquot
2
1
2
1
0
0
0
quot
2
1
7580
0
sel
2
1
2
1
from
1
1
38693
sel
2
2
19794
nil
0
0
minus
2
1
1
2
1
0
from
1
1
cons
2
1
7581
2
0
0
quot
2
1
1
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
minus
X
0
mark
0
mark
0
active
0
active
zWquot
XS
nil
mark
nil
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
mark
nil
active
nil
minus
mark
X1
X2
minus
X1
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
minus
s
X
s
Y
mark
minus
X
Y
minus
X1
mark
X2
minus
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
quot
X1
active
X2
quot
X1
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
active
zWquot
nil
XS
mark
nil
mark
s
X
active
s
mark
X
zWquot
mark
X1
X2
zWquot
X1
X2
active
quot
0
s
Y
mark
0
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
active
sel
0
cons
X
XS
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
true
cons
2
0
s
1
1
zWquot
2
0
minus
2
24703
zWquot
2
1
1
mark
1
1
0
0
0
1
quot
2
2
24704
sel
2
0
from
1
1
sel
2
24703
s
1
0
nil
0
1
mark
1
1
minus
2
0
from
1
0
active
1
2
cons
2
1
active
1
24703
quot
2
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
s
mark
X
s
X
minus
mark
X1
X2
minus
X1
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
minus
X1
mark
X2
minus
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
true
cons
2
1
s
1
1
mark
1
1
active
1
1
s
1
4
1
zWquot
2
0
minus
2
2
zWquot
2
5
mark
1
2
1
0
0
0
quot
2
6
1
sel
2
0
from
1
5
1
sel
2
3
1
nil
0
0
minus
2
0
2
1
from
1
0
cons
2
5
active
1
2
1
quot
2
0
s
1
1
0
zWquot
2
2
1
minus
2
0
zWquot
2
1
27849
mark
1
1
2
0
0
0
quot
2
1
14023
0
sel
2
1
2
1
from
1
1
1770
sel
2
1
2
9246
nil
0
27848
minus
2
1
1
2
1
0
from
1
1
cons
2
1
1
2
0
0
active
1
1
2
quot
2
1
1
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
minus
X
0
mark
0
mark
0
active
0
active
zWquot
XS
nil
mark
nil
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
mark
nil
active
nil
minus
mark
X1
X2
minus
X1
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
minus
s
X
s
Y
mark
minus
X
Y
minus
X1
mark
X2
minus
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
quot
X1
active
X2
quot
X1
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
active
zWquot
nil
XS
mark
nil
mark
s
X
active
s
mark
X
zWquot
mark
X1
X2
zWquot
X1
X2
active
quot
0
s
Y
mark
0
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
active
sel
0
cons
X
XS
mark
X
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
true
cons
2
0
s
1
1
zWquot
2
0
minus
2
2
zWquot
2
1
mark
1
2
0
0
1
quot
2
1
sel
2
0
from
1
1
sel
2
1
s
1
0
nil
0
1
mark
1
1
minus
2
0
from
1
0
active
1
1
cons
2
1
active
1
1
0
quot
2
0
active
minus
s
X
s
Y
mark
minus
X
Y
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
minus
X
0
mark
0
mark
0
active
0
active
zWquot
XS
nil
mark
nil
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
mark
nil
active
nil
minus
mark
X1
X2
minus
X1
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
minus
s
X
s
Y
mark
minus
X
Y
minus
X1
mark
X2
minus
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
quot
X1
active
X2
quot
X1
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
active
zWquot
nil
XS
mark
nil
mark
s
X
active
s
mark
X
zWquot
mark
X1
X2
zWquot
X1
X2
active
quot
0
s
Y
mark
0
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
active
sel
0
cons
X
XS
mark
X
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
active
minus
s
X
s
Y
mark
minus
X
Y
true
cons
2
1
s
1
1
mark
1
1
active
1
1
s
1
3
1
zWquot
2
0
minus
2
2
1
zWquot
2
5
mark
1
3
1
0
0
0
quot
2
6
1
sel
2
0
from
1
4
1
sel
2
4
nil
0
0
minus
2
0
2
1
from
1
0
cons
2
4
1
active
1
3
1
quot
2
0
s
1
1
0
zWquot
2
2
1
minus
2
1
0
0
zWquot
2
1
82834
mark
1
1
1
0
0
0
quot
2
1
56460
0
sel
2
1
2
1
from
1
1
42249
sel
2
2
46734
nil
0
0
minus
2
1
1
2
1
0
from
1
1
cons
2
1
26373
2
0
0
active
1
1
1
quot
2
1
1
0
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
mark
zWquot
X1
X2
active
zWquot
mark
X1
mark
X2
active
minus
X
0
mark
0
mark
0
active
0
active
zWquot
XS
nil
mark
nil
active
from
X
mark
cons
X
from
s
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
from
active
X
from
X
quot
mark
X1
X2
quot
X1
X2
s
mark
X
s
X
mark
nil
active
nil
minus
mark
X1
X2
minus
X1
X2
mark
quot
X1
X2
active
quot
mark
X1
mark
X2
s
active
X
s
X
minus
active
X1
X2
minus
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
minus
s
X
s
Y
mark
minus
X
Y
minus
X1
mark
X2
minus
X1
X2
active
zWquot
cons
X
XS
cons
Y
YS
mark
cons
quot
X
Y
zWquot
XS
YS
quot
X1
active
X2
quot
X1
X2
active
quot
s
X
s
Y
mark
s
quot
minus
X
Y
s
Y
from
mark
X
from
X
cons
X1
active
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
X1
active
X2
sel
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
active
zWquot
nil
XS
mark
nil
mark
s
X
active
s
mark
X
zWquot
mark
X1
X2
zWquot
X1
X2
active
quot
0
s
Y
mark
0
quot
active
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
minus
X1
active
X2
minus
X1
X2
sel
X1
mark
X2
sel
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
active
sel
0
cons
X
XS
mark
X
mark
minus
X1
X2
active
minus
mark
X1
mark
X2
false
mark
s
X
s
mark
X
false
active
quot
0
s
Y
mark
0
false
active
zWquot
nil
XS
mark
nil
false
mark
from
X
from
mark
X
false
mark
cons
X1
X2
cons
mark
X1
X2
false
active
quot
s
X
s
Y
s
quot
minus
X
Y
s
Y
false
active
quot
s
X
s
Y
quot
minus
X
Y
s
Y
false
active
quot
s
X
s
Y
minus
X
Y
false
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
active
zWquot
cons
X
XS
cons
Y
YS
cons
quot
X
Y
zWquot
XS
YS
false
active
zWquot
cons
X
XS
cons
Y
YS
quot
X
Y
false
active
zWquot
cons
X
XS
cons
Y
YS
zWquot
XS
YS
false
mark
quot
X1
X2
quot
mark
X1
mark
X2
false
quot
active
X1
X2
quot
X1
X2
quot
mark
X1
X2
quot
X1
X2
quot
X1
mark
X2
quot
X1
X2
quot
X1
active
X2
quot
X1
X2
true
cons
2
0
s
1
21069
zWquot
2
0
minus
2
1941
zWquot
2
1
21065
mark
1
1
0
0
21069
quot
2
21067
sel
2
0
from
1
30860
sel
2
1
56475
s
1
0
nil
0
21067
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
30862
active
1
0
quot
2
2
0
quot
mark
X1
X2
quot
X1
X2
quot
active
X1
X2
quot
X1
X2
quot
mark
X1
X2
quot
X1
X2
quot
active
X1
X2
quot
X1
X2
true
cons
2
0
s
1
16961
zWquot
2
0
minus
2
765
zWquot
2
1
16957
mark
1
1
0
0
16961
quot
2
16959
sel
2
0
from
1
3137
sel
2
1
26087
s
1
0
nil
0
16959
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
3139
active
1
0
quot
2
1
0
active
minus
s
X
s
Y
minus
X
Y
false
mark
minus
X1
X2
minus
mark
X1
mark
X2
false
minus
X1
active
X2
minus
X1
X2
minus
active
X1
X2
minus
X1
X2
minus
mark
X1
X2
minus
X1
X2
minus
X1
mark
X2
minus
X1
X2
true
cons
2
0
s
1
1664
zWquot
2
0
minus
2
2
30753
zWquot
2
1
1660
mark
1
1
0
0
26987
quot
2
1662
sel
2
0
from
1
1
sel
2
1
33102
s
1
0
nil
0
1662
mark
1
1
1
minus
2
2
0
from
1
0
active
1
1
2
cons
2
1
3
active
1
0
quot
2
0
minus
mark
X1
X2
minus
X1
X2
minus
active
X1
X2
minus
X1
X2
minus
mark
X1
X2
minus
X1
X2
minus
active
X1
X2
minus
X1
X2
true
cons
2
0
s
1
15910
zWquot
2
0
minus
2
2
1
zWquot
2
1
1
mark
1
1
0
0
18403
quot
2
15908
sel
2
0
from
1
10127
sel
2
1
11248
s
1
0
nil
0
3
mark
1
1
1
minus
2
1
0
from
1
0
active
1
1
2
cons
2
1
10129
active
1
0
quot
2
0
active
sel
s
N
cons
X
XS
sel
N
XS
false
sel
X1
active
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
8677
zWquot
2
0
minus
2
2
29509
zWquot
2
1
8673
mark
1
1
0
0
18403
quot
2
8675
sel
2
1
0
from
1
11403
sel
2
1
16837
s
1
0
nil
0
8675
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
11405
active
1
0
quot
2
0
sel
X1
mark
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
true
cons
2
0
s
1
1330
zWquot
2
0
minus
2
2
23235
zWquot
2
1
1326
mark
1
1
0
0
1330
quot
2
1328
sel
2
2
0
from
1
875
sel
2
1
36320
s
1
0
nil
0
8675
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
11405
active
1
0
quot
2
0
mark
zWquot
X1
X2
zWquot
mark
X1
mark
X2
false
zWquot
X1
mark
X2
zWquot
X1
X2
zWquot
active
X1
X2
zWquot
X1
X2
zWquot
mark
X1
X2
zWquot
X1
X2
zWquot
X1
active
X2
zWquot
X1
X2
true
cons
2
0
s
1
5
zWquot
2
1
2
0
minus
2
2
1
zWquot
2
1
1
mark
1
1
0
0
2492
quot
2
3
sel
2
0
from
1
12340
sel
2
1
18887
s
1
0
nil
0
15698
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
12342
active
1
0
quot
2
0
active
from
X
cons
X
from
s
X
false
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
true
cons
2
1
0
s
1
5613
zWquot
2
0
minus
2
2
16393
zWquot
2
1
1
mark
1
1
0
0
8097
quot
2
3
sel
2
0
from
1
8517
sel
2
1
24853
s
1
0
nil
0
21294
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
8519
active
1
0
quot
2
0
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
2
0
s
1
5
zWquot
2
0
minus
2
2
1
zWquot
2
1
1
mark
1
1
0
0
5
quot
2
3
sel
2
0
from
1
3342
sel
2
1
21443
s
1
0
nil
0
21294
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
3344
active
1
0
quot
2
0
active
from
X
from
s
X
false
from
mark
X
from
X
from
active
X
from
X
true
cons
2
0
s
1
23105
zWquot
2
0
minus
2
2
13068
zWquot
2
1
1
mark
1
1
0
0
5
quot
2
3
sel
2
0
from
1
29655
sel
2
1
38231
s
1
0
nil
0
31608
mark
1
1
1
minus
2
0
from
1
1
0
active
1
1
2
cons
2
1
29657
active
1
0
quot
2
0
active
from
X
s
X
false
s
mark
X
s
X
s
active
X
s
X
true
cons
2
0
s
1
17947
zWquot
2
0
minus
2
2
28660
zWquot
2
1
17943
mark
1
1
0
0
17947
quot
2
17945
sel
2
0
from
1
592
sel
2
1
50844
s
1
1
0
nil
0
17945
mark
1
1
1
minus
2
0
from
1
0
active
1
1
2
cons
2
1
594
active
1
0
quot
2
0
active
zWquot
XS
nil
mark
nil
false
mark
nil
active
nil
false
active
minus
X
0
mark
0
false
mark
0
active
0
false
NaTT
certifiable-1.6