activeU11ttV1V2markU12isNatV1V2activeU12ttV2markU13isNatV2activeU13ttmarkttactiveU21ttV1markU22isNatV1activeU22ttmarkttactiveU31ttNmarkNactiveU41ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markU11andisNatKindV1isNatKindV2V1V2activeisNatsV1markU21isNatKindV1V1activeisNatKind0markttactiveisNatKindplusV1V2markandisNatKindV1isNatKindV2activeisNatKindsV1markisNatKindV1activeplusN0markU31andisNatNisNatKindNNactiveplusNsMmarkU41andandisNatMisNatKindMandisNatNisNatKindNMNactiveU11X1X2X3U11activeX1X2X3activeU12X1X2U12activeX1X2activeU13XU13activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31X1X2U31activeX1X2activeU41X1X2X3U41activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeandX1X2andactiveX1X2U11markX1X2X3markU11X1X2X3U12markX1X2markU12X1X2U13markXmarkU13XU21markX1X2markU21X1X2U22markXmarkU22XU31markX1X2markU31X1X2U41markX1X2X3markU41X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2andmarkX1X2markandX1X2properU11X1X2X3U11properX1properX2properX3properttokttproperU12X1X2U12properX1properX2properisNatXisNatproperXproperU13XU13properXproperU21X1X2U21properX1properX2properU22XU22properXproperU31X1X2U31properX1properX2properU41X1X2X3U41properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properandX1X2andproperX1properX2proper0ok0properisNatKindXisNatKindproperXU11okX1okX2okX3okU11X1X2X3U12okX1okX2okU12X1X2isNatokXokisNatXU13okXokU13XU21okX1okX2okU21X1X2U22okXokU22XU31okX1okX2okU31X1X2U41okX1okX2okX3okU41X1X2X3sokXoksXplusokX1okX2okplusX1X2andokX1okX2okandX1X2isNatKindokXokisNatKindXtopmarkXtopproperXtopokXtopactiveXactiveU11ttV1V2isNatV1activeU11ttV1V2U12isNatV1V2activeU12ttV2isNatV2activeU12ttV2U13isNatV2activeU21ttV1isNatV1activeU21ttV1U22isNatV1activeU41ttMNplusNMactiveU41ttMNsplusNMactiveisNatplusV1V2isNatKindV2activeisNatplusV1V2isNatKindV1activeisNatplusV1V2andisNatKindV1isNatKindV2activeisNatplusV1V2U11andisNatKindV1isNatKindV2V1V2activeisNatsV1isNatKindV1activeisNatsV1U21isNatKindV1V1activeisNatKindplusV1V2isNatKindV2activeisNatKindplusV1V2isNatKindV1activeisNatKindplusV1V2andisNatKindV1isNatKindV2activeisNatKindsV1isNatKindV1activeplusN0isNatKindNactiveplusN0isNatNactiveplusN0andisNatNisNatKindNactiveplusN0U31andisNatNisNatKindNNactiveplusNsMisNatKindNactiveplusNsMisNatNactiveplusNsMandisNatNisNatKindNactiveplusNsMisNatKindMactiveplusNsMisNatMactiveplusNsMandisNatMisNatKindMactiveplusNsMandandisNatMisNatKindMandisNatNisNatKindNactiveplusNsMU41andandisNatMisNatKindMandisNatNisNatKindNMNactiveU11X1X2X3activeX1activeU11X1X2X3U11activeX1X2X3activeU12X1X2activeX1activeU12X1X2U12activeX1X2activeU13XactiveXactiveU13XU13activeXactiveU21X1X2activeX1activeU21X1X2U21activeX1X2activeU22XactiveXactiveU22XU22activeXactiveU31X1X2activeX1activeU31X1X2U31activeX1X2activeU41X1X2X3activeX1activeU41X1X2X3U41activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activeandX1X2activeX1activeandX1X2andactiveX1X2U11markX1X2X3U11X1X2X3U12markX1X2U12X1X2U13markXU13XU21markX1X2U21X1X2U22markXU22XU31markX1X2U31X1X2U41markX1X2X3U41X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2andmarkX1X2andX1X2properU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU11X1X2X3U11properX1properX2properX3properU12X1X2properX2properU12X1X2properX1properU12X1X2U12properX1properX2properisNatXproperXproperisNatXisNatproperXproperU13XproperXproperU13XU13properXproperU21X1X2properX2properU21X1X2properX1properU21X1X2U21properX1properX2properU22XproperXproperU22XU22properXproperU31X1X2properX2properU31X1X2properX1properU31X1X2U31properX1properX2properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU41X1X2X3U41properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properisNatKindXproperXproperisNatKindXisNatKindproperXU11okX1okX2okX3U11X1X2X3U12okX1okX2U12X1X2isNatokXisNatXU13okXU13XU21okX1okX2U21X1X2U22okXU22XU31okX1okX2U31X1X2U41okX1okX2okX3U41X1X2X3sokXsXplusokX1okX2plusX1X2andokX1okX2andX1X2isNatKindokXisNatKindXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2X3activeX1activeU12X1X2activeX1activeU13XactiveXactiveU21X1X2activeX1activeU22XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activeandX1X2activeX1trueactive11activeandX1X2andactiveX1X2falseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU41X1X2X3U41activeX1X2X3falseactiveU31X1X2U31activeX1X2falseactiveU22XU22activeXfalseactiveU21X1X2U21activeX1X2falseactiveU13XU13activeXfalseactiveU12X1X2U12activeX1X2falseactiveU11X1X2X3U11activeX1X2X3falseactiveplusNsMU41andandisNatMisNatKindMandisNatNisNatKindNMNfalseactiveplusNsMandandisNatMisNatKindMandisNatNisNatKindNfalseactiveplusNsMandisNatMisNatKindMfalseactiveplusNsMisNatMfalseactiveplusNsMisNatKindMfalseactiveplusNsMandisNatNisNatKindNfalseactiveplusNsMisNatNfalseactiveplusNsMisNatKindNfalseactiveplusN0U31andisNatNisNatKindNNfalseactiveplusN0andisNatNisNatKindNfalseactiveplusN0isNatNfalseactiveplusN0isNatKindNfalseactiveisNatKindsV1isNatKindV1falseactiveisNatKindplusV1V2andisNatKindV1isNatKindV2falseactiveisNatKindplusV1V2isNatKindV1falseactiveisNatKindplusV1V2isNatKindV2falseactiveisNatsV1U21isNatKindV1V1falseactiveisNatsV1isNatKindV1falseactiveisNatplusV1V2U11andisNatKindV1isNatKindV2V1V2falseactiveisNatplusV1V2andisNatKindV1isNatKindV2falseactiveisNatplusV1V2isNatKindV1falseactiveisNatplusV1V2isNatKindV2falseactiveU41ttMNsplusNMfalseactiveU41ttMNplusNMfalseactiveU21ttV1U22isNatV1falseactiveU21ttV1isNatV1falseactiveU12ttV2U13isNatV2falseactiveU12ttV2isNatV2falseactiveU11ttV1V2U12isNatV1V2falseactiveU11ttV1V2isNatV1falsetopmarkXproperXfalseproperU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU12X1X2properX2properU12X1X2properX1properisNatXproperXproperU13XproperXproperU21X1X2properX2properU21X1X2properX1properU22XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properandX1X2properX2properandX1X2properX1properisNatKindXproperXtrueproper11properisNatKindXisNatKindproperXfalseisNatKindokXisNatKindXtrueisNatKind11properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2trueand22andmarkX1X2andX1X2and21properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2trueplus22plusmarkX1X2plusX1X2plus21propersXsproperXfalsesmarkXsXsokXsXtrues11properU41X1X2X3U41properX1properX2properX3falseU41markX1X2X3U41X1X2X3U41okX1okX2okX3U41X1X2X3trueU4133U41markX1X2X3U41X1X2X3U4131properU31X1X2U31properX1properX2falseU31markX1X2U31X1X2U31okX1okX2U31X1X2trueU3122U31markX1X2U31X1X2U3121properU22XU22properXfalseU22markXU22XU22okXU22XtrueU2211properU21X1X2U21properX1properX2falseU21markX1X2U21X1X2U21okX1okX2U21X1X2trueU2122U21markX1X2U21X1X2U2121properU13XU13properXfalseU13markXU13XU13okXU13XtrueU1311properisNatXisNatproperXfalseisNatokXisNatXtrueisNat11properU12X1X2U12properX1properX2falseU12markX1X2U12X1X2U12okX1okX2U12X1X2trueU1222U12markX1X2U12X1X2U1221properU11X1X2X3U11properX1properX2properX3falseU11markX1X2X3U11X1X2X3U11okX1okX2okX3U11X1X2X3trueU1133U11markX1X2X3U11X1X2X3U1131