fromXconsXn__fromsXsel0consXXSXselsNconsXXSselNactivateXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSfromXn__fromXzWquotX1X2n__zWquotX1X2activaten__fromXfromXactivaten__zWquotX1X2zWquotX1X2activateXXselsNconsXXSactivateXSselsNconsXXSselNactivateXSminussXsYminusXYquotsXsYminusXYquotsXsYquotminusXYsYzWquotconsXXSconsYYSactivateYSzWquotconsXXSconsYYSactivateXSzWquotconsXXSconsYYSquotXYactivaten__fromXfromXactivaten__zWquotX1X2zWquotX1X2trueselsNconsXXSselNactivateXStruesel21selsNconsXXSactivateXSfalsezWquotconsXXSconsYYSactivateYSactivaten__zWquotX1X2zWquotX1X2zWquotconsXXSconsYYSactivateXStrue1zWquot221222activate1812n__zWquot221222zWquot281828nil02quot201220minus201029activate1410sel201820000cons221420n__from1210s1010from1210zWquotconsXXSconsYYSactivateYSzWquotconsXXSconsYYSactivateXSzWquotconsXXSconsYYSactivateXSfalsezWquotconsXXSconsYYSactivateYSfalseactivaten__fromXfromXfalsezWquotconsXXSconsYYSquotXYfalsequotsXsYquotminusXYsYtruequotsXsYminusXYfalseminussXsYminusXYtrueminus22