activefromXmarkconsXfromsXactive2ndspos0Zmarkrnilactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZactive2ndsneg0Zmarkrnilactive2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZactivepiXmark2ndsposXfrom0activeplus0YmarkYactiveplussXYmarksplusXYactivetimes0Ymark0activetimessXYmarkplusYtimesXYactivesquareXmarktimesXXactivesXsactiveXactiveposrecipXposrecipactiveXactivenegrecipXnegrecipactiveXactiveconsX1X2consactiveX1X2activerconsX1X2rconsactiveX1X2activerconsX1X2rconsX1activeX2activefromXfromactiveXactive2ndsposX1X22ndsposactiveX1X2active2ndsposX1X22ndsposX1activeX2active2ndsnegX1X22ndsnegactiveX1X2active2ndsnegX1X22ndsnegX1activeX2activepiXpiactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activetimesX1X2timesactiveX1X2activetimesX1X2timesX1activeX2activesquareXsquareactiveXsmarkXmarksXposrecipmarkXmarkposrecipXnegrecipmarkXmarknegrecipXconsmarkX1X2markconsX1X2rconsmarkX1X2markrconsX1X2rconsX1markX2markrconsX1X2frommarkXmarkfromX2ndsposmarkX1X2mark2ndsposX1X22ndsposX1markX2mark2ndsposX1X22ndsnegmarkX1X2mark2ndsnegX1X22ndsnegX1markX2mark2ndsnegX1X2pimarkXmarkpiXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2timesmarkX1X2marktimesX1X2timesX1markX2marktimesX1X2squaremarkXmarksquareXproper0ok0propersXsproperXproperposrecipXposrecipproperXpropernegrecipXnegrecipproperXproperniloknilproperconsX1X2consproperX1properX2properrnilokrnilproperrconsX1X2rconsproperX1properX2properfromXfromproperXproper2ndsposX1X22ndsposproperX1properX2proper2ndsnegX1X22ndsnegproperX1properX2properpiXpiproperXproperplusX1X2plusproperX1properX2propertimesX1X2timesproperX1properX2propersquareXsquareproperXsokXoksXposrecipokXokposrecipXnegrecipokXoknegrecipXconsokX1okX2okconsX1X2rconsokX1okX2okrconsX1X2fromokXokfromX2ndsposokX1okX2ok2ndsposX1X22ndsnegokX1okX2ok2ndsnegX1X2piokXokpiXplusokX1okX2okplusX1X2timesokX1okX2oktimesX1X2squareokXoksquareXtopmarkXtopproperXtopokXtopactiveXactivefromXsXactivefromXfromsXactivefromXconsXfromsXactive2ndspossNconsXconsYZ2ndsnegNZactive2ndspossNconsXconsYZposrecipYactive2ndspossNconsXconsYZrconsposrecipY2ndsnegNZactive2ndsnegsNconsXconsYZ2ndsposNZactive2ndsnegsNconsXconsYZnegrecipYactive2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZactivepiXfrom0activepiX2ndsposXfrom0activeplussXYplusXYactiveplussXYsplusXYactivetimessXYtimesXYactivetimessXYplusYtimesXYactivesquareXtimesXXactivesXactiveXactivesXsactiveXactiveposrecipXactiveXactiveposrecipXposrecipactiveXactivenegrecipXactiveXactivenegrecipXnegrecipactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activerconsX1X2activeX1activerconsX1X2rconsactiveX1X2activerconsX1X2activeX2activerconsX1X2rconsX1activeX2activefromXactiveXactivefromXfromactiveXactive2ndsposX1X2activeX1active2ndsposX1X22ndsposactiveX1X2active2ndsposX1X2activeX2active2ndsposX1X22ndsposX1activeX2active2ndsnegX1X2activeX1active2ndsnegX1X22ndsnegactiveX1X2active2ndsnegX1X2activeX2active2ndsnegX1X22ndsnegX1activeX2activepiXactiveXactivepiXpiactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activetimesX1X2activeX1activetimesX1X2timesactiveX1X2activetimesX1X2activeX2activetimesX1X2timesX1activeX2activesquareXactiveXactivesquareXsquareactiveXsmarkXsXposrecipmarkXposrecipXnegrecipmarkXnegrecipXconsmarkX1X2consX1X2rconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2frommarkXfromX2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X2pimarkXpiXplusmarkX1X2plusX1X2plusX1markX2plusX1X2timesmarkX1X2timesX1X2timesX1markX2timesX1X2squaremarkXsquareXpropersXproperXpropersXsproperXproperposrecipXproperXproperposrecipXposrecipproperXpropernegrecipXproperXpropernegrecipXnegrecipproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properrconsX1X2properX2properrconsX1X2properX1properrconsX1X2rconsproperX1properX2properfromXproperXproperfromXfromproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX1proper2ndsposX1X22ndsposproperX1properX2proper2ndsnegX1X2properX2proper2ndsnegX1X2properX1proper2ndsnegX1X22ndsnegproperX1properX2properpiXproperXproperpiXpiproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2propertimesX1X2properX2propertimesX1X2properX1propertimesX1X2timesproperX1properX2propersquareXproperXpropersquareXsquareproperXsokXsXposrecipokXposrecipXnegrecipokXnegrecipXconsokX1okX2consX1X2rconsokX1okX2rconsX1X2fromokXfromX2ndsposokX1okX22ndsposX1X22ndsnegokX1okX22ndsnegX1X2piokXpiXplusokX1okX2plusX1X2timesokX1okX2timesX1X2squareokXsquareXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactivesXactiveXactiveposrecipXactiveXactivenegrecipXactiveXactiveconsX1X2activeX1activerconsX1X2activeX1activerconsX1X2activeX2activefromXactiveXactive2ndsposX1X2activeX1active2ndsposX1X2activeX2active2ndsnegX1X2activeX1active2ndsnegX1X2activeX2activepiXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activetimesX1X2activeX1activetimesX1X2activeX2activesquareXactiveXtrueactive11activesquareXsquareactiveXfalseactivetimesX1X2timesX1activeX2falseactivetimesX1X2timesactiveX1X2falseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivepiXpiactiveXfalseactive2ndsnegX1X22ndsnegX1activeX2falseactive2ndsnegX1X22ndsnegactiveX1X2falseactive2ndsposX1X22ndsposX1activeX2falseactive2ndsposX1X22ndsposactiveX1X2falseactivefromXfromactiveXfalseactiverconsX1X2rconsX1activeX2falseactiverconsX1X2rconsactiveX1X2falseactiveconsX1X2consactiveX1X2falseactivenegrecipXnegrecipactiveXfalseactiveposrecipXposrecipactiveXfalseactivesXsactiveXfalseactivesquareXtimesXXfalseactivetimessXYplusYtimesXYfalseactivetimessXYtimesXYfalseactiveplussXYsplusXYfalseactiveplussXYplusXYfalseactivepiX2ndsposXfrom0falseactivepiXfrom0falseactive2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZfalseactive2ndsnegsNconsXconsYZnegrecipYfalseactive2ndsnegsNconsXconsYZ2ndsposNZfalseactive2ndspossNconsXconsYZrconsposrecipY2ndsnegNZfalseactive2ndspossNconsXconsYZposrecipYfalseactive2ndspossNconsXconsYZ2ndsnegNZfalseactivefromXconsXfromsXfalseactivefromXfromsXfalseactivefromXsXfalsetopmarkXproperXfalsepropersXproperXproperposrecipXproperXpropernegrecipXproperXproperconsX1X2properX2properconsX1X2properX1properrconsX1X2properX2properrconsX1X2properX1properfromXproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX1proper2ndsnegX1X2properX2proper2ndsnegX1X2properX1properpiXproperXproperplusX1X2properX2properplusX1X2properX1propertimesX1X2properX2propertimesX1X2properX1propersquareXproperXtrueproper11propersquareXsquareproperXfalsesquaremarkXsquareXsquareokXsquareXtruesquare11propertimesX1X2timesproperX1properX2falsetimesmarkX1X2timesX1X2timesX1markX2timesX1X2timesokX1okX2timesX1X2truetimes22timesmarkX1X2timesX1X2times21properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2trueplus22plusmarkX1X2plusX1X2plus21properpiXpiproperXfalsepimarkXpiXpiokXpiXtruepi11proper2ndsnegX1X22ndsnegproperX1properX2false2ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X22ndsnegokX1okX22ndsnegX1X2true2ndsneg222ndsnegmarkX1X22ndsnegX1X22ndsneg21proper2ndsposX1X22ndsposproperX1properX2false2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsposokX1okX22ndsposX1X2true2ndspos222ndsposmarkX1X22ndsposX1X22ndspos21properfromXfromproperXfalsefrommarkXfromXfromokXfromXtruefrom11properrconsX1X2rconsproperX1properX2falserconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2rconsokX1okX2rconsX1X2truercons22rconsmarkX1X2rconsX1X2rcons21properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2truecons22consmarkX1X2consX1X2cons21propernegrecipXnegrecipproperXfalsenegrecipmarkXnegrecipXnegrecipokXnegrecipXtruenegrecip11properposrecipXposrecipproperXfalseposrecipmarkXposrecipXposrecipokXposrecipXtrueposrecip11propersXsproperXfalsesmarkXsXsokXsXtrues11