fromXconsXn__fromsXsel0consXXSXselsNconsXXSselNactivateXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSfromXn__fromXzWquotX1X2n__zWquotX1X2activaten__fromXfromXactivaten__zWquotX1X2zWquotX1X2activateXXselsNconsXXSactivateXSselsNconsXXSselNactivateXSminussXsYminusXYquotsXsYminusXYquotsXsYquotminusXYsYzWquotconsXXSconsYYSactivateYSzWquotconsXXSconsYYSactivateXSzWquotconsXXSconsYYSquotXYactivaten__fromXfromXactivaten__zWquotX1X2zWquotX1X2trueselsNconsXXSselNactivateXStrue1sel2121028n__zWquot201824zWquot20110214nil00quot2411120minus201024activate1416000cons201024n__from11110s1113from11114activaten__fromXfromXactivaten__zWquotX1X2zWquotX1X2activateXXfromXconsXn__fromsXfromXn__fromXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X2selsNconsXXSactivateXSfalsezWquotconsXXSconsYYSactivateYSactivaten__zWquotX1X2zWquotX1X2zWquotconsXXSconsYYSactivateXStrue1zWquot211120activate1110n__zWquot2111211cons201120zWquotconsXXSconsYYSactivateYSzWquotconsXXSconsYYSactivateXSzWquotconsXXSconsYYSactivateXSfalsezWquotconsXXSconsYYSactivateYSfalseactivaten__fromXfromXfalsezWquotconsXXSconsYYSquotXYfalsequotsXsYquotminusXYsYtrue1quot221222minus211024004s11110minusX00minussXsYminusXYquotsXsYminusXYfalseminussXsYminusXYtrue1minus281120s1411