dbl 0 0 dbl s X s n__s n__dbl activate X dbls nil nil dbls cons X Y cons n__dbl activate X n__dbls activate Y sel 0 cons X Y activate X sel s X cons Y Z sel activate X activate Z indx nil X nil indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z from X cons activate X n__from n__s activate X s X n__s X dbl X n__dbl X dbls X n__dbls X sel X1 X2 n__sel X1 X2 indx X1 X2 n__indx X1 X2 from X n__from X activate n__s X s X activate n__dbl X dbl X activate n__dbls X dbls X activate n__sel X1 X2 sel X1 X2 activate n__indx X1 X2 indx X1 X2 activate n__from X from X activate X X dbl 1 0 0 s 1 n__s 1 n__dbl 1 activate 1 dbls 1 nil 0 cons 2 n__dbls 1 sel 2 indx 2 n__sel 2 n__indx 2 from 1 n__from 1 FULL ./TRS/TRCSR/Ex3_2_Luc97_Z.trs