activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNactiveU11X1X2U11activeX1X2activeU12XU12activeXactiveU21XU21activeXactiveU31X1X2U31activeX1X2activeU41X1X2X3U41activeX1X2X3activeU42X1X2X3U42activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2U11markX1X2markU11X1X2U12markXmarkU12XU21markXmarkU21XU31markX1X2markU31X1X2U41markX1X2X3markU41X1X2X3U42markX1X2X3markU42X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2properU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNatXisNatproperXproperU21XU21properXproperU31X1X2U31properX1properX2properU41X1X2X3U41properX1properX2properX3properU42X1X2X3U42properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2proper0ok0U11okX1okX2okU11X1X2U12okXokU12XisNatokXokisNatXU21okXokU21XU31okX1okX2okU31X1X2U41okX1okX2okX3okU41X1X2X3U42okX1okX2okX3okU42X1X2X3sokXoksXplusokX1okX2okplusX1X2topmarkXtopproperXtopokXtopactiveXactiveU11ttV2isNatV2activeU11ttV2U12isNatV2activeU41ttMNisNatNactiveU41ttMNU42isNatNMNactiveU42ttMNplusNMactiveU42ttMNsplusNMactiveisNatplusV1V2isNatV1activeisNatplusV1V2U11isNatV1V2activeisNatsV1isNatV1activeisNatsV1U21isNatV1activeplusN0isNatNactiveplusN0U31isNatNNactiveplusNsMisNatMactiveplusNsMU41isNatMMNactiveU11X1X2activeX1activeU11X1X2U11activeX1X2activeU12XactiveXactiveU12XU12activeXactiveU21XactiveXactiveU21XU21activeXactiveU31X1X2activeX1activeU31X1X2U31activeX1X2activeU41X1X2X3activeX1activeU41X1X2X3U41activeX1X2X3activeU42X1X2X3activeX1activeU42X1X2X3U42activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2U11markX1X2U11X1X2U12markXU12XU21markXU21XU31markX1X2U31X1X2U41markX1X2X3U41X1X2X3U42markX1X2X3U42X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU12XproperXproperU12XU12properXproperisNatXproperXproperisNatXisNatproperXproperU21XproperXproperU21XU21properXproperU31X1X2properX2properU31X1X2properX1properU31X1X2U31properX1properX2properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU41X1X2X3U41properX1properX2properX3properU42X1X2X3properX3properU42X1X2X3properX2properU42X1X2X3properX1properU42X1X2X3U42properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2U11okX1okX2U11X1X2U12okXU12XisNatokXisNatXU21okXU21XU31okX1okX2U31X1X2U41okX1okX2okX3U41X1X2X3U42okX1okX2okX3U42X1X2X3sokXsXplusokX1okX2plusX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2activeX1activeU12XactiveXactiveU21XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX1activeU42X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2trueactive11activeplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU42X1X2X3U42activeX1X2X3falseactiveU41X1X2X3U41activeX1X2X3falseactiveU31X1X2U31activeX1X2falseactiveU21XU21activeXfalseactiveU12XU12activeXfalseactiveU11X1X2U11activeX1X2falseactiveplusNsMU41isNatMMNfalseactiveplusNsMisNatMfalseactiveplusN0U31isNatNNfalseactiveplusN0isNatNfalseactiveisNatsV1U21isNatV1falseactiveisNatsV1isNatV1falseactiveisNatplusV1V2U11isNatV1V2falseactiveisNatplusV1V2isNatV1falseactiveU42ttMNsplusNMfalseactiveU42ttMNplusNMfalseactiveU41ttMNU42isNatNMNfalseactiveU41ttMNisNatNfalseactiveU11ttV2U12isNatV2falseactiveU11ttV2isNatV2falsetopmarkXproperXfalseproperU11X1X2properX2properU11X1X2properX1properU12XproperXproperisNatXproperXproperU21XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU42X1X2X3properX3properU42X1X2X3properX2properU42X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1trueproper11properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2trueplus22plusmarkX1X2plusX1X2plus21propersXsproperXfalsesmarkXsXsokXsXtrues11properU42X1X2X3U42properX1properX2properX3falseU42markX1X2X3U42X1X2X3U42okX1okX2okX3U42X1X2X3trueU4233U42markX1X2X3U42X1X2X3U4231properU41X1X2X3U41properX1properX2properX3falseU41markX1X2X3U41X1X2X3U41okX1okX2okX3U41X1X2X3trueU4133U41markX1X2X3U41X1X2X3U4131properU31X1X2U31properX1properX2falseU31markX1X2U31X1X2U31okX1okX2U31X1X2trueU3122U31markX1X2U31X1X2U3121properU21XU21properXfalseU21markXU21XU21okXU21XtrueU2111properisNatXisNatproperXfalseisNatokXisNatXtrueisNat11properU12XU12properXfalseU12markXU12XU12okXU12XtrueU1211properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2trueU1122U11markX1X2U11X1X2U1121