a__from
X
cons
mark
X
from
s
X
a__sel
0
cons
X
XS
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__minus
X
0
0
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__quot
0
s
Y
0
a__quot
s
X
s
Y
s
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
a__zWquot
XS
nil
nil
a__zWquot
nil
XS
nil
a__zWquot
cons
X
XS
cons
Y
YS
cons
a__quot
mark
X
mark
Y
zWquot
XS
YS
mark
from
X
a__from
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
0
0
mark
nil
nil
a__from
X
from
X
a__sel
X1
X2
sel
X1
X2
a__minus
X1
X2
minus
X1
X2
a__quot
X1
X2
quot
X1
X2
a__zWquot
X1
X2
zWquot
X1
X2
2.2
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__from
X
mark
X
mark
from
X
mark
X
a__quot
s
X
s
Y
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
mark
sel
X1
X2
mark
X2
mark
quot
X1
X2
mark
X1
mark
s
X
mark
X
a__minus
s
X
s
Y
mark
Y
mark
quot
X1
X2
mark
X2
mark
zWquot
X1
X2
mark
X1
a__quot
s
X
s
Y
a__minus
mark
X
mark
Y
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
a__zWquot
cons
X
XS
cons
Y
YS
mark
Y
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
from
X
a__from
mark
X
a__sel
s
N
cons
X
XS
mark
XS
a__minus
s
X
s
Y
mark
X
a__sel
s
N
cons
X
XS
mark
N
a__quot
s
X
s
Y
mark
Y
mark
zWquot
X1
X2
mark
X2
a__zWquot
cons
X
XS
cons
Y
YS
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__quot
s
X
s
Y
mark
Y
mark
minus
X1
X2
mark
X1
a__sel
0
cons
X
XS
mark
X
mark
sel
X1
X2
mark
X1
a__quot
s
X
s
Y
mark
X
mark
minus
X1
X2
mark
X2
a__zWquot
cons
X
XS
cons
Y
YS
a__quot
mark
X
mark
Y
true
a__zWquot
cons
X
XS
cons
Y
YS
a__quot
mark
X
mark
Y
mark
cons
X1
X2
mark
X1
mark
minus
X1
X2
mark
X2
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__quot
s
X
s
Y
a__minus
mark
X
mark
Y
a__quot
s
X
s
Y
mark
X
mark
zWquot
X1
X2
mark
X1
mark
quot
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
a__sel
0
cons
X
XS
mark
X
a__minus
s
X
s
Y
mark
Y
mark
minus
X1
X2
mark
X1
mark
s
X
mark
X
a__quot
s
X
s
Y
mark
Y
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
quot
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
a__quot
s
X
s
Y
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
mark
zWquot
X1
X2
mark
X2
a__zWquot
cons
X
XS
cons
Y
YS
mark
X
a__quot
s
X
s
Y
mark
Y
mark
from
X
mark
X
a__sel
s
N
cons
X
XS
mark
N
a__minus
s
X
s
Y
mark
X
a__sel
s
N
cons
X
XS
mark
XS
mark
from
X
a__from
mark
X
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__from
X
mark
X
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__zWquot
cons
X
XS
cons
Y
YS
mark
Y
true
a__minus
2
1
s
1
12214
a__zWquot
2
12214
a__from
1
12214
a__quot
2
1
0
minus
2
1
a__from
1
12214
a__zWquot
2
1
0
zWquot
2
0
a__quot
2
12214
mark
1
12214
0
0
1
quot
2
1
from
1
1
sel
2
1
a__minus
2
1
0
nil
0
0
a__sel
2
2
0
mark
1
12214
a__sel
2
12214
cons
2
12214
a__zWquot
cons
X
XS
cons
Y
YS
mark
Y
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__from
X
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
from
X
a__from
mark
X
a__sel
s
N
cons
X
XS
mark
XS
a__minus
s
X
s
Y
mark
X
a__sel
s
N
cons
X
XS
mark
N
mark
from
X
mark
X
a__quot
s
X
s
Y
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
mark
X
mark
zWquot
X1
X2
mark
X2
mark
sel
X1
X2
mark
X2
mark
quot
X1
X2
mark
X1
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__quot
s
X
s
Y
mark
Y
mark
s
X
mark
X
mark
minus
X1
X2
mark
X1
a__minus
s
X
s
Y
mark
Y
a__sel
0
cons
X
XS
mark
X
mark
sel
X1
X2
mark
X1
mark
quot
X1
X2
mark
X2
mark
zWquot
X1
X2
mark
X1
a__quot
s
X
s
Y
mark
X
a__quot
s
X
s
Y
a__minus
mark
X
mark
Y
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
mark
minus
X1
X2
mark
X2
mark
cons
X1
X2
mark
X1
a__zWquot
cons
X
XS
cons
Y
YS
a__quot
mark
X
mark
Y
mark
0
0
a__minus
X
0
0
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__zWquot
XS
nil
nil
a__from
X
cons
mark
X
from
s
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
X1
X2
sel
X1
X2
mark
nil
nil
mark
s
X
s
mark
X
a__minus
X1
X2
minus
X1
X2
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
cons
a__quot
mark
X
mark
Y
zWquot
XS
YS
a__quot
s
X
s
Y
s
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
a__from
X
from
X
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__quot
X1
X2
quot
X1
X2
a__zWquot
X1
X2
zWquot
X1
X2
mark
from
X
a__from
mark
X
a__zWquot
nil
XS
nil
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__quot
0
s
Y
0
a__sel
0
cons
X
XS
mark
X
mark
zWquot
X1
X2
mark
X2
mark
zWquot
X1
X2
mark
X1
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__from
X
mark
X
a__sel
s
N
cons
X
XS
mark
XS
a__sel
s
N
cons
X
XS
mark
N
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
a__minus
s
X
s
Y
mark
Y
a__minus
s
X
s
Y
mark
X
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
mark
X
a__zWquot
cons
X
XS
cons
Y
YS
a__quot
mark
X
mark
Y
a__quot
s
X
s
Y
mark
Y
a__quot
s
X
s
Y
mark
Y
a__quot
s
X
s
Y
mark
X
a__quot
s
X
s
Y
a__minus
mark
X
mark
Y
mark
quot
X1
X2
mark
X2
mark
quot
X1
X2
mark
X1
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
from
X
mark
X
mark
from
X
a__from
mark
X
mark
minus
X1
X2
mark
X2
mark
minus
X1
X2
mark
X1
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__sel
0
cons
X
XS
mark
X
true
a__minus
2
1
0
2
2
0
s
1
1
0
a__zWquot
2
1
46576
2
31893
0
a__from
1
1
31893
a__quot
2
1
31894
2
46575
0
minus
2
1
0
2
2
0
a__from
1
1
14682
a__zWquot
2
1
14685
2
29368
0
zWquot
2
1
14685
2
29368
0
a__quot
2
1
14684
2
14687
0
mark
1
1
31892
0
0
14688
quot
2
1
14684
2
14687
0
from
1
1
14682
sel
2
1
35660
2
35661
0
a__minus
2
1
31892
2
31893
0
nil
0
29369
a__sel
2
1
67552
2
52869
0
mark
1
1
0
a__sel
2
1
35660
2
35661
0
cons
2
1
14682
2
0
0
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
mark
minus
X1
X2
mark
X1
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__zWquot
cons
X
XS
cons
Y
YS
a__quot
mark
X
mark
Y
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__minus
s
X
s
Y
mark
X
mark
s
X
mark
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
0
0
a__minus
X
0
0
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__zWquot
XS
nil
nil
a__from
X
cons
mark
X
from
s
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
X1
X2
sel
X1
X2
mark
nil
nil
mark
s
X
s
mark
X
a__minus
X1
X2
minus
X1
X2
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
cons
a__quot
mark
X
mark
Y
zWquot
XS
YS
a__quot
s
X
s
Y
s
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
a__from
X
from
X
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__quot
X1
X2
quot
X1
X2
a__zWquot
X1
X2
zWquot
X1
X2
mark
from
X
a__from
mark
X
a__zWquot
nil
XS
nil
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__quot
0
s
Y
0
a__sel
0
cons
X
XS
mark
X
a__zWquot
cons
X
XS
cons
Y
YS
a__quot
mark
X
mark
Y
false
mark
s
X
mark
X
a__minus
s
X
s
Y
mark
X
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
mark
minus
X1
X2
mark
X1
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
true
a__minus
2
1
2334
2
2335
0
s
1
1
0
a__zWquot
2
0
a__from
1
31893
a__quot
2
0
minus
2
1
2334
2
2335
0
a__from
1
1
41379
a__zWquot
2
1
2336
2
2336
0
zWquot
2
1
2336
2
2336
0
a__quot
2
2
2335
0
mark
1
1
0
0
0
2335
quot
2
2
2335
0
from
1
1
41379
sel
2
2
0
0
a__minus
2
1
2332
2
2333
0
nil
0
2337
a__sel
2
0
mark
1
1
0
a__sel
2
2
0
0
cons
2
1
1
2
0
0
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
mark
s
X
mark
X
mark
0
0
a__minus
X
0
0
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__zWquot
XS
nil
nil
a__from
X
cons
mark
X
from
s
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
X1
X2
sel
X1
X2
mark
nil
nil
mark
s
X
s
mark
X
a__minus
X1
X2
minus
X1
X2
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
cons
a__quot
mark
X
mark
Y
zWquot
XS
YS
a__quot
s
X
s
Y
s
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
a__from
X
from
X
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__quot
X1
X2
quot
X1
X2
a__zWquot
X1
X2
zWquot
X1
X2
mark
from
X
a__from
mark
X
a__zWquot
nil
XS
nil
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__quot
0
s
Y
0
a__sel
0
cons
X
XS
mark
X
mark
s
X
mark
X
true
a__minus
2
3
s
1
1
1
a__zWquot
2
0
a__from
1
0
a__quot
2
0
minus
2
2
4
a__from
1
3
a__zWquot
2
1
1
zWquot
2
1
2
2
a__quot
2
1
29273
mark
1
1
0
0
0
4
quot
2
2
29274
from
1
1
4
sel
2
2
a__minus
2
0
nil
0
3
a__sel
2
0
mark
1
2
a__sel
2
1
1
cons
2
2
14461
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
true
mark
1
1
a__minus
2
1
s
1
1
1
a__zWquot
2
0
1
a__from
1
0
a__quot
2
0
minus
2
1
a__from
1
4
a__zWquot
2
4
1
2
zWquot
2
4
1
2
a__quot
2
2
1
mark
1
0
0
0
1
quot
2
2
1
from
1
4
sel
2
0
a__minus
2
1
1
nil
0
5
a__sel
2
0
a__sel
2
0
cons
2
3
1
a__minus
2
0
s
1
1
0
a__zWquot
2
1
1
a__from
1
1
a__quot
2
2
0
minus
2
0
a__from
1
1
29284
a__zWquot
2
1
2
29284
zWquot
2
1
2
29284
a__quot
2
1
0
0
mark
1
1
0
0
0
quot
2
1
0
0
from
1
1
29284
sel
2
2
29284
a__minus
2
1
0
nil
0
1
a__sel
2
1
1
a__sel
2
2
29284
cons
2
1
29283
2
0
0
mark
0
0
a__minus
X
0
0
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__zWquot
XS
nil
nil
a__from
X
cons
mark
X
from
s
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
X1
X2
sel
X1
X2
mark
nil
nil
mark
s
X
s
mark
X
a__minus
X1
X2
minus
X1
X2
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
cons
a__quot
mark
X
mark
Y
zWquot
XS
YS
a__quot
s
X
s
Y
s
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
a__from
X
from
X
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__quot
X1
X2
quot
X1
X2
a__zWquot
X1
X2
zWquot
X1
X2
mark
from
X
a__from
mark
X
a__zWquot
nil
XS
nil
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__quot
0
s
Y
0
a__sel
0
cons
X
XS
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
false
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
true
mark
1
1
a__minus
2
2
s
1
2
1
a__zWquot
2
0
1
a__from
1
0
a__quot
2
0
minus
2
2
a__from
1
5
a__zWquot
2
5
1
2
zWquot
2
5
1
2
a__quot
2
3
1
mark
1
0
0
0
2
quot
2
3
1
from
1
5
sel
2
1
a__minus
2
1
1
nil
0
6
a__sel
2
0
1
a__sel
2
1
cons
2
4
1
a__minus
2
0
s
1
1
0
a__zWquot
2
1
1
a__from
1
1
a__quot
2
2
0
minus
2
0
a__from
1
1
21657
a__zWquot
2
1
2
55190
zWquot
2
1
2
55190
a__quot
2
1
0
0
mark
1
1
0
0
0
quot
2
1
0
0
from
1
1
21657
sel
2
2
31893
a__minus
2
1
0
nil
0
1
a__sel
2
1
0
a__sel
2
2
31893
cons
2
1
1
2
0
0
mark
0
0
a__minus
X
0
0
mark
zWquot
X1
X2
a__zWquot
mark
X1
mark
X2
a__zWquot
XS
nil
nil
a__from
X
cons
mark
X
from
s
X
a__sel
s
N
cons
X
XS
a__sel
mark
N
mark
XS
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
X1
X2
sel
X1
X2
mark
nil
nil
mark
s
X
s
mark
X
a__minus
X1
X2
minus
X1
X2
a__minus
s
X
s
Y
a__minus
mark
X
mark
Y
a__zWquot
cons
X
XS
cons
Y
YS
cons
a__quot
mark
X
mark
Y
zWquot
XS
YS
a__quot
s
X
s
Y
s
a__quot
a__minus
mark
X
mark
Y
s
mark
Y
a__from
X
from
X
mark
quot
X1
X2
a__quot
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__quot
X1
X2
quot
X1
X2
a__zWquot
X1
X2
zWquot
X1
X2
mark
from
X
a__from
mark
X
a__zWquot
nil
XS
nil
mark
minus
X1
X2
a__minus
mark
X1
mark
X2
a__quot
0
s
Y
0
a__sel
0
cons
X
XS
mark
X
NaTT
certifiable-1.6