fromXconsXn__fromn__sX2ndspos0Zrnil2ndspossNconsXn__consYZrconsposrecipactivateY2ndsnegNactivateZ2ndsneg0Zrnil2ndsnegsNconsXn__consYZrconsnegrecipactivateY2ndsposNactivateZpiX2ndsposXfrom0plus0YYplussXYsplusXYtimes0Y0timessXYplusYtimesXYsquareXtimesXXfromXn__fromXsXn__sXconsX1X2n__consX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__consX1X2consactivateX1X2activateXXfromXconsXn__fromn__sX2ndspossNconsXn__consYZactivateY2ndspossNconsXn__consYZ2ndsnegNactivateZ2ndspossNconsXn__consYZactivateZ2ndsnegsNconsXn__consYZactivateY2ndsnegsNconsXn__consYZ2ndsposNactivateZ2ndsnegsNconsXn__consYZactivateZpiX2ndsposXfrom0piXfrom0plussXYsplusXYplussXYplusXYtimessXYplusYtimesXYtimessXYtimesXYsquareXtimesXXactivaten__fromXfromactivateXactivaten__fromXactivateXactivaten__sXsactivateXactivaten__sXactivateXactivaten__consX1X2consactivateX1X2activaten__consX1X2activateX1truepiXfrom0false13456811131516piX2ndsposXfrom0false23457101214152ndspossNconsXn__consYZ2ndsnegNactivateZ2ndsnegsNconsXn__consYZ2ndsposNactivateZtrue57101212ndspos2111s1111cons20n__cons202ndsneg2111activate10n__from10from10n__s102ndspossNconsXn__consYZactivateYfalse581012132ndspossNconsXn__consYZactivateZfalse47911122ndsnegsNconsXn__consYZactivateYfalse36810112ndsnegsNconsXn__consYZactivateZfalse257910activaten__sXactivateXactivaten__fromXactivateXactivaten__consX1X2activateX1true2571activate111n__s1111n__from1111n__cons2111activaten__fromXfromactivateXfalse3578fromXconsXn__fromn__sXfalse35squareXtimesXXfalse3timessXYtimesXYtrue21times211s1111timessXYplusYtimesXYfalse2plussXYplusXYtrue1plus211s1111plussXYsplusXYfalseactivaten__sXsactivateXfalseactivaten__consX1X2consactivateX1X2false