activefromXmarkconsXfromsXactive2ndspos0Zmarkrnilactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZactive2ndsneg0Zmarkrnilactive2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZactivepiXmark2ndsposXfrom0activeplus0YmarkYactiveplussXYmarksplusXYactivetimes0Ymark0activetimessXYmarkplusYtimesXYactivesquareXmarktimesXXactivesXsactiveXactiveposrecipXposrecipactiveXactivenegrecipXnegrecipactiveXactiveconsX1X2consactiveX1X2activerconsX1X2rconsactiveX1X2activerconsX1X2rconsX1activeX2activefromXfromactiveXactive2ndsposX1X22ndsposactiveX1X2active2ndsposX1X22ndsposX1activeX2active2ndsnegX1X22ndsnegactiveX1X2active2ndsnegX1X22ndsnegX1activeX2activepiXpiactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activetimesX1X2timesactiveX1X2activetimesX1X2timesX1activeX2activesquareXsquareactiveXsmarkXmarksXposrecipmarkXmarkposrecipXnegrecipmarkXmarknegrecipXconsmarkX1X2markconsX1X2rconsmarkX1X2markrconsX1X2rconsX1markX2markrconsX1X2frommarkXmarkfromX2ndsposmarkX1X2mark2ndsposX1X22ndsposX1markX2mark2ndsposX1X22ndsnegmarkX1X2mark2ndsnegX1X22ndsnegX1markX2mark2ndsnegX1X2pimarkXmarkpiXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2timesmarkX1X2marktimesX1X2timesX1markX2marktimesX1X2squaremarkXmarksquareXproper0ok0propersXsproperXproperposrecipXposrecipproperXpropernegrecipXnegrecipproperXproperniloknilproperconsX1X2consproperX1properX2properrnilokrnilproperrconsX1X2rconsproperX1properX2properfromXfromproperXproper2ndsposX1X22ndsposproperX1properX2proper2ndsnegX1X22ndsnegproperX1properX2properpiXpiproperXproperplusX1X2plusproperX1properX2propertimesX1X2timesproperX1properX2propersquareXsquareproperXsokXoksXposrecipokXokposrecipXnegrecipokXoknegrecipXconsokX1okX2okconsX1X2rconsokX1okX2okrconsX1X2fromokXokfromX2ndsposokX1okX2ok2ndsposX1X22ndsnegokX1okX2ok2ndsnegX1X2piokXokpiXplusokX1okX2okplusX1X2timesokX1okX2oktimesX1X2squareokXoksquareXtopmarkXtopproperXtopokXtopactiveXactivefromXsXactivefromXfromsXactivefromXconsXfromsXactive2ndspossNconsXconsYZ2ndsnegNZactive2ndspossNconsXconsYZposrecipYactive2ndspossNconsXconsYZrconsposrecipY2ndsnegNZactive2ndsnegsNconsXconsYZ2ndsposNZactive2ndsnegsNconsXconsYZnegrecipYactive2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZactivepiXfrom0activepiX2ndsposXfrom0activeplussXYplusXYactiveplussXYsplusXYactivetimessXYtimesXYactivetimessXYplusYtimesXYactivesquareXtimesXXactivesXactiveXactivesXsactiveXactiveposrecipXactiveXactiveposrecipXposrecipactiveXactivenegrecipXactiveXactivenegrecipXnegrecipactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activerconsX1X2activeX1activerconsX1X2rconsactiveX1X2activerconsX1X2activeX2activerconsX1X2rconsX1activeX2activefromXactiveXactivefromXfromactiveXactive2ndsposX1X2activeX1active2ndsposX1X22ndsposactiveX1X2active2ndsposX1X2activeX2active2ndsposX1X22ndsposX1activeX2active2ndsnegX1X2activeX1active2ndsnegX1X22ndsnegactiveX1X2active2ndsnegX1X2activeX2active2ndsnegX1X22ndsnegX1activeX2activepiXactiveXactivepiXpiactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activetimesX1X2activeX1activetimesX1X2timesactiveX1X2activetimesX1X2activeX2activetimesX1X2timesX1activeX2activesquareXactiveXactivesquareXsquareactiveXsmarkXsXposrecipmarkXposrecipXnegrecipmarkXnegrecipXconsmarkX1X2consX1X2rconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2frommarkXfromX2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X2pimarkXpiXplusmarkX1X2plusX1X2plusX1markX2plusX1X2timesmarkX1X2timesX1X2timesX1markX2timesX1X2squaremarkXsquareXpropersXproperXpropersXsproperXproperposrecipXproperXproperposrecipXposrecipproperXpropernegrecipXproperXpropernegrecipXnegrecipproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properrconsX1X2properX2properrconsX1X2properX1properrconsX1X2rconsproperX1properX2properfromXproperXproperfromXfromproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX1proper2ndsposX1X22ndsposproperX1properX2proper2ndsnegX1X2properX2proper2ndsnegX1X2properX1proper2ndsnegX1X22ndsnegproperX1properX2properpiXproperXproperpiXpiproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2propertimesX1X2properX2propertimesX1X2properX1propertimesX1X2timesproperX1properX2propersquareXproperXpropersquareXsquareproperXsokXsXposrecipokXposrecipXnegrecipokXnegrecipXconsokX1okX2consX1X2rconsokX1okX2rconsX1X2fromokXfromX2ndsposokX1okX22ndsposX1X22ndsnegokX1okX22ndsnegX1X2piokXpiXplusokX1okX2plusX1X2timesokX1okX2timesX1X2squareokXsquareXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactivesXactiveXactiveposrecipXactiveXactivenegrecipXactiveXactiveconsX1X2activeX1activerconsX1X2activeX1activerconsX1X2activeX2activefromXactiveXactive2ndsposX1X2activeX1active2ndsposX1X2activeX2active2ndsnegX1X2activeX1active2ndsnegX1X2activeX2activepiXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activetimesX1X2activeX1activetimesX1X2activeX2activesquareXactiveXtrue1active1512square1115times211120plus211120pi1110negrecip1110rcons2111202ndsneg211120posrecip11102ndspos211120cons211020s1110from1110activesXactiveXactiveposrecipXactiveXactivenegrecipXactiveXactiveconsX1X2activeX1activerconsX1X2activeX1activerconsX1X2activeX2activefromXactiveXactive2ndsposX1X2activeX1active2ndsposX1X2activeX2active2ndsnegX1X2activeX1active2ndsnegX1X2activeX2activepiXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activetimesX1X2activeX1activetimesX1X2activeX21active1410times251122plus21011025pi1110negrecip1110rcons21112102ndsneg28111214posrecip11152ndspos211120cons211028s14114from11115activenegrecipXactiveXactive2ndsposX1X2activeX1active2ndsposX1X2activeX2activepiXactiveX1active18112pi1410negrecip11132ndspos261424activepiXactiveX1active1410pi18110activesquareXsquareactiveXfalseactivetimesX1X2timesX1activeX2falseactivetimesX1X2timesactiveX1X2falseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivepiXpiactiveXfalseactive2ndsnegX1X22ndsnegX1activeX2falseactive2ndsnegX1X22ndsnegactiveX1X2falseactive2ndsposX1X22ndsposX1activeX2falseactive2ndsposX1X22ndsposactiveX1X2falseactivefromXfromactiveXfalseactiverconsX1X2rconsX1activeX2falseactiverconsX1X2rconsactiveX1X2falseactiveconsX1X2consactiveX1X2falseactivenegrecipXnegrecipactiveXfalseactiveposrecipXposrecipactiveXfalseactivesXsactiveXfalseactivesquareXtimesXXfalseactivetimessXYplusYtimesXYfalseactivetimessXYtimesXYfalseactiveplussXYsplusXYfalseactiveplussXYplusXYfalseactivepiX2ndsposXfrom0falseactivepiXfrom0falseactive2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZfalseactive2ndsnegsNconsXconsYZnegrecipYfalseactive2ndsnegsNconsXconsYZ2ndsposNZfalseactive2ndspossNconsXconsYZrconsposrecipY2ndsnegNZfalseactive2ndspossNconsXconsYZposrecipYfalseactive2ndspossNconsXconsYZ2ndsnegNZfalseactivefromXconsXfromsXfalseactivefromXfromsXfalseactivefromXsXfalsetopmarkXproperXfalsepropersXproperXproperposrecipXproperXpropernegrecipXproperXproperconsX1X2properX2properconsX1X2properX1properrconsX1X2properX2properrconsX1X2properX1properfromXproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX1proper2ndsnegX1X2properX2proper2ndsnegX1X2properX1properpiXproperXproperplusX1X2properX2properplusX1X2properX1propertimesX1X2properX2propertimesX1X2properX1propersquareXproperXtrue1proper1114square1110times211120plus211120pi1111negrecip1110rcons2411202ndsneg211120posrecip11102ndspos211120cons211120s1110from1110propersXproperXproperposrecipXproperXpropernegrecipXproperXproperconsX1X2properX2properconsX1X2properX1properrconsX1X2properX2properrconsX1X2properX1properfromXproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX1proper2ndsnegX1X2properX2proper2ndsnegX1X2properX1properplusX1X2properX2properplusX1X2properX1propertimesX1X2properX2propertimesX1X2properX1propersquareXproperX1proper1410square1110times21011020plus211120negrecip1110rcons2111202ndsneg2111214posrecip11152ndspos211120cons211120s114114from114115propernegrecipXproperXproperconsX1X2properX2properconsX1X2properX1properrconsX1X2properX2properrconsX1X2properX1proper2ndsposX1X2properX2proper2ndsposX1X2properX1properplusX1X2properX2properplusX1X2properX1propertimesX1X2properX2propertimesX1X2properX1propersquareXproperX1proper111112square1113times211120plus211120negrecip1110rcons2111202ndspos211120cons211120propernegrecipXproperXproperconsX1X2properX2properconsX1X2properX1properrconsX1X2properX2properrconsX1X2properX1proper2ndsposX1X2properX2proper2ndsposX1X2properX1properplusX1X2properX2properplusX1X2properX1propertimesX1X2properX2propertimesX1X2properX11proper1712times211121plus261820negrecip1110rcons2112252ndspos211120cons241123propernegrecipXproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX1properplusX1X2properX2properplusX1X2properX11proper1810plus211122negrecip11102ndspos211420propernegrecipXproperXproper2ndsposX1X2properX2proper2ndsposX1X2properX11proper1311negrecip113122ndspos2712213propersquareXsquareproperXfalsesquaremarkXsquareXsquareokXsquareXtrue1square11113ok1113mark11019propertimesX1X2timesproperX1properX2falsetimesmarkX1X2timesX1X2timesX1markX2timesX1X2timesokX1okX2timesX1X2true1times271426ok1515mark1818properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2true1plus271426ok1515mark1818properpiXpiproperXfalsepimarkXpiXpiokXpiXtrue1pi11113ok1113mark11019proper2ndsnegX1X22ndsnegproperX1properX2false2ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X22ndsnegokX1okX22ndsnegX1X2true12ndsneg271426ok1515mark1818proper2ndsposX1X22ndsposproperX1properX2false2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsposokX1okX22ndsposX1X2true12ndspos271426ok1515mark1818properfromXfromproperXfalsefrommarkXfromXfromokXfromXtrue1from11113ok1113mark11019properrconsX1X2rconsproperX1properX2falserconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2rconsokX1okX2rconsX1X2true1rcons271426ok1515mark1818properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2true1cons281120ok1413mark1110consmarkX1X2consX1X21cons2810212mark1113propernegrecipXnegrecipproperXfalsenegrecipmarkXnegrecipXnegrecipokXnegrecipXtrue1negrecip11113ok1113mark11019properposrecipXposrecipproperXfalseposrecipmarkXposrecipXposrecipokXposrecipXtrue1posrecip11113ok1113mark11019propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019