fst0ZnilfstsXconsYZconsYfstXZfromXconsXfromsXadd0XXaddsXYsaddXYlennil0lenconsXZslenZfst200nil0s1cons2from1add2len1FULL./TRS/nontermin/CSR/Ex2_Luc03b.trs