fromXconsXn__fromn__sXsel0consXXSXselsNconsXXSselNactivateXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSfromXn__fromXsXn__sXzWquotX1X2n__zWquotX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXselsNconsXXSactivateXSselsNconsXXSselNactivateXSminussXsYminusXYquotsXsYminusXYquotsXsYquotminusXYsYquotsXsYsquotminusXYsYzWquotconsXXSconsYYSactivateYSzWquotconsXXSconsYYSactivateXSzWquotconsXXSconsYYSquotXYactivaten__fromXactivateXactivaten__fromXfromactivateXactivaten__sXactivateXactivaten__sXsactivateXactivaten__zWquotX1X2activateX2activaten__zWquotX1X2activateX1activaten__zWquotX1X2zWquotactivateX1activateX2trueselsNconsXXSselNactivateXStrueselsNconsXXSactivateXSfalsezWquotconsXXSconsYYSactivateYSactivaten__fromXactivateXactivaten__sXactivateXactivaten__zWquotX1X2activateX2activaten__zWquotX1X2activateX1activaten__zWquotX1X2zWquotactivateX1activateX2zWquotconsXXSconsYYSactivateXStrueactivaten__sXsactivateXfalseactivaten__fromXfromactivateXfalsezWquotconsXXSconsYYSquotXYfalsequotsXsYquotminusXYsYtruequotsXsYsquotminusXYsYfalsequotsXsYminusXYfalseminussXsYminusXYtrue