fst0ZnilfstsconsYconsYfromXconsXadd0XXaddsYslennil0lenconsXsfst200nil0s0cons1from1add2len1FULL./TRS/TRCSR/Ex2_Luc03b_L.trs