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__isNatKind10s1111a__U21211U13111U21211U22111U31211112a__U31212U4131111213a__U4131111213a__plus21112001and21112a__U11311a__U12211a__U13111a__U21211a__U22111a__U31211112a__U4131111213a__plus21112a__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__U31ttNmarkNmarkU41X1X2X3a__U41markX1X2X3a__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkplusX1X2a__plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2markandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXa__U31ttNmarkNfalse1234a__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__U21markX1X2markU21X1X2markX1markU22XmarkXmarkplusX1X2markX1markplusX1X2markX2markandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXtrue1231a__isNat111plus211112a__U1131213a__and21112a__isNatKind10isNatKind10tt00a__U12212a__isNat111a__and212mark111U1131111213mark111a__isNatKind10s111a__U21212U12211112isNat111U131111U2121112U22111and21112a__U1131111213a__U12211112a__U131111a__U2121112a__U22111a__U312112a__U41311213a__plus211112000U312112U41311213a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__andttXmarkXa__U11ttV1V2a__isNatV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1markisNatXa__isNatXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22XmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXa__U11ttV1V2a__U12a__isNatV1V2false13a__U12ttV2a__isNatV2false2a__U11ttV1V2a__isNatV1false1markisNatXa__isNatXa__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22XmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXa__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1true1mark111isNat111a__isNat10s1111a__U2120a__isNatKind10tt00a__isNatKind10plus21112a__and212isNatKind10U21211112mark111U221111and21112a__U1130a__U1220a__isNat111a__U1310a__U21211112a__U221111a__U31212a__U41311213a__plus21112a__and21112000U1130U1220U1310U31212U41311213markisNatXa__isNatXa__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatKindXa__isNatKindXa__isNatKindplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV11mark1111isNat111a__isNat111s111a__U21212a__isNatKind111tt00a__isNatKind111plus211112a__and2112isNatKind111and21112mark111a__U1130a__U1220a__isNat111a__U1310a__U21212a__U2210a__U31212a__U41311213a__plus211112a__and21112001U1130U1220U1310U21212U2210U31212U41311213a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__isNatsV1a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1a__isNatKindsV1a__isNatKindV1a__U21ttV1a__isNatV1a__isNatsV1a__U21a__isNatKindV1V1true12341a__U212112tt00a__isNat1111s1111a__isNatKind10a__U1131a__U1220a__isNat11a__U1310a__U2120a__U2210a__U31212mark111a__U41311213a__plus21112a__and212000plus21112isNatKind10and212isNat11U1131U1220U1310U2120U2210U31212U41311213a__U21ttV1a__isNatV1a__U21ttV1a__isNatV1falsea__isNatsV1a__isNatKindV1false123a__isNatKindsV1a__isNatKindV1true121a__isNatKind111s1111a__U1131213tt01a__U12211a__isNat111a__U1311a__U212112a__U221111a__U3121112mark111a__U413111213a__plus21112a__and212001plus21112a__isNatKind11isNatKind11and212isNat111U1131213U12211U1311U212112U221111U3121112U413111213a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2false1markandX1X2a__andmarkX1X2a__andttXmarkXmarkandX1X2markX1true1mark1111and21112a__and21112mark111tt01a__U113112a__U1221a__isNat1111a__U1311a__U2121a__U2211a__U31212a__U41311213s111a__plus211112a__and21112001plus211112a__isNatKind111isNatKind111isNat1111U113112U1221U1311U2121U2211U31212U41311213a__andttXmarkXmarkandX1X2markX1a__andttXmarkXfalse1markandX1X2markX1true1mark111and211112a__U1131213tt00a__U1220a__isNat111a__U1310a__U2120a__U2210a__U31212mark111a__U41311213s111a__plus211112a__and211112000plus211112a__isNatKind111isNatKind111isNat111U1131213U1220U1310U2120U2210U31212U41311213markU41X1X2X3a__U41markX1X2X3false2markplusX1X2a__plusmarkX1markX2falsea__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNfalsea__U12ttV2a__U13a__isNatV2falsea__U21ttV1a__U22a__isNatV1falsemarkU13Xa__U13markXfalsemarkU22Xa__U22markXfalse