activeandttXmarkXactiveplusN0markNactiveplusNsMmarksplusNMactiveandX1X2andactiveX1X2activeplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activesXsactiveXandmarkX1X2markandX1X2plusmarkX1X2markplusX1X2plusX1markX2markplusX1X2smarkXmarksXproperandX1X2andproperX1properX2properttokttproperplusX1X2plusproperX1properX2proper0ok0propersXsproperXandokX1okX2okandX1X2plusokX1okX2okplusX1X2sokXoksXtopmarkXtopproperXtopokXtopactiveXactiveplusNsMsplusNMactiveplusNsMplusNMactiveandX1X2andactiveX1X2activeandX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX1activeplusX1X2plusX1activeX2activeplusX1X2activeX2activesXsactiveXactivesXactiveXandmarkX1X2andX1X2plusmarkX1X2plusX1X2plusX1markX2plusX1X2smarkXsXproperandX1X2andproperX1properX2properandX1X2properX1properandX1X2properX2properplusX1X2plusproperX1properX2properplusX1X2properX1properplusX1X2properX2propersXsproperXpropersXproperXandokX1okX2andX1X2plusokX1okX2plusX1X2sokXsXtopmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue123456789101112131415161top121ok111active111mark1111proper111and211142tt00plus21122004s1211top10topokXtopactiveX1top111ok1111active111and212tt00mark10plus212000s111proper11top10topokXactiveXfalse246781011131415activeplusX1X2activeX1activeandX1X2activeX1activeplusX1X2activeX2activesXactiveXtrue248111213141active111plus21112and211112s111active111tt01mark10001proper111ok10top10activeplusX1X2activeX1activeplusX1X2activeX2activesXactiveX1active111plus21112s1111active111and21112tt01mark111001proper111ok10top10activeplusX1X2activeX1activeplusX1X2activeX21active111plus211112active1111and211112tt01mark111001s1111proper111ok10top10activeplusNsMsplusNMfalse245689111213activeplusNsMplusNMfalse269101112activeandX1X2andactiveX1X2false9activeplusX1X2plusactiveX1X2false8activeplusX1X2plusX1activeX2false8activesXsactiveXfalse7topmarkXproperXfalse6properandX1X2properX2properandX1X2properX1properplusX1X2properX1properplusX1X2properX2propersXproperXtrue51proper111and211112plus21112s111active111tt01mark10001proper111ok10top10properplusX1X2properX1properplusX1X2properX2propersXproperX1proper111plus21112s1111active111and21112tt01mark111001proper111ok10top10properplusX1X2properX1properplusX1X2properX21proper111plus211112active1111and211112tt01mark111001s1111proper111ok10top10properandX1X2andproperX1properX2false5andokX1okX2andX1X2andmarkX1X2andX1X2true41and212ok1111mark10active111and212tt01plus212000s111proper1111top10andmarkX1X2andX1X21and211mark1111active1111and211112tt00plus21112000s1111proper111ok10top10properplusX1X2plusproperX1properX2false3plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusokX1okX2plusX1X2true1plus211mark111ok1111active111and212tt00plus211000s111proper11top10plusX1markX2plusX1X2plusmarkX1X2plusX1X21plus211mark1111active1111and21112tt01plus21112001s111proper111ok10top10plusX1markX2plusX1X21plus212mark1111active1111and211112tt00plus21112000s1111proper111ok10top10propersXsproperXfalsesokXsXsmarkXsXtrue1s111ok111mark1111active1111and21112tt00plus21112000s111proper10top10sokXsX1s111ok1111active1111and211tt01mark11plus2111001s1111proper1111top10