fst0ZnilfstsXconsYZconsYfstXZfromXconsXfromsXadd0XXaddsXYsaddXYlennil0lenconsXZslenZfst21200nil0s1cons21from11add212len11FULL./TRS/CSR/Ex2_Luc03b.trs