dbl00dblsXssdblXdblsnilnildblsconsXYconsdblXdblsYsel0consXYXselsXconsYZselXZindxnilXnilindxconsXYZconsselXZindxYZfromXconsXfromsXdbl100s1dbls1nil0cons2sel2indx2from1FULL./TRS/nontermin/CSR/Ex3_2_Luc97.trs