active
from
X
mark
cons
X
from
s
X
active
head
cons
X
XS
mark
X
active
2nd
cons
X
XS
mark
head
XS
active
take
0
XS
mark
nil
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
active
sel
0
cons
X
XS
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
from
X
from
active
X
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
head
X
head
active
X
active
2nd
X
2nd
active
X
active
take
X1
X2
take
active
X1
X2
active
take
X1
X2
take
X1
active
X2
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
from
mark
X
mark
from
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
head
mark
X
mark
head
X
2nd
mark
X
mark
2nd
X
take
mark
X1
X2
mark
take
X1
X2
take
X1
mark
X2
mark
take
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
proper
from
X
from
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
head
X
head
proper
X
proper
2nd
X
2nd
proper
X
proper
take
X1
X2
take
proper
X1
proper
X2
proper
0
ok
0
proper
nil
ok
nil
proper
sel
X1
X2
sel
proper
X1
proper
X2
from
ok
X
ok
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
s
ok
X
ok
s
X
head
ok
X
ok
head
X
2nd
ok
X
ok
2nd
X
take
ok
X1
ok
X2
ok
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
from
1
mark
1
cons
2
s
1
head
1
2nd
1
take
2
0
0
nil
0
sel
2
proper
1
ok
1
top
1
FULL
./TRS/TRCSR/Ex7_BLR02_C.trs