fromXconsXfromsXfirst0ZnilfirstsXconsYZconsYfirstXZsel0consXZXselsXconsYZselXZfrom1cons2s1first200nil0sel2OUTERMOST./TRS/outermost/nontermin/CSR/Ex1_Luc02b.trs