activeandttXmarkXactiveplusN0markNactiveplusNsMmarksplusNMactiveandX1X2andactiveX1X2activeplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activesXsactiveXandmarkX1X2markandX1X2plusmarkX1X2markplusX1X2plusX1markX2markplusX1X2smarkXmarksXproperandX1X2andproperX1properX2properttokttproperplusX1X2plusproperX1properX2proper0ok0propersXsproperXandokX1okX2okandX1X2plusokX1okX2okplusX1X2sokXoksXtopmarkXtopproperXtopokXtopactiveXactiveplusNsMplusNMactiveplusNsMsplusNMactiveandX1X2activeX1activeandX1X2andactiveX1X2activeplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activesXactiveXactivesXsactiveXandmarkX1X2andX1X2plusmarkX1X2plusX1X2plusX1markX2plusX1X2smarkXsXproperandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2propersXproperXpropersXsproperXandokX1okX2andX1X2plusokX1okX2plusX1X2sokXsXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1top1810top16114ok1110proper1110s1111plus281822001mark1117active1110and271220tt04topokXtopactiveX1top1213top1012ok1812proper1912s1110plus251021000mark1110active1811and201120tt00topokXactiveXfalseactiveandX1X2activeX1activeplusX1X2activeX1activeplusX1X2activeX2activesXactiveXtrue1active1414top1014ok1110proper1810s1412plus221120000mark1010active1810and211025tt02activeplusX1X2activeX1activeplusX1X2activeX21active18112top1013ok1010proper1210s1010plus211426000mark1010active18114and201420tt04activesXsactiveXfalseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactiveandX1X2andactiveX1X2falseactiveplusNsMsplusNMfalseactiveplusNsMplusNMfalsetopmarkXproperXfalseproperandX1X2properX2properandX1X2properX1properplusX1X2properX2properplusX1X2properX1propersXproperXtrue1proper1210top1010ok1010proper1211s1110plus211424000mark1010active1819and211121tt00propersXproperX1proper1110top1018ok1110proper1110s1812plus201026003mark1010active1210and2011428tt00propersXsproperXfalsesmarkXsXsokXsXtrue1s1411top1014ok1211proper1810s1711plus221021004mark1110active1711and201420tt01smarkXsX1s1710top1010ok1110proper1410s1212plus281828002mark1113active1211and221822tt02properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2true1plus201220top1012ok1118proper1410s1110plus221028008mark1110active1210and261121tt04plusmarkX1X2plusX1X2plusX1markX2plusX1X21plus211020top1015ok1010proper1310s1112plus211120007mark1114active1310and241128tt02plusX1markX2plusX1X21plus201820top10110ok1110proper1410s1212plus251520001mark1114active1410and281120tt01properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2true1and201220top10112ok1111proper1311s1114plus2011210010mark1011active1218and2211528tt06andmarkX1X2andX1X21and281020top10110ok1110proper1410s1212plus251520001mark1114active1410and281120tt01