fst0ZnilfstsXconsYZconsYfstXZfromXconsXfromsXadd0XXaddsXYsaddXYlennil0lenconsXZslenZfst200nil0s1cons2from1add2len1OUTERMOST./TRS/outermost/nontermin/CSR/Ex2_Luc03b.trs