activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveU31ttmark0activeU41ttMNmarkplusxNMNactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeisNatxV1V2markandisNatV1isNatV2activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNactivexN0markU31isNatNactivexNsMmarkU41andisNatMisNatNMNactiveU11X1X2U11activeX1X2activeU21X1X2X3U21activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeU31XU31activeXactiveU41X1X2X3U41activeX1X2X3activexX1X2xactiveX1X2activexX1X2xX1activeX2activeandX1X2andactiveX1X2U11markX1X2markU11X1X2U21markX1X2X3markU21X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2U31markXmarkU31XU41markX1X2X3markU41X1X2X3xmarkX1X2markxX1X2xX1markX2markxX1X2andmarkX1X2markandX1X2properU11X1X2U11properX1properX2properttokttproperU21X1X2X3U21properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properU31XU31properXproper0ok0properU41X1X2X3U41properX1properX2properX3properxX1X2xproperX1properX2properandX1X2andproperX1properX2properisNatXisNatproperXU11okX1okX2okU11X1X2U21okX1okX2okX3okU21X1X2X3sokXoksXplusokX1okX2okplusX1X2U31okXokU31XU41okX1okX2okX3okU41X1X2X3xokX1okX2okxX1X2andokX1okX2okandX1X2isNatokXokisNatXtopmarkXtopproperXtopokXtopactiveXactiveU21ttMNplusNMactiveU21ttMNsplusNMactiveU41ttMNxNMactiveU41ttMNplusxNMNactiveisNatplusV1V2isNatV2activeisNatplusV1V2isNatV1activeisNatplusV1V2andisNatV1isNatV2activeisNatsV1isNatV1activeisNatxV1V2isNatV2activeisNatxV1V2isNatV1activeisNatxV1V2andisNatV1isNatV2activeplusN0isNatNactiveplusN0U11isNatNNactiveplusNsMisNatNactiveplusNsMisNatMactiveplusNsMandisNatMisNatNactiveplusNsMU21andisNatMisNatNMNactivexN0isNatNactivexN0U31isNatNactivexNsMisNatNactivexNsMisNatMactivexNsMandisNatMisNatNactivexNsMU41andisNatMisNatNMNactiveU11X1X2activeX1activeU11X1X2U11activeX1X2activeU21X1X2X3activeX1activeU21X1X2X3U21activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activeU31XactiveXactiveU31XU31activeXactiveU41X1X2X3activeX1activeU41X1X2X3U41activeX1X2X3activexX1X2activeX1activexX1X2xactiveX1X2activexX1X2activeX2activexX1X2xX1activeX2activeandX1X2activeX1activeandX1X2andactiveX1X2U11markX1X2U11X1X2U21markX1X2X3U21X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2U31markXU31XU41markX1X2X3U41X1X2X3xmarkX1X2xX1X2xX1markX2xX1X2andmarkX1X2andX1X2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1properU21X1X2X3U21properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2properU31XproperXproperU31XU31properXproperU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU41X1X2X3U41properX1properX2properX3properxX1X2properX2properxX1X2properX1properxX1X2xproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properisNatXproperXproperisNatXisNatproperXU11okX1okX2U11X1X2U21okX1okX2okX3U21X1X2X3sokXsXplusokX1okX2plusX1X2U31okXU31XU41okX1okX2okX3U41X1X2X3xokX1okX2xX1X2andokX1okX2andX1X2isNatokXisNatXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2activeX1activeU21X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activeU31XactiveXactiveU41X1X2X3activeX1activexX1X2activeX1activexX1X2activeX2activeandX1X2activeX1trueactive11activeandX1X2andactiveX1X2falseactivexX1X2xX1activeX2falseactivexX1X2xactiveX1X2falseactiveU41X1X2X3U41activeX1X2X3falseactiveU31XU31activeXfalseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU21X1X2X3U21activeX1X2X3falseactiveU11X1X2U11activeX1X2falseactivexNsMU41andisNatMisNatNMNfalseactivexNsMandisNatMisNatNfalseactivexNsMisNatMfalseactivexNsMisNatNfalseactivexN0U31isNatNfalseactivexN0isNatNfalseactiveplusNsMU21andisNatMisNatNMNfalseactiveplusNsMandisNatMisNatNfalseactiveplusNsMisNatMfalseactiveplusNsMisNatNfalseactiveplusN0U11isNatNNfalseactiveplusN0isNatNfalseactiveisNatxV1V2andisNatV1isNatV2falseactiveisNatxV1V2isNatV1falseactiveisNatxV1V2isNatV2falseactiveisNatsV1isNatV1falseactiveisNatplusV1V2andisNatV1isNatV2falseactiveisNatplusV1V2isNatV1falseactiveisNatplusV1V2isNatV2falseactiveU41ttMNplusxNMNfalseactiveU41ttMNxNMfalseactiveU21ttMNsplusNMfalseactiveU21ttMNplusNMfalsetopmarkXproperXfalseproperU11X1X2properX2properU11X1X2properX1properU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properU31XproperXproperU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properxX1X2properX2properxX1X2properX1properandX1X2properX2properandX1X2properX1properisNatXproperXtrueproper11properisNatXisNatproperXfalseisNatokXisNatXtrueisNat11properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2trueand22andmarkX1X2andX1X2and21properxX1X2xproperX1properX2falsexmarkX1X2xX1X2xX1markX2xX1X2xokX1okX2xX1X2truex22xmarkX1X2xX1X2x21properU41X1X2X3U41properX1properX2properX3falseU41markX1X2X3U41X1X2X3U41okX1okX2okX3U41X1X2X3trueU4133U41markX1X2X3U41X1X2X3U4131properU31XU31properXfalseU31markXU31XU31okXU31XtrueU3111properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2trueplus22plusmarkX1X2plusX1X2plus21propersXsproperXfalsesmarkXsXsokXsXtrues11properU21X1X2X3U21properX1properX2properX3falseU21markX1X2X3U21X1X2X3U21okX1okX2okX3U21X1X2X3trueU2133U21markX1X2X3U21X1X2X3U2131properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2trueU1122U11markX1X2U11X1X2U1121