fromXconsXfromsXfirst0ZnilfirstsXconsYZconsYfirstXZsel0consXZXselsXconsYZselXZfrom1cons2s1first200nil0sel2FULL./TRS/nontermin/CSR/Ex1_Luc02b.trs