active
app
nil
YS
mark
YS
active
app
cons
X
XS
YS
mark
cons
X
app
XS
YS
active
from
X
mark
cons
X
from
s
X
active
zWadr
nil
YS
mark
nil
active
zWadr
XS
nil
mark
nil
active
zWadr
cons
X
XS
cons
Y
YS
mark
cons
app
Y
cons
X
nil
zWadr
XS
YS
active
prefix
L
mark
cons
nil
zWadr
L
prefix
L
active
app
X1
X2
app
active
X1
X2
active
app
X1
X2
app
X1
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
from
X
from
active
X
active
s
X
s
active
X
active
zWadr
X1
X2
zWadr
active
X1
X2
active
zWadr
X1
X2
zWadr
X1
active
X2
active
prefix
X
prefix
active
X
app
mark
X1
X2
mark
app
X1
X2
app
X1
mark
X2
mark
app
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
from
mark
X
mark
from
X
s
mark
X
mark
s
X
zWadr
mark
X1
X2
mark
zWadr
X1
X2
zWadr
X1
mark
X2
mark
zWadr
X1
X2
prefix
mark
X
mark
prefix
X
proper
app
X1
X2
app
proper
X1
proper
X2
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
from
X
from
proper
X
proper
s
X
s
proper
X
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
proper
prefix
X
prefix
proper
X
app
ok
X1
ok
X2
ok
app
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
ok
X
ok
s
X
zWadr
ok
X1
ok
X2
ok
zWadr
X1
X2
prefix
ok
X
ok
prefix
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
app
2
nil
0
mark
1
cons
2
from
1
s
1
zWadr
2
prefix
1
proper
1
ok
1
top
1
INNERMOST
./TRS/TRCSR/inn/Ex3_3_25_Bor03_C.trs