fromXconsXn__fromn__sXsel0consXXSXselsNconsXXSselNactivateXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSfromXn__fromXsXn__sXzWquotX1X2n__zWquotX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXselsNconsXXSactivateXSselsNconsXXSselNactivateXSminussXsYminusXYquotsXsYminusXYquotsXsYquotminusXYsYquotsXsYsquotminusXYsYzWquotconsXXSconsYYSactivateYSzWquotconsXXSconsYYSactivateXSzWquotconsXXSconsYYSquotXYactivaten__fromXactivateXactivaten__fromXfromactivateXactivaten__sXactivateXactivaten__sXsactivateXactivaten__zWquotX1X2activateX2activaten__zWquotX1X2activateX1activaten__zWquotX1X2zWquotactivateX1activateX2trueselsNconsXXSselNactivateXStruesel21selsNconsXXSactivateXSfalsezWquotconsXXSconsYYSactivateYSactivaten__fromXactivateXactivaten__sXactivateXactivaten__zWquotX1X2activateX2activaten__zWquotX1X2activateX1activaten__zWquotX1X2zWquotactivateX1activateX2zWquotconsXXSconsYYSactivateXStrue1zWquot201020activate1010n__zWquot20102zWquot201020nil02quot22120minus201225activate1010s1014000cons21020n__from1115n__s1014from1115zWquotconsXXSconsYYSactivateYSactivaten__sXactivateXactivaten__zWquotX1X2activateX2activaten__zWquotX1X2activateX1activaten__zWquotX1X2zWquotactivateX1activateX2zWquotconsXXSconsYYSactivateXSactivaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXfromXconsXn__fromn__sXfromXn__fromXsXn__sXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X21zWquot201020activate101n__zWquot201120zWquot201120nil00quot21020minus221221activate101s101000cons20102n__from1014n__s101from1014zWquotconsXXSconsYYSactivateYSactivaten__sXactivateXactivaten__zWquotX1X2activateX1activaten__zWquotX1X2zWquotactivateX1activateX2zWquotconsXXSconsYYSactivateXSactivaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXfromXconsXn__fromn__sXfromXn__fromXsXn__sXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X2quot0sY0quotsXsYsquotminusXYsY1zWquot211420activate1010n__zWquot211426zWquot211426nil02quot201020minus271426activate1010s1010000cons2102n__from110n__s101from110zWquotconsXXSconsYYSactivateYSactivaten__sXactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2zWquotconsXXSconsYYSactivateXSactivaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXfromXconsXn__fromn__sXfromXn__fromXsXn__sXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X21zWquot24122activate121n__zWquot221022zWquot221022nil01quot21120minus20132activate1010s1010001cons2102n__from1717n__s1010from1717zWquotconsXXSconsYYSactivateYSactivaten__sXactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXfromXconsXn__fromn__sXfromXn__fromXsXn__sXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X21zWquot20102activate101n__zWquot20102zWquot20102nil06quot2132minus21102activate101s111005cons2102n__from110n__s111from110zWquotconsXXSconsYYSactivateYSactivaten__zWquotX1X2zWquotactivateX1activateX2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXfromXconsXn__fromn__sXfromXn__fromXsXn__sXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X21zWquot201020activate101n__zWquot211121zWquot211121nil01quot20162minus201021activate1010s1010007cons2102n__from101n__s101from1010zWquotconsXXSconsYYSactivateYSactivaten__fromXfromactivateXactivaten__sXsactivateXactivaten__zWquotX1X2zWquotactivateX1activateX2activateXXfromXconsXn__fromn__sXfromXn__fromXsXn__sXzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYn__zWquotactivateXSactivateYSzWquotX1X2n__zWquotX1X2zWquotconsXXSconsYYSactivateYSfalseactivaten__sXsactivateXfalseactivaten__fromXfromactivateXfalsezWquotconsXXSconsYYSquotXYfalsequotsXsYquotminusXYsYtrue1quot211020minus2121s113001n__s113sXn__sXminusX00minussXsYminusXYquotsXsYsquotminusXYsYfalsequotsXsYminusXYfalseminussXsYminusXYtrueminus22