app
nil
YS
YS
app
cons
X
XS
YS
cons
X
n__app
activate
XS
YS
from
X
cons
X
n__from
n__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
n__prefix
L
app
X1
X2
n__app
X1
X2
from
X
n__from
X
s
X
n__s
X
nil
n__nil
zWadr
X1
X2
n__zWadr
X1
X2
prefix
X
n__prefix
X
activate
n__app
X1
X2
app
activate
X1
activate
X2
activate
n__from
X
from
activate
X
activate
n__s
X
s
activate
X
activate
n__nil
nil
activate
n__zWadr
X1
X2
zWadr
activate
X1
activate
X2
activate
n__prefix
X
prefix
activate
X
activate
X
X
app
2
nil
0
cons
2
n__app
2
activate
1
from
1
n__from
1
n__s
1
zWadr
2
n__nil
0
n__zWadr
2
prefix
1
n__prefix
1
s
1
FULL
./TRS/TRCSR/Ex3_3_25_Bor03_FR.trs