from
`X`
cons
`X`
n__from
s
`X`
head
cons
`X`
`XS`
`X`
2nd
cons
`X`
`XS`
head
activate
`XS`
take
0
`XS`
nil
take
s
`N`
cons
`X`
`XS`
cons
`X`
n__take
`N`
activate
`XS`
sel
0
cons
`X`
`XS`
`X`
sel
s
`N`
cons
`X`
`XS`
sel
`N`
activate
`XS`
from
`X`
n__from
`X`
take
`X1`
`X2`
n__take
`X1`
`X2`
activate
n__from
`X`
from
`X`
activate
n__take
`X1`
`X2`
take
`X1`
`X2`
activate
`X`
`X`
from
1
cons
2
n__from
1
s
1
head
1
2nd
1
activate
1
take
2
0
0
nil
0
n__take
2
sel
2
FULL
./TRS/TRCSR/Ex7_BLR02_Z.trs