activeandttXmarkXactiveplusN0markNactiveplusNsMmarksplusNMactivexN0mark0activexNsMmarkplusxNMNactiveandX1X2andactiveX1X2activeplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activesXsactiveXactivexX1X2xactiveX1X2activexX1X2xX1activeX2andmarkX1X2markandX1X2plusmarkX1X2markplusX1X2plusX1markX2markplusX1X2smarkXmarksXxmarkX1X2markxX1X2xX1markX2markxX1X2properandX1X2andproperX1properX2properttokttproperplusX1X2plusproperX1properX2proper0ok0propersXsproperXproperxX1X2xproperX1properX2andokX1okX2okandX1X2plusokX1okX2okplusX1X2sokXoksXxokX1okX2okxX1X2topmarkXtopproperXtopokXtopactiveXactiveplusNsMplusNMactiveplusNsMsplusNMactivexNsMxNMactivexNsMplusxNMNactiveandX1X2activeX1activeandX1X2andactiveX1X2activeplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activesXactiveXactivesXsactiveXactivexX1X2activeX1activexX1X2xactiveX1X2activexX1X2activeX2activexX1X2xX1activeX2andmarkX1X2andX1X2plusmarkX1X2plusX1X2plusX1markX2plusX1X2smarkXsXxmarkX1X2xX1X2xX1markX2xX1X2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2propersXproperXpropersXsproperXproperxX1X2properX2properxX1X2properX1properxX1X2xproperX1properX2andokX1okX2andX1X2plusokX1okX2plusX1X2sokXsXxokX1okX2xX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveandX1X2activeX1activeplusX1X2activeX1activeplusX1X2activeX2activesXactiveXactivexX1X2activeX1activexX1X2activeX2true1active1114x281421s1110plus211120and211020activeandX1X2activeX1activeplusX1X2activeX1activeplusX1X2activeX2activesXactiveX1active1410s1112plus211120and211028activeplusX1X2activeX1activeplusX1X2activeX21active1718plus211123activexX1X2xX1activeX2falseactivexX1X2xactiveX1X2falseactivesXsactiveXfalseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactiveandX1X2andactiveX1X2falseactivexNsMplusxNMNfalseactivexNsMxNMfalseactiveplusNsMsplusNMfalseactiveplusNsMplusNMfalsetopmarkXproperXfalseproperandX1X2properX2properandX1X2properX1properplusX1X2properX2properplusX1X2properX1propersXproperXproperxX1X2properX2properxX1X2properX1true1proper1614x231721s1412plus211129and261828properxX1X2xproperX1properX2falsexmarkX1X2xX1X2xX1markX2xX1X2xokX1okX2xX1X2true1x271426ok1515mark1818propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2true1plus271426ok1515mark1818properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2true1and281120ok1413mark1110andmarkX1X2andX1X21and2810212mark1113