dbl00dblsXssdblXdblsnilnildblsconsXYconsdblXdblsYsel0consXYXselsXconsYZselXZindxnilXnilindxconsXYZconsselXZindxYZfromXconsXfromsXdbl1001dbl1sXs1s1dbl1Xsel10consXYXsel1sXconsYZsel1XZquote001quotesXs1quoteXquotedblXdbl1XquoteselXYsel1XYdbl100s1dbls1nil0cons2sel2indx2from1dbl11010s11sel12quote1OUTERMOST./TRS/outermost/nontermin/CSR/Ex5_7_Luc97.trs