YES activefromXmarkconsXfromsXactive2ndspos0Zmarkrnilactive2ndspossNconsXZmark2ndspossNcons2XZactive2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsneg0Zmarkrnilactive2ndsnegsNconsXZmark2ndsnegsNcons2XZactive2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZactivepiXmark2ndsposXfrom0activeplus0YmarkYactiveplussXYmarksplusXYactivetimes0Ymark0activetimessXYmarkplusYtimesXYactivesquareXmarktimesXXmarkfromXactivefrommarkXmarkconsX1X2activeconsmarkX1X2marksXactivesmarkXmark2ndsposX1X2active2ndsposmarkX1markX2mark0active0markrnilactivernilmarkcons2X1X2activecons2X1markX2markrconsX1X2activerconsmarkX1markX2markposrecipXactiveposrecipmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2marknegrecipXactivenegrecipmarkXmarkpiXactivepimarkXmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marksquareXactivesquaremarkXfrommarkXfromXfromactiveXfromXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2smarkXsXsactiveXsX2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2cons2markX1X2cons2X1X2cons2X1markX2cons2X1X2cons2activeX1X2cons2X1X2cons2X1activeX2cons2X1X2rconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2posrecipmarkXposrecipXposrecipactiveXposrecipX2ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2negrecipmarkXnegrecipXnegrecipactiveXnegrecipXpimarkXpiXpiactiveXpiXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesmarkX1X2timesX1X2timesX1markX2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2squaremarkXsquareXsquareactiveXsquareX2.1activefromXmarkconsXfromsXactivefromXconsXfromsXactivefromXfromsXactivefromXsXactive2ndspos0Zmarkrnilactive2ndspossNconsXZmark2ndspossNcons2XZactive2ndspossNconsXZ2ndspossNcons2XZactive2ndspossNconsXZcons2XZactive2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndspossNcons2XconsYZrconsposrecipY2ndsnegNZactive2ndspossNcons2XconsYZposrecipYactive2ndspossNcons2XconsYZ2ndsnegNZactive2ndsneg0Zmarkrnilactive2ndsnegsNconsXZmark2ndsnegsNcons2XZactive2ndsnegsNconsXZ2ndsnegsNcons2XZactive2ndsnegsNconsXZcons2XZactive2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZactive2ndsnegsNcons2XconsYZrconsnegrecipY2ndsposNZactive2ndsnegsNcons2XconsYZnegrecipYactive2ndsnegsNcons2XconsYZ2ndsposNZactivepiXmark2ndsposXfrom0activepiX2ndsposXfrom0activepiXfrom0activeplus0YmarkYactiveplussXYmarksplusXYactiveplussXYsplusXYactiveplussXYplusXYactivetimes0Ymark0activetimessXYmarkplusYtimesXYactivetimessXYplusYtimesXYactivetimessXYtimesXYactivesquareXmarktimesXXactivesquareXtimesXXmarkfromXactivefrommarkXmarkfromXfrommarkXmarkfromXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1marksXactivesmarkXmarksXsmarkXmarksXmarkXmark2ndsposX1X2active2ndsposmarkX1markX2mark2ndsposX1X22ndsposmarkX1markX2mark2ndsposX1X2markX1mark2ndsposX1X2markX2mark0active0markrnilactivernilmarkcons2X1X2activecons2X1markX2markcons2X1X2cons2X1markX2markcons2X1X2markX2markrconsX1X2activerconsmarkX1markX2markrconsX1X2rconsmarkX1markX2markrconsX1X2markX1markrconsX1X2markX2markposrecipXactiveposrecipmarkXmarkposrecipXposrecipmarkXmarkposrecipXmarkXmark2ndsnegX1X2active2ndsnegmarkX1markX2mark2ndsnegX1X22ndsnegmarkX1markX2mark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXactivenegrecipmarkXmarknegrecipXnegrecipmarkXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXpimarkXmarkpiXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2timesmarkX1markX2marktimesX1X2markX1marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXsquaremarkXmarksquareXmarkXfrommarkXfromXfromactiveXfromXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2smarkXsXsactiveXsX2ndsposmarkX1X22ndsposX1X22ndsposX1markX22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2cons2markX1X2cons2X1X2cons2X1markX2cons2X1X2cons2activeX1X2cons2X1X2cons2X1activeX2cons2X1X2rconsmarkX1X2rconsX1X2rconsX1markX2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2posrecipmarkXposrecipXposrecipactiveXposrecipX2ndsnegmarkX1X22ndsnegX1X22ndsnegX1markX22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2negrecipmarkXnegrecipXnegrecipactiveXnegrecipXpimarkXpiXpiactiveXpiXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesmarkX1X2timesX1X2timesX1markX2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2squaremarkXsquareXsquareactiveXsquareXtruemarkconsX1X2activeconsmarkX1X2activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZmarkrconsX1X2activerconsmarkX1markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXmarksXactivesmarkXactivepiXmark2ndsposXfrom0mark2ndsposX1X2markX1marksXmarkXmark2ndsposX1X2markX2markcons2X1X2activecons2X1markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2markposrecipXactiveposrecipmarkXactiveplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2activesquareXmarktimesXXmarktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXactivenegrecipmarkXmarknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkXtrue12ndsneg22active1-112ndspos22cons20cons22-2from12negrecip1-2pi12plus22posrecip10rcons2-2s1-2square12times22mark1-2active12000rnil00mark11activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXactivepiXmark2ndsposXfrom0mark2ndsposX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2activesquareXmarktimesXXmarktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2marksquareXactivesquaremarkXmarksquareXmarkXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2fromactiveXfromXfrommarkXfromX2ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2rconsX1markX2rconsX1X2rconsmarkX1X2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X22ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2sactiveXsXsmarkXsXcons2X1markX2cons2X1X2cons2markX1X2cons2X1X2cons2activeX1X2cons2X1X2cons2X1activeX2cons2X1X2posrecipactiveXposrecipXposrecipmarkXposrecipXplusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2negrecipactiveXnegrecipXnegrecipmarkXnegrecipXpiactiveXpiXpimarkXpiXsquareactiveXsquareXsquaremarkXsquareX11active1001from101mark1001cons20102s101mark10012ndspos20102cons22102rcons20102posrecip1012ndsneg20102negrecip101pi101000plus20102times210102square1111active1001rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXactivepiXmark2ndsposXfrom0mark2ndsposX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2activesquareXmarktimesXXmarktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkpiXmarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2marksquareXactivesquaremarkX11active1001from101mark1001cons20102s101mark1012ndspos21102cons220102rcons20102posrecip1012ndsneg21102negrecip101pi1111000plus20102times20102square101active101rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXactivepiXmark2ndsposXfrom0mark2ndsposX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2activesquareXmarktimesXXmarktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2marksquareXactivesquaremarkX11active1101from101mark1101cons20102s101mark10012ndspos200102cons220102rcons20102posrecip1012ndsneg20102negrecip101pi101000plus20102times200102square1211active1001rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXactivepiXmark2ndsposXfrom0mark2ndsposX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2marksquareXactivesquaremarkX12ndsneg21active1-1212ndspos21from11pi11plus21square1-2times21mark1-221cons2221active1-2s10cons22-21rcons2-21posrecip10negrecip1-221000rnil00mark11activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXactivepiXmark2ndsposXfrom0mark2ndsposX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2fromactiveXfromXfrommarkXfromX2ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X22ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2piactiveXpiXpimarkXpiXsquareactiveXsquareXsquaremarkXsquareX11active1201from1501mark1201cons20102s1201mark10012ndspos242102cons220102rcons20102posrecip1012ndsneg222102negrecip101pi1521000plus20102times20102active1001square1111rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXactivepiXmark2ndsposXfrom0marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX211active1001from111mark1001cons20102s101mark1012ndspos20102cons22102rcons20102posrecip1012ndsneg20102negrecip101pi1311001plus20102times20102active101square111rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkpiXactivepimarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX212ndsneg22active1-2212ndspos22from12pi1-2plus22times22mark12cons2-221active1-2s1-2cons222rcons2-21posrecip1-21negrecip1-2000square12rnil00mark12activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2marktimesX1X2markX1markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX2fromactiveXfromXfrommarkXfromX2ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X22ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2piactiveXpiXpimarkXpiX11active1101from101mark1101cons20102s101mark1012ndspos23102cons220102rcons20102posrecip1012ndsneg23102negrecip101plus20102000times221102active101pi1141square1311rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1markfromXmarkXmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX211active1001from1111mark1001cons20102s1001mark10012ndspos20102cons22102rcons20102posrecip1012ndsneg20102negrecip101plus200102000times20102active1001pi1111square101rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkplusX1X2markX1markplusX1X2markX2marktimesX1X2markX211active101from101mark101cons20102s101mark1012ndspos20102cons22102rcons20102posrecip1012ndsneg20102negrecip101plus20102000times20112active101pi1001square1011rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkplusX1X2markX1markplusX1X2markX211active1001from101mark1001cons20102s101mark10012ndspos20102cons2200102rcons20102posrecip10012ndsneg20102negrecip101plus211102000times21112active1001pi1001square1111rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarkrconsX1X2markX1marksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkplusX1X2markX211active101from1211mark1101cons21102s1101mark1012ndspos21102cons220102rcons221102posrecip1012ndsneg21102negrecip101plus21102000times2012active101pi1221square111rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2marknegrecipXmarkXmarkplusX1X2markX211active1001from1001mark101cons20102s101mark10012ndspos200102cons220102rcons2102posrecip1012ndsneg200102negrecip1111plus20102000times200102active1001pi101square101rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markposrecipXmarkXmark2ndsnegX1X2markX1mark2ndsnegX1X2markX2markplusX1X2markX211active101from1001mark101cons20102s1001mark1012ndspos20102cons220102rcons2102posrecip1112ndsneg20102negrecip101plus20102000times200102active101pi1101square1111rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2mark2ndsnegX1X2markX1mark2ndsnegX1X2markX2markplusX1X2markX211active101from1001mark101cons200102s101mark1012ndspos201102cons220102rcons20102posrecip1012ndsneg21102negrecip101plus2102000times200102active101pi1121square1011rnil00activefromXmarkconsXfromsXmarkconsX1X2markX1markfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2mark2ndsnegX1X2markX2markplusX1X2markX211active101from111mark101cons21102s101mark1012ndspos20102cons22102rcons20102posrecip1012ndsneg20102negrecip101plus2102000times2012active101pi1201square101rnil00activefromXmarkconsXfromsXmarkfromXactivefrommarkXactive2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZmarksXmarkXmark2ndsposX1X2markX2activeplus0YmarkYmarkcons2X1X2markX2markrconsX1X2markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2mark2ndsnegX1X2markX2markplusX1X2markX2active2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZmarkrconsX1X2markX2markfromXactivefrommarkXactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZactiveplus0YmarkYmarksXmarkXmark2ndsposX1X2markX2markcons2X1X2markX2mark2ndsnegX1X2markX2markplusX1X2activeplusmarkX1markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2markX2marktimesX1X2activetimesmarkX1markX2true12ndsneg22active1-112ndspos22from1-2plus22times22mark1-221cons212active11s1-2cons22-22rcons2-222posrecip121negrecip121pi121000square121rnil00mark11active2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZmarkrconsX1X2markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZactiveplus0YmarkYmarksXmarkXmark2ndsposX1X2markX2markcons2X1X2markX2mark2ndsnegX1X2markX2markplusX1X2activeplusmarkX1markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2markX2marktimesX1X2activetimesmarkX1markX22ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2fromactiveXfromXfrommarkXfromX2ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X212ndsneg2222active1212ndspos222plus22times2122mark11cons222active11from1-2s11cons222rcons22posrecip12negrecip1-2pi12000square1121rnil02mark121active2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZmarkrconsX1X2markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZactiveplus0YmarkYmarksXmarkXmarkcons2X1X2markX2markplusX1X2activeplusmarkX1markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2markX2marktimesX1X2activetimesmarkX1markX212ndsneg2-2active1212ndspos2-2plus22times22mark11cons2-2active11from11s11cons2212rcons22posrecip121negrecip1-2pi121002square12rnil00mark121active2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNcons2XconsYZmarkrconsposrecipY2ndsnegNZmarkrconsX1X2markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNcons2XconsYZmarkrconsnegrecipY2ndsposNZactiveplus0YmarkYmarksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplussXYmarksplusXYactivetimessXYmarkplusYtimesXYmarkplusX1X2markX2marktimesX1X2activetimesmarkX1markX2active18s15cons29mark18rcons20posrecip112ndsneg23negrecip14plus26008times27from19pi110square111rnil02active112ndspos21s11cons21mark11cons221mark11rcons212posrecip12ndsneg21negrecip1plus22100times221active11from11pi11square11rnil0active2ndspossNconsXZmark2ndspossNcons2XZmark2ndsposX1X2active2ndsposmarkX1markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2markplusX1X2activeplusmarkX1markX2marktimesX1X2activetimesmarkX1markX2markplusX1X2activeplusmarkX1markX2falsemarktimesX1X2activetimesmarkX1markX2falsemark2ndsposX1X2active2ndsposmarkX1markX2active2ndspossNconsXZmark2ndspossNcons2XZactive2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2true12ndspos287cons2115cons22542ndsneg2128from1136rcons216pi1914s161times243square124posrecip132negrecip17200102rnil005mark112ndspos22active11mark11cons2cons222ndsneg2active11from1rcons2pi1plus22s1times2square1posrecip1negrecip100rnil0mark2ndsposX1X2active2ndsposmarkX1markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZmark2ndsnegX1X2active2ndsnegmarkX1markX2mark2ndsposX1X2active2ndsposmarkX1markX2falsemark2ndsnegX1X2active2ndsnegmarkX1markX2active2ndsnegsNconsXZmark2ndsnegsNcons2XZtrue12ndsneg2127cons2116cons2255from11372ndspos2811rcons218pi1912s161times243square124posrecip132negrecip17200102rnil006mark112ndsneg22active11mark11cons2cons22active11from12ndspos2rcons2pi1plus22s1times2square1posrecip1negrecip100rnil0mark2ndsnegX1X2active2ndsnegmarkX1markX2mark2ndsnegX1X2active2ndsnegmarkX1markX2activefromXmarkconsXfromsXfalseactivetimes0Ymark0falseactive2ndspos0Zmarkrnilfalseactive2ndsneg0Zmarkrnilfalsemark0active0falsemarkrnilactivernilfalseactivefromXfromsXfalseactivepiXfrom0falsemarkfromXfrommarkXfalseactivefromXconsXfromsXfalsemarkconsX1X2consmarkX1X2falseactivefromXsXfalseactiveplussXYsplusXYfalsemarksXsmarkXfalseactive2ndspossNconsXZ2ndspossNcons2XZfalseactive2ndsnegsNcons2XconsYZ2ndsposNZfalseactivepiX2ndsposXfrom0falsemark2ndsposX1X22ndsposmarkX1markX2falseactive2ndspossNconsXZcons2XZfalseactive2ndsnegsNconsXZcons2XZfalsemarkcons2X1X2cons2X1markX2falseactive2ndspossNcons2XconsYZrconsposrecipY2ndsnegNZfalseactive2ndsnegsNcons2XconsYZrconsnegrecipY2ndsposNZfalsemarkrconsX1X2rconsmarkX1markX2falseactive2ndspossNcons2XconsYZposrecipYfalsemarkposrecipXposrecipmarkXfalseactive2ndspossNcons2XconsYZ2ndsnegNZfalseactive2ndsnegsNconsXZ2ndsnegsNcons2XZfalsemark2ndsnegX1X22ndsnegmarkX1markX2falseactive2ndsnegsNcons2XconsYZnegrecipYfalsemarknegrecipXnegrecipmarkXfalsemarkpiXpimarkXfalseactiveplussXYplusXYfalseactivetimessXYplusYtimesXYfalsemarkplusX1X2plusmarkX1markX2falseactivetimessXYtimesXYfalseactivesquareXtimesXXfalsemarktimesX1X2timesmarkX1markX2falsemarksquareXsquaremarkXfalsefromactiveXfromXfrommarkXfromXtrueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0fromactiveXfromX1true1frommarkXfromX1true1consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0consX1markX2consX1X21false12true2consmarkX1X2consX1X21true12false2consactiveX1X2consX1X21true12false2consX1activeX2consX1X21false12true2sactiveXsXsmarkXsXtrueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0sactiveXsX1true1smarkXsX1true12ndsposX1markX22ndsposX1X22ndsposmarkX1X22ndsposX1X22ndsposactiveX1X22ndsposX1X22ndsposX1activeX22ndsposX1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex02ndsposX1markX22ndsposX1X21false12true22ndsposmarkX1X22ndsposX1X21true12false22ndsposactiveX1X22ndsposX1X21true12false22ndsposX1activeX22ndsposX1X21false12true2cons2X1markX2cons2X1X2cons2markX1X2cons2X1X2cons2activeX1X2cons2X1X2cons2X1activeX2cons2X1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0cons2X1markX2cons2X1X21false12true2cons2markX1X2cons2X1X21true12false2cons2activeX1X2cons2X1X21true12false2cons2X1activeX2cons2X1X21false12true2rconsX1markX2rconsX1X2rconsmarkX1X2rconsX1X2rconsactiveX1X2rconsX1X2rconsX1activeX2rconsX1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0rconsX1markX2rconsX1X21false12true2rconsmarkX1X2rconsX1X21true12false2rconsactiveX1X2rconsX1X21true12false2rconsX1activeX2rconsX1X21false12true2posrecipactiveXposrecipXposrecipmarkXposrecipXtrueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0posrecipactiveXposrecipX1true1posrecipmarkXposrecipX1true12ndsnegX1markX22ndsnegX1X22ndsnegmarkX1X22ndsnegX1X22ndsnegactiveX1X22ndsnegX1X22ndsnegX1activeX22ndsnegX1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex02ndsnegX1markX22ndsnegX1X21false12true22ndsnegmarkX1X22ndsnegX1X21true12false22ndsnegactiveX1X22ndsnegX1X21true12false22ndsnegX1activeX22ndsnegX1X21false12true2negrecipactiveXnegrecipXnegrecipmarkXnegrecipXtrueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0negrecipactiveXnegrecipX1true1negrecipmarkXnegrecipX1true1piactiveXpiXpimarkXpiXtrueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0piactiveXpiX1true1pimarkXpiX1true1plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0plusX1markX2plusX1X21false12true2plusmarkX1X2plusX1X21true12false2plusactiveX1X2plusX1X21true12false2plusX1activeX2plusX1X21false12true2timesX1markX2timesX1X2timesmarkX1X2timesX1X2timesactiveX1X2timesX1X2timesX1activeX2timesX1X2trueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0timesX1markX2timesX1X21false12true2timesmarkX1X2timesX1X21true12false2timesactiveX1X2timesX1X21true12false2timesX1activeX2timesX1X21false12true2squareactiveXsquareXsquaremarkXsquareXtrueactivefromx0active2ndspos0x0active2ndspossx0consx1x2active2ndspossx0cons2x1consx2x3active2ndsneg0x0active2ndsnegsx0consx1x2active2ndsnegsx0cons2x1consx2x3activepix0activeplus0x0activeplussx0x1activetimes0x0activetimessx0x1activesquarex0markfromx0markconsx0x1marksx0mark2ndsposx0x1mark0markrnilmarkcons2x0x1markrconsx0x1markposrecipx0mark2ndsnegx0x1marknegrecipx0markpix0markplusx0x1marktimesx0x1marksquarex0squareactiveXsquareX1true1squaremarkXsquareX1true1AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (69 real / 0 unknown / 0 assumptions / 69 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe