activeU11ttV1V2markU12isNatV1V2activeU12ttV2markU13isNatV2activeU13ttmarkttactiveU21ttV1markU22isNatV1activeU22ttmarkttactiveU31ttNmarkNactiveU41ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markU11andisNatKindV1isNatKindV2V1V2activeisNatsV1markU21isNatKindV1V1activeisNatKind0markttactiveisNatKindplusV1V2markandisNatKindV1isNatKindV2activeisNatKindsV1markisNatKindV1activeplusN0markU31andisNatNisNatKindNNactiveplusNsMmarkU41andandisNatMisNatKindMandisNatNisNatKindNMNactiveU11X1X2X3U11activeX1X2X3activeU12X1X2U12activeX1X2activeU13XU13activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31X1X2U31activeX1X2activeU41X1X2X3U41activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeandX1X2andactiveX1X2U11markX1X2X3markU11X1X2X3U12markX1X2markU12X1X2U13markXmarkU13XU21markX1X2markU21X1X2U22markXmarkU22XU31markX1X2markU31X1X2U41markX1X2X3markU41X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2andmarkX1X2markandX1X2properU11X1X2X3U11properX1properX2properX3properttokttproperU12X1X2U12properX1properX2properisNatXisNatproperXproperU13XU13properXproperU21X1X2U21properX1properX2properU22XU22properXproperU31X1X2U31properX1properX2properU41X1X2X3U41properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properandX1X2andproperX1properX2proper0ok0properisNatKindXisNatKindproperXU11okX1okX2okX3okU11X1X2X3U12okX1okX2okU12X1X2isNatokXokisNatXU13okXokU13XU21okX1okX2okU21X1X2U22okXokU22XU31okX1okX2okU31X1X2U41okX1okX2okX3okU41X1X2X3sokXoksXplusokX1okX2okplusX1X2andokX1okX2okandX1X2isNatKindokXokisNatKindXtopmarkXtopproperXtopokXtopactiveXactiveU11ttV1V2isNatV1activeU11ttV1V2U12isNatV1V2activeU12ttV2isNatV2activeU12ttV2U13isNatV2activeU21ttV1isNatV1activeU21ttV1U22isNatV1activeU41ttMNplusNMactiveU41ttMNsplusNMactiveisNatplusV1V2isNatKindV2activeisNatplusV1V2isNatKindV1activeisNatplusV1V2andisNatKindV1isNatKindV2activeisNatplusV1V2U11andisNatKindV1isNatKindV2V1V2activeisNatsV1isNatKindV1activeisNatsV1U21isNatKindV1V1activeisNatKindplusV1V2isNatKindV2activeisNatKindplusV1V2isNatKindV1activeisNatKindplusV1V2andisNatKindV1isNatKindV2activeisNatKindsV1isNatKindV1activeplusN0isNatKindNactiveplusN0isNatNactiveplusN0andisNatNisNatKindNactiveplusN0U31andisNatNisNatKindNNactiveplusNsMisNatKindNactiveplusNsMisNatNactiveplusNsMandisNatNisNatKindNactiveplusNsMisNatKindMactiveplusNsMisNatMactiveplusNsMandisNatMisNatKindMactiveplusNsMandandisNatMisNatKindMandisNatNisNatKindNactiveplusNsMU41andandisNatMisNatKindMandisNatNisNatKindNMNactiveU11X1X2X3activeX1activeU11X1X2X3U11activeX1X2X3activeU12X1X2activeX1activeU12X1X2U12activeX1X2activeU13XactiveXactiveU13XU13activeXactiveU21X1X2activeX1activeU21X1X2U21activeX1X2activeU22XactiveXactiveU22XU22activeXactiveU31X1X2activeX1activeU31X1X2U31activeX1X2activeU41X1X2X3activeX1activeU41X1X2X3U41activeX1X2X3activesXactiveXactivesXsactiveXactiveplusX1X2activeX1activeplusX1X2plusactiveX1X2activeplusX1X2activeX2activeplusX1X2plusX1activeX2activeandX1X2activeX1activeandX1X2andactiveX1X2U11markX1X2X3U11X1X2X3U12markX1X2U12X1X2U13markXU13XU21markX1X2U21X1X2U22markXU22XU31markX1X2U31X1X2U41markX1X2X3U41X1X2X3smarkXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2andmarkX1X2andX1X2properU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU11X1X2X3U11properX1properX2properX3properU12X1X2properX2properU12X1X2properX1properU12X1X2U12properX1properX2properisNatXproperXproperisNatXisNatproperXproperU13XproperXproperU13XU13properXproperU21X1X2properX2properU21X1X2properX1properU21X1X2U21properX1properX2properU22XproperXproperU22XU22properXproperU31X1X2properX2properU31X1X2properX1properU31X1X2U31properX1properX2properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU41X1X2X3U41properX1properX2properX3propersXproperXpropersXsproperXproperplusX1X2properX2properplusX1X2properX1properplusX1X2plusproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properisNatKindXproperXproperisNatKindXisNatKindproperXU11okX1okX2okX3U11X1X2X3U12okX1okX2U12X1X2isNatokXisNatXU13okXU13XU21okX1okX2U21X1X2U22okXU22XU31okX1okX2U31X1X2U41okX1okX2okX3U41X1X2X3sokXsXplusokX1okX2plusX1X2andokX1okX2andX1X2isNatKindokXisNatKindXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveU11X1X2X3activeX1activeU12X1X2activeX1activeU13XactiveXactiveU21X1X2activeX1activeU22XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX2activeandX1X2activeX1true1active15112and211021s1110plus211120U4131102030U31261020U221610U21211020U131110U12211025U1131102037activeU13XactiveXactiveU21X1X2activeX1activeU22XactiveXactiveU31X1X2activeX1activeU41X1X2X3activeX1activesXactiveXactiveplusX1X2activeX1activeplusX1X2activeX21active1212s1210plus211124U4131102030U31211025U221410U21211020U131110activeU13XactiveXactiveU21X1X2activeX1activeU22XactiveXactiveU41X1X2X3activeX1activesXactiveX1active1514s1110U4138102035U221617U21241027U131110activeU13XactiveXactivesXactiveX1active11113s1113U1311019activeandX1X2andactiveX1X2falseactiveplusX1X2plusX1activeX2falseactiveplusX1X2plusactiveX1X2falseactivesXsactiveXfalseactiveU41X1X2X3U41activeX1X2X3falseactiveU31X1X2U31activeX1X2falseactiveU22XU22activeXfalseactiveU21X1X2U21activeX1X2falseactiveU13XU13activeXfalseactiveU12X1X2U12activeX1X2falseactiveU11X1X2X3U11activeX1X2X3falseactiveplusNsMU41andandisNatMisNatKindMandisNatNisNatKindNMNfalseactiveplusNsMandandisNatMisNatKindMandisNatNisNatKindNfalseactiveplusNsMandisNatMisNatKindMfalseactiveplusNsMisNatMfalseactiveplusNsMisNatKindMfalseactiveplusNsMandisNatNisNatKindNfalseactiveplusNsMisNatNfalseactiveplusNsMisNatKindNfalseactiveplusN0U31andisNatNisNatKindNNfalseactiveplusN0andisNatNisNatKindNfalseactiveplusN0isNatNfalseactiveplusN0isNatKindNfalseactiveisNatKindsV1isNatKindV1falseactiveisNatKindplusV1V2andisNatKindV1isNatKindV2falseactiveisNatKindplusV1V2isNatKindV1falseactiveisNatKindplusV1V2isNatKindV2falseactiveisNatsV1U21isNatKindV1V1falseactiveisNatsV1isNatKindV1falseactiveisNatplusV1V2U11andisNatKindV1isNatKindV2V1V2falseactiveisNatplusV1V2andisNatKindV1isNatKindV2falseactiveisNatplusV1V2isNatKindV1falseactiveisNatplusV1V2isNatKindV2falseactiveU41ttMNsplusNMfalseactiveU41ttMNplusNMfalseactiveU21ttV1U22isNatV1falseactiveU21ttV1isNatV1falseactiveU12ttV2U13isNatV2falseactiveU12ttV2isNatV2falseactiveU11ttV1V2U12isNatV1V2falseactiveU11ttV1V2isNatV1falsetopmarkXproperXfalseproperU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU12X1X2properX2properU12X1X2properX1properisNatXproperXproperU13XproperXproperU21X1X2properX2properU21X1X2properX1properU22XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properandX1X2properX2properandX1X2properX1properisNatKindXproperXtrue1proper1210isNatKind1115and211120s1110plus211120U4131112130U31281120U221110U21211120U131110U12211120isNat1110U1131112130properU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU12X1X2properX2properU12X1X2properX1properisNatXproperXproperU13XproperXproperU21X1X2properX2properU21X1X2properX1properU22XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properandX1X2properX2properandX1X2properX11proper18112and211120s1110plus211720U4131112130U31211120U221110U21211123U131110U12211120isNat1110U1131112130properU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU12X1X2properX2properU12X1X2properX1properisNatXproperXproperU13XproperXproperU22XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1propersXproperXproperplusX1X2properX2properplusX1X2properX1properandX1X2properX2properandX1X2properX11proper1112and211225s11113plus2111210U4138112130U31281120U221110U131114U12211120isNat1815U1138112130properU11X1X2X3properX3properU11X1X2X3properX2properU11X1X2X3properX1properU12X1X2properX2properU12X1X2properX1properU22XproperXproperU31X1X2properX2properU31X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX11proper1310U4134112130U3121418214U221618U12211520U11381128312properU12X1X2properX2properU12X1X2properX1properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX11proper1610U4131112230U122611029properU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX11proper1510U4131112135properisNatKindXisNatKindproperXfalseisNatKindokXisNatKindXtrue1isNatKind1410ok18110properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2true1and281120ok1413mark1110andmarkX1X2andX1X21and2810212mark1113properplusX1X2plusproperX1properX2falseplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusokX1okX2plusX1X2true1plus271426ok1515mark1818propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019properU41X1X2X3U41properX1properX2properX3falseU41markX1X2X3U41X1X2X3U41okX1okX2okX3U41X1X2X3true1U4138132633ok1711mark1411properU31X1X2U31properX1properX2falseU31markX1X2U31X1X2U31okX1okX2U31X1X2true1U31281120ok1413mark1110U31markX1X2U31X1X21U312810212mark1113properU22XU22properXfalseU22markXU22XU22okXU22Xtrue1U2211113ok1113mark11019properU21X1X2U21properX1properX2falseU21markX1X2U21X1X2U21okX1okX2U21X1X2true1U21281120ok1413mark1110U21markX1X2U21X1X21U212810212mark1113properU13XU13properXfalseU13markXU13XU13okXU13Xtrue1U1311113ok1113mark11019properisNatXisNatproperXfalseisNatokXisNatXtrue1isNat1410ok18110properU12X1X2U12properX1properX2falseU12markX1X2U12X1X2U12okX1okX2U12X1X2true1U12281120ok1413mark1110U12markX1X2U12X1X21U122810212mark1113properU11X1X2X3U11properX1properX2properX3falseU11markX1X2X3U11X1X2X3U11okX1okX2okX3U11X1X2X3true1U1138132633ok1711mark1411