fromXconsXn__fromn__sX2ndspos0Zrnil2ndspossNconsXZ2ndspossNcons2XactivateZ2ndspossNcons2XconsYZrconsposrecipY2ndsnegNactivateZ2ndsneg0Zrnil2ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndsnegsNcons2XconsYZrconsnegrecipY2ndsposNactivateZpiX2ndsposXfrom0plus0YYplussXYsplusXYtimes0Y0timessXYplusYtimesXYsquareXtimesXXfromXn__fromXsXn__sXactivaten__fromXfromactivateXactivaten__sXsactivateXactivateXX2ndspossNconsXZactivateZ2ndspossNconsXZ2ndspossNcons2XactivateZ2ndspossNcons2XconsYZactivateZ2ndspossNcons2XconsYZ2ndsnegNactivateZ2ndsnegsNconsXZactivateZ2ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndsnegsNcons2XconsYZactivateZ2ndsnegsNcons2XconsYZ2ndsposNactivateZpiXfrom0piX2ndsposXfrom0plussXYplusXYplussXYsplusXYtimessXYtimesXYtimessXYplusYtimesXYsquareXtimesXXactivaten__fromXactivateXactivaten__fromXfromactivateXactivaten__sXactivateXactivaten__sXsactivateXtruepiXfrom0falsepiX2ndsposXfrom0false2ndspossNconsXZ2ndspossNcons2XactivateZ2ndspossNcons2XconsYZ2ndsnegNactivateZ2ndsnegsNconsXZ2ndsnegsNcons2XactivateZ2ndsnegsNcons2XconsYZ2ndsposNactivateZtrue12ndsneg22102132ndspos281020cons22010210activate1012s1413cons2121921n__from1112n__s1411from15162ndspossNconsXZ2ndspossNcons2XactivateZ2ndsnegsNconsXZ2ndsnegsNcons2XactivateZsXn__sX2ndspossNconsXZ2ndspossNcons2XactivateZfalse2ndsnegsNconsXZ2ndsnegsNcons2XactivateZfalse2ndsnegsNcons2XconsYZactivateZfalse2ndsnegsNconsXZactivateZfalse2ndspossNcons2XconsYZactivateZfalse2ndspossNconsXZactivateZfalseactivaten__fromXactivateXactivaten__sXactivateXtrue1activate11113n__from11019n__s1113activaten__sXsactivateXfalseactivaten__fromXfromactivateXfalsesquareXtimesXXfalsetimessXYtimesXYtrue1times2810212s1113timessXYplusYtimesXYfalseplussXYplusXYtrue1plus2810212s1113plussXYsplusXYfalse