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