fromXconsXn__fromn__sX2ndspos0Zrnil2ndspossNconsXZ2ndspossNcons2XactivateZ2ndspossNcons2XconsYZrconsposrecipY2ndsnegNactivateZ2ndsneg0Zrnil2ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndsnegsNcons2XconsYZrconsnegrecipY2ndsposNactivateZpiX2ndsposXfrom0plus0YYplussXYsplusXYtimes0Y0timessXYplusYtimesXYsquareXtimesXXfromXn__fromXsXn__sXactivaten__fromXfromactivateXactivaten__sXsactivateXactivateXX2ndspossNconsXZ2ndspossNcons2XactivateZ2ndspossNconsXZactivateZ2ndspossNcons2XconsYZ2ndsnegNactivateZ2ndspossNcons2XconsYZactivateZ2ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndsnegsNconsXZactivateZ2ndsnegsNcons2XconsYZ2ndsposNactivateZ2ndsnegsNcons2XconsYZactivateZpiX2ndsposXfrom0piXfrom0plussXYsplusXYplussXYplusXYtimessXYplusYtimesXYtimessXYtimesXYsquareXtimesXXactivaten__fromXfromactivateXactivaten__fromXactivateXactivaten__sXsactivateXactivaten__sXactivateXtruepiX2ndsposXfrom0false249122ndspossNcons2XconsYZ2ndsnegNactivateZ2ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndsnegsNcons2XconsYZ2ndsposNactivateZ2ndspossNconsXZ2ndspossNcons2XactivateZtrue245679121312ndspos2111s1111cons220cons202ndsneg2111activate10n__from10from10n__s102ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndspossNconsXZ2ndspossNcons2XactivateZsXn__sX2ndsnegsNconsXZ2ndsnegsNcons2XactivateZfalse2ndspossNconsXZ2ndspossNcons2XactivateZfalse2ndspossNconsXZactivateZfalse27102ndspossNcons2XconsYZactivateZfalse2345710112ndsnegsNconsXZactivateZfalse582ndsnegsNcons2XconsYZactivateZfalse589piXfrom0false478squareXtimesXXfalse367timessXYtimesXYtrue2561times211s1111timessXYplusYtimesXYfalse3plussXYplusXYtrue341plus211s1111plussXYsplusXYfalseactivaten__sXactivateXactivaten__fromXactivateXtrue1activate111n__s1111n__from1111activaten__fromXfromactivateXfalseactivaten__sXsactivateXfalse