dbl00dblsXssdblXdblsnilnildblsconsXYconsdblXdblsYsel0consXYXselsXconsYZselXZindxnilXnilindxconsXYZconsselXZindxYZfromXconsXfromsXdbl1001dbl1sXs1s1dbl1Xsel10consXYXsel1sXconsYZsel1XZquote001quotesXs1quoteXquotedblXdbl1XquoteselXYsel1XYdbl100s1dbls1nil0cons2sel2indx2from1dbl11010s11sel12quote1FULL./TRS/nontermin/CSR/Ex5_7_Luc97.trs