fromXconsXfromsXsel0consXXSXselsNconsXXSselNXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYzWquotXSYSfrom1cons2s1sel200minus2quot2zWquot2nil0FULL./TRS/nontermin/CSR/Ex4_7_37_Bor03.trs