a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttNmarkNa__U41ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatKindXisNatKindXa__U11ttV1V2a__U12a__isNatV1V2a__U11ttV1V2a__isNatV1a__U12ttV2a__U13a__isNatV2a__U12ttV2a__isNatV2a__U21ttV1a__U22a__isNatV1a__U21ttV1a__isNatV1a__U31ttNmarkNa__U41ttMNa__plusmarkNmarkMa__U41ttMNmarkNa__U41ttMNmarkMa__andttXmarkXa__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusN0a__anda__isNatNisNatKindNa__plusN0a__isNatNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__isNatMmarkU11X1X2X3a__U11markX1X2X3markU11X1X2X3markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markisNatXa__isNatXmarkU13Xa__U13markXmarkU13XmarkXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22Xa__U22markXmarkU22XmarkXmarkU31X1X2a__U31markX1X2markU31X1X2markX1markU41X1X2X3a__U41markX1X2X3markU41X1X2X3markX1markplusX1X2a__plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2markandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXmarksXmarkXtruea__U12ttV2a__isNatV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3a__U11markX1X2X3markU11X1X2X3markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markisNatXa__isNatXa__isNatplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1markU13XmarkXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22XmarkXmarkU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU31X1X2markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__plusmarkNmarkMa__plusN0a__U31a__anda__isNatNisNatKindNNa__plusN0a__anda__isNatNisNatKindNa__plusN0a__isNatNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkU41X1X2X3markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__isNatMmarkplusX1X2markX1markplusX1X2markX2markandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNmarkMtrue12341a__U1220tt00a__isNat10plus21112a__U1130a__and21112a__isNatKind10isNatKind10a__isNat10a__and212mark111U11311mark111U12211isNat10a__isNatKind10s111a__U2120U13111U21211U22111U3121112a__U31212U413111213a__U4131213a__plus21112001and21112a__U3121112a__plus21112a__U11311a__U21211a__U12211a__U13111a__U22111a__U413111213a__U12ttV2a__isNatV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3a__U11markX1X2X3markU11X1X2X3markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markisNatXa__isNatXa__isNatplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1markU13XmarkXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22XmarkXmarkU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU31X1X2markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__plusmarkNmarkMa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkU41X1X2X3markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__isNatMmarkplusX1X2markX1markplusX1X2markX2markandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNmarkM1a__U1220tt00a__isNat10plus211112a__U1130a__and21112a__isNatKind10isNatKind10a__isNat10a__and212mark111U11311mark111U12211isNat10a__isNatKind10s111a__U2120U13111U21211U22111U31211112a__U31212U4131111213a__U4131213a__plus21112and21112000a__U31211112a__plus211112a__U11311a__U21211a__U12211a__U13111a__U22111a__U4131111213a__U12ttV2a__isNatV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3a__U11markX1X2X3markU11X1X2X3markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markisNatXa__isNatXa__isNatplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1markU13XmarkXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22XmarkXa__U31ttNmarkNa__U41ttMNa__plusmarkNmarkMa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__isNatMmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNmarkMa__U31ttNmarkNfalse234567a__U41ttMNa__plusmarkNmarkMa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNtrue61a__U41312tt00a__plus212mark111s1111a__and212a__isNat10isNatKind10and212isNat10U1130a__U1130U12211a__U12211U1310a__U1310U2120a__U2120U2210a__U2210U31212a__U31212plus21112a__plus21112000a__isNatKind10U41311213a__U41311213a__U41ttMNa__plusmarkNmarkMa__U41ttMNa__plusmarkNmarkMfalsea__U41ttMNmarkNfalse5a__U41ttMNmarkMfalse4a__plusNsMa__isNatMfalse3a__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNfalse2a__plusNsMa__anda__isNatMisNatKindMfalse1a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1markU11X1X2X3markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22XmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXmarksXmarkXtrue1a__isNat1111plus211112a__U11311213a__and20a__isNatKind10isNatKind1111tt00a__U122112a__isNat10a__and2112mark1111U1131111213mark10a__isNatKind1111s1111a__U212112U12211112isNat1111U131111U21211112U221111and211112000U3120a__U3120a__plus20a__U1130a__U2120a__U1220a__U1310a__U2210U4130a__U4130a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXa__U11ttV1V2a__isNatV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__U21ttV1a__isNatV1a__U11ttV1V2a__U12a__isNatV1V2false146a__U12ttV2a__isNatV2false35a__U11ttV1V2a__isNatV1false24a__U21ttV1a__isNatV1false13a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2false2a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2false1a__andttXmarkXfalsea__U12ttV2a__U13a__isNatV2falsea__U21ttV1a__U22a__isNatV1falsemarkU13Xa__U13markXfalsemarkU22Xa__U22markXfalse