selsNconsXselNXSfromXconsXsel0consXXminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXconsYconsquotXYsel2s1cons1from100minus2quot2zWquot2nil0OUTERMOST./TRS/outermost/TRCSR/Ex4_7_37_Bor03_L.trs