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__isNatV1a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__U12ttV2a__U13a__isNatV2a__U21ttV1a__isNatV1a__U21ttV1a__U22a__isNatV1a__U31ttNmarkNa__U41ttMNmarkMa__U41ttMNmarkNa__U41ttMNa__plusmarkNmarkMa__andttXmarkXa__isNatplusV1V2a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__isNatNa__plusN0a__anda__isNatNisNatKindNa__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU13Xa__U13markXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU22Xa__U22markXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXtruea__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusN0a__isNatNa__plusN0a__anda__isNatNisNatKindNa__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMtrue311a__isNatKind10000000001000000000a__and200010000010001000002000000000a__plus200010000010001000002000000000a__U413000100000100010000020001000003000000000mark10001000001000000000a__U31200010000010001000002000000000a__U21200000000010000000002000000000a__U12200000000010000000002000000000a__isNat10000000001000000000a__U113000100000100000000020000000003000000000U413000010010100001000020000100003000000000U31201001000010000100002000000000U2210000100001000000000U21200001001010000000002000000000U1310000100001000000000U12200001000010000000002000000000U113000010010100000000020000000003000000000and200001000010000100002000000000isNat10000000001000000000isNatKind10000000001000000000a__isNatKind10000000001000000000plus20100100001000010000200000000000010000000a__and200001000010000100002000000000s10000100001000000000a__plus201101000010010100012000000000a__U413011010110100001000020000100003000000000mark10000100001000000000a__U31201101000010000100002000000000a__U2210100100001000000000a__U21200001001010000000002000000000a__U1311000100001000000000a__U12201101011010000000002000000000a__isNat10000000001000000000a__U113010010011100000000020000000003000000000tt0000000000a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMa__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__isNatKindXisNatKindX311a__isNatKind10000000001000000000a__and200000000011001000002000000000a__plus210010000011000000002000000000a__U413000000000110010000021001000003000000000mark11001000001000000000a__U31200000000011001000002100000000a__U21200000000010000000002000000000a__U12200000000010000000002000000000a__isNat10000000001000000000a__U113000000000100000000020000000003000000000U413100010000110010000021001000003000000000U31210010010011001000002100000000U2211001001101000000000U21210011010010000000002000000000U1311001101101000000000U12210011000010000000002000000000U113100010000100000000020000000003000000000and210001010011001000002000000000isNat10000000001000000000isNatKind10000000001000000000a__isNatKind10000000001000000000plus21000100101100010000200000000000100000000a__and210001010011001000002000000000s11001000001000000000a__plus210011001011000100002000000000a__U413100011000110010000021001000003000000000mark11001000001000000000a__U31210010010011001000002100000000a__U2211001111101000000000a__U21210011010010000000002000000000a__U1311001101101000000000a__U12210011000010000000002000000000a__isNat10000000001000000000a__U113100010000100000000020000000003000000000tt0000000000a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMa__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__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMtrue311a__isNatKind10000000001000000000a__and200000000011000000002000000000a__plus210000000011000000002000000000a__U413000000000110000010021000000003000000000mark11000000001000000000a__U21200000000010000000002000000000a__U12200000000010000000002000000000a__isNat10000000001000000000a__U113000000000100000000020000000003000000000U413100000000110000010021000000003100000000U31200000000011000000002000000000U2211000000001000000000U21210010000010000000002000000000U1311001000001000000000U12210010010010000000002000000000U113100100000100000000020000000003000000000and210000000011000000002000000000isNat10000000001000000000isNatKind10000000001000000000a__isNatKind10000000001000000000plus21000000001100000100200000000000000000000a__and210000000011000000002000000000s11001011011100000000a__plus210000000011000001002000000000a__U413100000000110000010021000000003100000000mark11000000001000000000a__U31200000000011000000002000000000a__U2211000000001000000000a__U21210010000010000000002000000000a__U1311001000001000000000a__U12210010010010000000002000000000a__isNat10000000001000000000a__U113100100000100000000020000000003000000000tt0000000000a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXa__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXa__U41ttMNa__plusmarkNmarkMa__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__U41ttMNmarkNfalsea__U41ttMNmarkMfalsea__U41ttMNa__plusmarkNmarkMfalsea__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkplusX1X2markX2markplusX1X2markX1markandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXtruea__isNatKind15a__and29mark18a__U2127a__U1220a__isNat16a__U1131U41313U31213U22113U2128U13113U1229U11313and210isNat17isNatKind14a__isNatKind13plus215005a__and20s18a__plus211a__U4137mark112a__U3124a__U2211a__U2128a__U1310a__U12210a__isNat11a__U11314tt02tt0a__U1131a__isNat1a__U1221a__U1311a__U21212a__U221a__U3122mark11a__U4133a__plus22s11a__and2200plus212a__isNatKind11isNatKind11isNat11and212U113123U12212U1311U21212U2211U3122U4133a__U11323a__isNat11a__U1222a__U2122mark11a__and22a__isNatKind11markU13XmarkX1mark1112U131111markplusX1X2a__plusmarkX1markX2falsemarkU31X1X2a__U31markX1X2falsemarkU22Xa__U22markXfalsemarkU13Xa__U13markXfalsea__U12ttV2a__U13a__isNatV2falsea__U21ttV1a__U22a__isNatV1false