fromXconsXfromsXsel0consXXSXselsNconsXXSselNXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYzWquotXSYSfrom1cons2s1sel200minus2quot2zWquot2nil0INNERMOST./TRS/nontermin/CSR/Ex4_7_37_Bor03.trs