app
nil
YS
YS
app
cons
X
XS
YS
cons
X
n__app
activate
XS
YS
from
X
cons
X
n__from
s
X
zWadr
nil
YS
nil
zWadr
XS
nil
nil
zWadr
cons
X
XS
cons
Y
YS
cons
app
Y
cons
X
n__nil
n__zWadr
activate
XS
activate
YS
prefix
L
cons
nil
n__zWadr
L
prefix
L
app
X1
X2
n__app
X1
X2
from
X
n__from
X
nil
n__nil
zWadr
X1
X2
n__zWadr
X1
X2
activate
n__app
X1
X2
app
X1
X2
activate
n__from
X
from
X
activate
n__nil
nil
activate
n__zWadr
X1
X2
zWadr
X1
X2
activate
X
X
app
2
nil
0
cons
2
n__app
2
activate
1
from
1
n__from
1
s
1
zWadr
2
n__nil
0
n__zWadr
2
prefix
1
OUTERMOST
./TRS/outermost/TRCSR/Ex3_3_25_Bor03_Z.trs