activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNactiveU11X1X2U11activeX1X2activeU12XU12activeXactiveU21XU21activeXactiveU31X1X2U31activeX1X2activeU41X1X2X3U41activeX1X2X3activeU42X1X2X3U42activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2U11markX1X2markU11X1X2U12markXmarkU12XU21markXmarkU21XU31markX1X2markU31X1X2U41markX1X2X3markU41X1X2X3U42markX1X2X3markU42X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2properU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNatXisNatproperXproperU21XU21properXproperU31X1X2U31properX1properX2properU41X1X2X3U41properX1properX2properX3properU42X1X2X3U42properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2proper0ok0U11okX1okX2okU11X1X2U12okXokU12XisNatokXokisNatXU21okXokU21XU31okX1okX2okU31X1X2U41okX1okX2okX3okU41X1X2X3U42okX1okX2okX3okU42X1X2X3sokXoksXplusokX1okX2okplusX1X2topmarkXtopproperXtopokXtopactiveXactiveU11ttV2isNatV2activeU11ttV2U12isNatV2activeU41ttMNisNatNactiveU41ttMNU42isNatNMNactiveU42ttMNplusNMactiveU42ttMNsplusNMactiveisNatplusV1V2isNatV1activeisNatplusV1V2U11isNatV1V2activeisNatsV1isNatV1activeisNatsV1U21isNatV1activeplusN0isNatNactiveplusN0U31isNatNNactiveplusNsMisNatMactiveplusNsMU41isNatMMNactiveU11X1X2activeX1activeU11X1X2U11activeX1X2activeU12XactiveXactiveU12XU12activeXactiveU21XactiveXactiveU21XU21activeXactiveU31X1X2activeX1activeU31X1X2U31activeX1X2activeU41X1X2X3activeX1activeU41X1X2X3U41activeX1X2X3activeU42X1X2X3activeX1activeU42X1X2X3U42activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2U11markX1X2U11X1X2U12markXU12XU21markXU21XU31markX1X2U31X1X2U41markX1X2X3U41X1X2X3U42markX1X2X3U42X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU12XproperXproperU12XU12properXproperisNatXproperXproperisNatXisNatproperXproperU21XproperXproperU21XU21properXproperU31X1X2properX2properU31X1X2properX1properU31X1X2U31properX1properX2properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU41X1X2X3U41properX1properX2properX3properU42X1X2X3properX3properU42X1X2X3properX2properU42X1X2X3properX1properU42X1X2X3U42properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2U11okX1okX2U11X1X2U12okXU12XisNatokXisNatXU21okXU21XU31okX1okX2U31X1X2U41okX1okX2okX3U41X1X2X3U42okX1okX2okX3U42X1X2X3sokXsXplusokX1okX2plusX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2activeX1activeU12XactiveXactiveU21XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX1activeU42X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2true1active1612s1318plus221129U4231102030U4131102030U31211020U211110U121110U11211020activeU11X1X2activeX1activeU12XactiveXactiveU21XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX1activeU42X1X2X3activeX11active1410U4231102032U4138102030U31211020U211110U121110U11211020activeU11X1X2activeX1activeU12XactiveXactiveU21XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX11active1416U4132102036U31281024U211417U121317U11281020activeU11X1X2activeX11active18112U11211023activeplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU42X1X2X3U42activeX1X2X3falseactiveU41X1X2X3U41activeX1X2X3falseactiveU31X1X2U31activeX1X2falseactiveU21XU21activeXfalseactiveU12XU12activeXfalseactiveU11X1X2U11activeX1X2falseactiveplusNsMU41isNatMMNfalseactiveplusNsMisNatMfalseactiveplusN0U31isNatNNfalseactiveplusN0isNatNfalseactiveisNatsV1U21isNatV1falseactiveisNatsV1isNatV1falseactiveisNatplusV1V2U11isNatV1V2falseactiveisNatplusV1V2isNatV1falseactiveU42ttMNsplusNMfalseactiveU42ttMNplusNMfalseactiveU41ttMNU42isNatNMNfalseactiveU41ttMNisNatNfalseactiveU11ttV2U12isNatV2falseactiveU11ttV2isNatV2falsetopmarkXproperXfalseproperU11X1X2properX2properU11X1X2properX1properU12XproperXproperisNatXproperXproperU21XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU42X1X2X3properX3properU42X1X2X3properX2properU42X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1true1proper1618s1111plus2101820U4231112130U4131122130U312111025U211110U121110isNat1115U11271123properU12XproperXproperU21XproperXproperU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU42X1X2X3properX3properU42X1X2X3properX2properU42X1X2X3properX1properplusX1X2properX2properplusX1X2properX11proper1512plus211125U4231112130U4131112130U211110U121110properU12XproperXproperU21XproperXproperU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU42X1X2X3properX3properU42X1X2X3properX2properU42X1X2X3properX11proper1810U4231112134U4131112536U211216U121210properU12XproperX1proper1410U1218110properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2true1plus271426ok1515mark1818propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019properU42X1X2X3U42properX1properX2properX3falseU42markX1X2X3U42X1X2X3U42okX1okX2okX3U42X1X2X3true1U4238132633ok1711mark1411properU41X1X2X3U41properX1properX2properX3falseU41markX1X2X3U41X1X2X3U41okX1okX2okX3U41X1X2X3true1U4138132633ok1711mark1411properU31X1X2U31properX1properX2falseU31markX1X2U31X1X2U31okX1okX2U31X1X2true1U31281120ok1413mark1110U31markX1X2U31X1X21U312810212mark1113properU21XU21properXfalseU21markXU21XU21okXU21Xtrue1U2111113ok1113mark11019properisNatXisNatproperXfalseisNatokXisNatXtrue1isNat1410ok18110properU12XU12properXfalseU12markXU12XU12okXU12Xtrue1U1211113ok1113mark11019properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2true1U11281120ok1413mark1110U11markX1X2U11X1X21U112810212mark1113