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
a__app
2
nil
0
mark
1
cons
2
app
2
a__from
1
from
1
s
1
a__zWadr
2
zWadr
2
a__prefix
1
prefix
1
INNERMOST
./TRS/TRCSR/Ex3_3_25_Bor03_GM.trs