activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNactiveU11X1X2U11activeX1X2activeU21X1X2X3U21activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeandX1X2andactiveX1X2U11markX1X2markU11X1X2U21markX1X2X3markU21X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2andmarkX1X2markandX1X2properU11X1X2U11properX1properX2properttokttproperU21X1X2X3U21properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properandX1X2andproperX1properX2properisNatXisNatproperXproper0ok0U11okX1okX2okU11X1X2U21okX1okX2okX3okU21X1X2X3sokXoksXplusokX1okX2okplusX1X2andokX1okX2okandX1X2isNatokXokisNatXtopmarkXtopproperXtopokXtopactiveXactiveU21ttMNplusNMactiveU21ttMNsplusNMactiveisNatplusV1V2isNatV2activeisNatplusV1V2isNatV1activeisNatplusV1V2andisNatV1isNatV2activeisNatsV1isNatV1activeplusN0isNatNactiveplusN0U11isNatNNactiveplusNsMisNatNactiveplusNsMisNatMactiveplusNsMandisNatMisNatNactiveplusNsMU21andisNatMisNatNMNactiveU11X1X2activeX1activeU11X1X2U11activeX1X2activeU21X1X2X3activeX1activeU21X1X2X3U21activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activeandX1X2activeX1activeandX1X2andactiveX1X2U11markX1X2U11X1X2U21markX1X2X3U21X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2andmarkX1X2andX1X2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1properU21X1X2X3U21properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properisNatXproperXproperisNatXisNatproperXU11okX1okX2U11X1X2U21okX1okX2okX3U21X1X2X3sokXsXplusokX1okX2plusX1X2andokX1okX2andX1X2isNatokXisNatXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2activeX1activeU21X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activeandX1X2activeX1trueactive11activeandX1X2andactiveX1X2falseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU21X1X2X3U21activeX1X2X3falseactiveU11X1X2U11activeX1X2falseactiveplusNsMU21andisNatMisNatNMNfalseactiveplusNsMandisNatMisNatNfalseactiveplusNsMisNatMfalseactiveplusNsMisNatNfalseactiveplusN0U11isNatNNfalseactiveplusN0isNatNfalseactiveisNatsV1isNatV1falseactiveisNatplusV1V2andisNatV1isNatV2falseactiveisNatplusV1V2isNatV1falseactiveisNatplusV1V2isNatV2falseactiveU21ttMNsplusNMfalseactiveU21ttMNplusNMfalsetopmarkXproperXfalseproperU11X1X2properX2properU11X1X2properX1properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properandX1X2properX2properandX1X2properX1properisNatXproperXtrueproper11properisNatXisNatproperXfalseisNatokXisNatXtrueisNat11properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2trueand22andmarkX1X2andX1X2and21properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2trueplus22plusmarkX1X2plusX1X2plus21propersXsproperXfalsesmarkXsXsokXsXtrues11properU21X1X2X3U21properX1properX2properX3falseU21markX1X2X3U21X1X2X3U21okX1okX2okX3U21X1X2X3trueU2133U21markX1X2X3U21X1X2X3U2131properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2trueU1122U11markX1X2U11X1X2U1121