activefromXmarkconsXfromsXactive2ndspos0Zmarkrnilactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZactive2ndsneg0Zmarkrnilactive2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZactivepiXmark2ndsposXfrom0activeplus0YmarkYactiveplussXYmarksplusXYactivetimes0Ymark0activetimessXYmarkplusYtimesXYactivesquareXmarktimesXXmarkfromXactivefrommarkXmarkconsX1X2activeconsmarkX1X2marksXactivesmarkXmark2ndsposX1X2active2ndsposmarkX1markX2mark0active0markrnilactivernilmarkrconsX1X2activerconsmarkX1markX2markposrecipXactiveposrecipmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2marknegrecipXactivenegrecipmarkXmarkpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marksquareXactivesquaremarkXfrommarkXfromXfromactiveXfromXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2smarkXsXsactiveXsX2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2rconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2posrecipmarkXposrecipXposrecipactiveXposrecipX2ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2negrecipmarkXnegrecipXnegrecipactiveXnegrecipXpimarkXpiXpiactiveXpiXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesmarkX1X2timesX1X2timesX1markX2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2squaremarkXsquareXsquareactiveXsquareX2.1activefromXmarkconsXfromsXactivefromXconsXfromsXactivefromXfromsXactivefromXsXactive2ndspos0Zmarkrnilactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZactive2ndspossNconsXconsYZrconsposrecipY2ndsnegNZactive2ndspossNconsXconsYZposrecipYactive2ndspossNconsXconsYZ2ndsnegNZactive2ndsneg0Zmarkrnilactive2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZactive2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZactive2ndsnegsNconsXconsYZnegrecipYactive2ndsnegsNconsXconsYZ2ndsposNZactivepiXmark2ndsposXfrom0activepiX2ndsposXfrom0activepiXfrom0activeplus0YmarkYactiveplussXYmarksplusXYactiveplussXYsplusXYactiveplussXYplusXYactivetimes0Ymark0activetimessXYmarkplusYtimesXYactivetimessXYplusYtimesXYactivetimessXYtimesXYactivesquareXmarktimesXXactivesquareXtimesXXmarkfromXactivefrommarkXmarkfromXfrommarkXmarkfromXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1marksXactivesmarkXmarksXsmarkXmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2mark2ndsposX1X22ndsposmarkX1markX2mark2ndsposX1X2markX1mark2ndsposX1X2markX2mark0active0markrnilactivernilmarkrconsX1X2activerconsmarkX1markX2markrconsX1X2rconsmarkX1markX2markrconsX1X2markX1markrconsX1X2markX2markposrecipXactiveposrecipmarkXmarkposrecipXposrecipmarkXmarkposrecipXmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2mark2ndsnegX1X22ndsnegmarkX1markX2mark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXactivenegrecipmarkXmarknegrecipXnegrecipmarkXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXpimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2timesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXsquaremarkXmarksquareXmarkXfrommarkXfromXfromactiveXfromXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2smarkXsXsactiveXsX2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2rconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2posrecipmarkXposrecipXposrecipactiveXposrecipX2ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2negrecipmarkXnegrecipXnegrecipactiveXnegrecipXpimarkXpiXpiactiveXpiXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesmarkX1X2timesX1X2timesX1markX2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2squaremarkXsquareXsquareactiveXsquareXtruemarkfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXmarkconsX1X2activeconsmarkX1X2active2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1marksXactivesmarkXactive2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2markrconsX1X2activerconsmarkX1markX2activeplus0YmarkYmarkrconsX1X2markX1markrconsX1X2markX2markposrecipXactiveposrecipmarkXactiveplussXYmarksplusXYmarkposrecipXmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXactivenegrecipmarkXactivesquareXmarktimesXXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkXtrue12ndsneg22active1-112ndspos22cons20from12negrecip1-2pi12plus22posrecip11rcons2-2s1-2square12times22mark1-2active1-221002rnil02mark11markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX1markrconsX1X2markX2activeplussXYmarksplusXYmarkposrecipXmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2activesquareXmarktimesXXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkXfromactiveXfromXfrommarkXfromXsactiveXsXsmarkXsXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2posrecipactiveXposrecipXposrecipmarkXposrecipX2ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2rconsX1markX2rconsX1X2rconsmarkX1X2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2negrecipactiveXnegrecipXnegrecipmarkXnegrecipX2ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2piactiveXpiXpimarkXpiXsquareactiveXsquareXsquaremarkXsquareX11mark1001from1001active1001mark101cons200102s10012ndspos200112rcons211102posrecip1012ndsneg20112negrecip101pi1101000plus20102times20102square101active101rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmarkposrecipXmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2activesquareXmarktimesXXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkX11mark1001from1001active1001mark1001cons20102s1012ndspos20102rcons2102posrecip12112ndsneg20102negrecip101pi101000plus20102times20102square101active1001rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2activesquareXmarktimesXXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkX11mark1001from101active1001mark1001cons20102s1012ndspos20102rcons2102posrecip10012ndsneg20102negrecip1111pi101000plus20102times20102square101active1001rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2activesquareXmarktimesXXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkX11mark1001from101active1001mark1001cons20102s1012ndspos20102rcons20102posrecip10012ndsneg20102negrecip101pi101000plus20102times210102square1111active1001rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2activesquareXmarktimesXXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkX11mark1001from1001active1001mark1001cons20102s1012ndspos20102rcons2102posrecip10012ndsneg20102negrecip101pi1111001plus20102times200102square101active1001rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2activesquareXmarktimesXXmarkpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkX11mark1301from101active1301mark1001cons20102s1012ndspos20102rcons2102posrecip1012ndsneg20102negrecip1001pi101000plus20102times20102square1411active1001rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2markpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkX12ndsneg22active1-112ndspos22from12pi12plus22square10times22mark11active1-2cons2-21s1-221rcons2-221posrecip111negrecip111000rnil00mark11markfromXactivefrommarkXactivefromXmarkconsXfromsXmarkfromXmarkXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2markpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2fromactiveXfromXfrommarkXfromX2ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X22ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2piactiveXpiXpimarkXpiXsquareactiveXsquareXsquaremarkXsquareX11mark101from111active101mark101cons20102s1012ndspos20102rcons20102posrecip1012ndsneg20102negrecip101pi1101000plus20102times20102active101square1001rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZmarkconsX1X2markX1active2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2markpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX211mark1201from1311active101mark1001cons231102s12012ndspos20102rcons230102posrecip1012ndsneg20102negrecip101pi1401003plus200102times20102active1001square101rnil00markfromXactivefrommarkXactivefromXmarkconsXfromsXactive2ndspossNconsXconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2activepiXmark2ndsposXfrom0mark2ndsposX1X2markX1mark2ndsposX1X2markX2activeplus0YmarkYmarkrconsX1X2markX2activeplussXYmarksplusXYmark2ndsnegX1X2active2ndsnegmarkX1markX2activetimessXYmarkplusYtimesXYmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2markpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2from14s132ndspos21rcons20posrecip122ndsneg21negrecip13pi17006plus28times29square110rnil05mark11from1active11mark11cons22s112ndspos212rcons212posrecip12ndsneg212negrecip1pi1100plus212times212active11square11rnil0markfromXactivefrommarkXactivefromXmarkconsXfromsXmark2ndsposX1X2active2ndsposmarkX1markX2mark2ndsnegX1X2active2ndsnegmarkX1markX2markpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX21from162active111cons2012ndspos2322ndsneg252pi142plus221times272mark11from1active1cons22ndspos22ndsneg2pi1plus2times2consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2activetimes0Ymark0falseactive2ndspos0Zmarkrnilfalseactive2ndsneg0Zmarkrnilfalsemark0active0falsemarkrnilactivernilfalseactivefromXfromsXfalseactivepiXfrom0falsemarkfromXfrommarkXfalseactivefromXconsXfromsXfalsemarkconsX1X2consmarkX1X2falseactivefromXsXfalseactiveplussXYsplusXYfalsemarksXsmarkXfalseactive2ndsnegsNconsXconsYZ2ndsposNZfalseactivepiX2ndsposXfrom0falsemark2ndsposX1X22ndsposmarkX1markX2falseactive2ndspossNconsXconsYZrconsposrecipY2ndsnegNZfalseactive2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZfalsemarkrconsX1X2rconsmarkX1markX2falseactive2ndspossNconsXconsYZposrecipYfalsemarkposrecipXposrecipmarkXfalseactive2ndspossNconsXconsYZ2ndsnegNZfalsemark2ndsnegX1X22ndsnegmarkX1markX2falseactive2ndsnegsNconsXconsYZnegrecipYfalsemarknegrecipXnegrecipmarkXfalsemarkpiXpimarkXfalseactiveplussXYplusXYfalseactivetimessXYplusYtimesXYfalsemarkplusX1X2plusmarkX1markX2falseactivetimessXYtimesXYfalseactivesquareXtimesXXfalsemarktimesX1X2timesmarkX1markX2falsemarksquareXsquaremarkXfalsefromactiveXfromXfrommarkXfromXtrue1active111mark111from111fromactiveXfromXfrommarkXfromXfromactiveXfromX1true1frommarkXfromX1true1consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2true1mark111active111cons21112consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2consX1markX2consX1X21false12true2consmarkX1X2consX1X21true12false2consactiveX1X2consX1X21true12false2consX1activeX2consX1X21false12true2sactiveXsXsmarkXsXtrue1active111mark111s111sactiveXsXsmarkXsXsactiveXsX1true1smarkXsX1true12ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2true1mark111active1112ndspos211122ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X22ndsposX1markX22ndsposX1X21false12true22ndsposmarkX1X22ndsposX1X21true12false22ndsposactiveX1X22ndsposX1X21true12false22ndsposX1activeX22ndsposX1X21false12true2rconsX1markX2rconsX1X2rconsmarkX1X2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2true1mark111active111rcons21112rconsX1markX2rconsX1X2rconsmarkX1X2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2rconsX1markX2rconsX1X21false12true2rconsmarkX1X2rconsX1X21true12false2rconsactiveX1X2rconsX1X21true12false2rconsX1activeX2rconsX1X21false12true2posrecipactiveXposrecipXposrecipmarkXposrecipXtrue1active111mark111posrecip111posrecipactiveXposrecipXposrecipmarkXposrecipXposrecipactiveXposrecipX1true1posrecipmarkXposrecipX1true12ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2true1mark111active1112ndsneg211122ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X22ndsnegX1markX22ndsnegX1X21false12true22ndsnegmarkX1X22ndsnegX1X21true12false22ndsnegactiveX1X22ndsnegX1X21true12false22ndsnegX1activeX22ndsnegX1X21false12true2negrecipactiveXnegrecipXnegrecipmarkXnegrecipXtrue1active111mark111negrecip111negrecipactiveXnegrecipXnegrecipmarkXnegrecipXnegrecipactiveXnegrecipX1true1negrecipmarkXnegrecipX1true1piactiveXpiXpimarkXpiXtrue1active111mark111pi111piactiveXpiXpimarkXpiXpiactiveXpiX1true1pimarkXpiX1true1plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2true1mark111active111plus21112plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2plusX1markX2plusX1X21false12true2plusmarkX1X2plusX1X21true12false2plusactiveX1X2plusX1X21true12false2plusX1activeX2plusX1X21false12true2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2true1mark111active111times21112timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2timesX1markX2timesX1X21false12true2timesmarkX1X2timesX1X21true12false2timesactiveX1X2timesX1X21true12false2timesX1activeX2timesX1X21false12true2squareactiveXsquareXsquaremarkXsquareXtrue1active111mark111square111squareactiveXsquareXsquaremarkXsquareXsquareactiveXsquareX1true1squaremarkXsquareX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (39 real / 0 unknown / 0 assumptions / 39 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe