activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNactiveU11X1X2U11activeX1X2activeU21X1X2X3U21activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeandX1X2andactiveX1X2U11markX1X2markU11X1X2U21markX1X2X3markU21X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2andmarkX1X2markandX1X2properU11X1X2U11properX1properX2properttokttproperU21X1X2X3U21properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properandX1X2andproperX1properX2properisNatXisNatproperXproper0ok0U11okX1okX2okU11X1X2U21okX1okX2okX3okU21X1X2X3sokXoksXplusokX1okX2okplusX1X2andokX1okX2okandX1X2isNatokXokisNatXtopmarkXtopproperXtopokXtopactiveXactiveU21ttMNplusNMactiveU21ttMNsplusNMactiveisNatplusV1V2isNatV2activeisNatplusV1V2isNatV1activeisNatplusV1V2andisNatV1isNatV2activeisNatsV1isNatV1activeplusN0isNatNactiveplusN0U11isNatNNactiveplusNsMisNatNactiveplusNsMisNatMactiveplusNsMandisNatMisNatNactiveplusNsMU21andisNatMisNatNMNactiveU11X1X2activeX1activeU11X1X2U11activeX1X2activeU21X1X2X3activeX1activeU21X1X2X3U21activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activeandX1X2activeX1activeandX1X2andactiveX1X2U11markX1X2U11X1X2U21markX1X2X3U21X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2andmarkX1X2andX1X2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1properU21X1X2X3U21properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properisNatXproperXproperisNatXisNatproperXU11okX1okX2U11X1X2U21okX1okX2okX3U21X1X2X3sokXsXplusokX1okX2plusX1X2andokX1okX2andX1X2isNatokXisNatXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2activeX1activeU21X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activeandX1X2activeX1true1active1418and271024s1110plus211120U2132102031U11261026activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX21active1311s11312plus2217213activeandX1X2andactiveX1X2falseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU21X1X2X3U21activeX1X2X3falseactiveU11X1X2U11activeX1X2falseactiveplusNsMU21andisNatMisNatNMNfalseactiveplusNsMandisNatMisNatNfalseactiveplusNsMisNatMfalseactiveplusNsMisNatNfalseactiveplusN0U11isNatNNfalseactiveplusN0isNatNfalseactiveisNatsV1isNatV1falseactiveisNatplusV1V2andisNatV1isNatV2falseactiveisNatplusV1V2isNatV1falseactiveisNatplusV1V2isNatV2falseactiveU21ttMNsplusNMfalseactiveU21ttMNplusNMfalsetopmarkXproperXfalseproperU11X1X2properX2properU11X1X2properX1properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properandX1X2properX2properandX1X2properX1properisNatXproperXtrue1proper1212isNat1810and241128s1110plus221120U2131112130U1121214212properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properisNatXproperX1proper1814isNat1113s1110plus211120U2131112130properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX11proper15110s1111plus211120U2131112130properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1properplusX1X2properX2properplusX1X2properX11proper1616plus211123U2135112531properisNatXisNatproperXfalseisNatokXisNatXtrue1isNat1410ok18110properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2true1and281120ok1413mark1110andmarkX1X2andX1X21and2810212mark1113properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2true1plus271426ok1515mark1818propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019properU21X1X2X3U21properX1properX2properX3falseU21markX1X2X3U21X1X2X3U21okX1okX2okX3U21X1X2X3true1U2138132633ok1711mark1411properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2true1U11281120ok1413mark1110U11markX1X2U11X1X21U112810212mark1113