a__app
nil
YS
mark
YS
a__app
cons
X
XS
YS
cons
mark
X
app
XS
YS
a__from
X
cons
mark
X
from
s
X
a__zWadr
nil
YS
nil
a__zWadr
XS
nil
nil
a__zWadr
cons
X
XS
cons
Y
YS
cons
a__app
mark
Y
cons
mark
X
nil
zWadr
XS
YS
a__prefix
L
cons
nil
zWadr
L
prefix
L
mark
app
X1
X2
a__app
mark
X1
mark
X2
mark
from
X
a__from
mark
X
mark
zWadr
X1
X2
a__zWadr
mark
X1
mark
X2
mark
prefix
X
a__prefix
mark
X
mark
nil
nil
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
a__app
X1
X2
app
X1
X2
a__from
X
from
X
a__zWadr
X1
X2
zWadr
X1
X2
a__prefix
X
prefix
X
2.2
a__zWadr
cons
X
XS
cons
Y
YS
a__app
mark
Y
cons
mark
X
nil
mark
from
X
a__from
mark
X
mark
zWadr
X1
X2
mark
X2
mark
prefix
X
mark
X
mark
zWadr
X1
X2
a__zWadr
mark
X1
mark
X2
mark
zWadr
X1
X2
mark
X1
a__from
X
mark
X
mark
from
X
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
app
X1
X2
mark
X1
mark
app
X1
X2
a__app
mark
X1
mark
X2
a__zWadr
cons
X
XS
cons
Y
YS
mark
Y
a__app
cons
X
XS
YS
mark
X
mark
prefix
X
a__prefix
mark
X
a__app
nil
YS
mark
YS
a__zWadr
cons
X
XS
cons
Y
YS
mark
X
mark
app
X1
X2
mark
X2
true
mark
app
X1
X2
mark
X2
a__zWadr
cons
X
XS
cons
Y
YS
mark
X
a__from
X
mark
X
a__app
nil
YS
mark
YS
mark
zWadr
X1
X2
mark
X1
a__app
cons
X
XS
YS
mark
X
a__zWadr
cons
X
XS
cons
Y
YS
mark
Y
mark
app
X1
X2
a__app
mark
X1
mark
X2
mark
zWadr
X1
X2
a__zWadr
mark
X1
mark
X2
mark
prefix
X
mark
X
mark
zWadr
X1
X2
mark
X2
mark
app
X1
X2
mark
X1
mark
from
X
a__from
mark
X
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
from
X
mark
X
a__zWadr
cons
X
XS
cons
Y
YS
a__app
mark
Y
cons
mark
X
nil
true
a__zWadr
2
1
2
4
s
1
1
1
a__from
1
1
2
a__prefix
1
1
18460
a__from
1
1
2
prefix
1
1
18460
a__app
2
1
2
0
a__app
2
1
2
2
zWadr
2
1
2
4
a__zWadr
2
1
2
4
a__prefix
1
0
mark
1
1
1
from
1
1
2
nil
0
18459
mark
1
1
0
cons
2
1
1
app
2
1
2
2
a__app
cons
X
XS
YS
mark
X
a__prefix
X
prefix
X
a__zWadr
nil
YS
nil
a__app
X1
X2
app
X1
X2
mark
app
X1
X2
a__app
mark
X1
mark
X2
a__app
nil
YS
mark
YS
a__from
X
cons
mark
X
from
s
X
a__from
X
from
X
a__zWadr
X1
X2
zWadr
X1
X2
a__zWadr
XS
nil
nil
mark
zWadr
X1
X2
a__zWadr
mark
X1
mark
X2
a__prefix
L
cons
nil
zWadr
L
prefix
L
mark
s
X
s
mark
X
mark
nil
nil
mark
prefix
X
a__prefix
mark
X
mark
from
X
a__from
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__zWadr
cons
X
XS
cons
Y
YS
cons
a__app
mark
Y
cons
mark
X
nil
zWadr
XS
YS
a__app
cons
X
XS
YS
cons
mark
X
app
XS
YS
a__app
cons
X
XS
YS
mark
X
false
mark
prefix
X
a__prefix
mark
X
false
NaTT
certifiable-1.6