fromXconsXfromsXsel0consXXSXselsNconsXXSselNXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYzWquotXSYSfrom1cons2s1sel200minus2quot2zWquot2nil0OUTERMOST./TRS/outermost/nontermin/CSR/Ex4_7_37_Bor03.trs