a__zeroscons0zerosa__U101ttV1V2a__U102a__isNatKindV1V1V2a__U102ttV1V2a__U103a__isNatIListKindV2V1V2a__U103ttV1V2a__U104a__isNatIListKindV2V1V2a__U104ttV1V2a__U105a__isNatV1V2a__U105ttV2a__U106a__isNatIListV2a__U106tttta__U11ttV1a__U12a__isNatIListKindV1V1a__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLa__U114ttLsa__lengthmarkLa__U12ttV1a__U13a__isNatListV1a__U121ttILa__U122a__isNatIListKindILa__U122ttnila__U13tttta__U131ttILMNa__U132a__isNatIListKindILILMNa__U132ttILMNa__U133a__isNatMILMNa__U133ttILMNa__U134a__isNatKindMILMNa__U134ttILMNa__U135a__isNatNILMNa__U135ttILMNa__U136a__isNatKindNILMNa__U136ttILMNconsmarkNtakeMILa__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttVa__U32a__isNatIListKindVVa__U32ttVa__U33a__isNatListVa__U33tttta__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__U46a__isNatIListV2a__U46tttta__U51ttV2a__U52a__isNatIListKindV2a__U52tttta__U61ttV2a__U62a__isNatIListKindV2a__U62tttta__U71tttta__U81tttta__U91ttV1V2a__U92a__isNatKindV1V1V2a__U92ttV1V2a__U93a__isNatIListKindV2V1V2a__U93ttV1V2a__U94a__isNatIListKindV2V1V2a__U94ttV1V2a__U95a__isNatV1V2a__U95ttV2a__U96a__isNatListV2a__U96tttta__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindtakeV1V2a__U61a__isNatKindV1V2a__isNatKind0tta__isNatKindlengthV1a__U71a__isNatIListKindV1a__isNatKindsV1a__U81a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U91a__isNatKindV1V1V2a__isNatListtakeV1V2a__U101a__isNatKindV1V1V2a__lengthnil0a__lengthconsNLa__U111a__isNatListLLNa__take0ILa__U121a__isNatIListILILa__takesMconsNILa__U131a__isNatIListILILMNmarkzerosa__zerosmarkU101X1X2X3a__U101markX1X2X3markU102X1X2X3a__U102markX1X2X3markisNatKindXa__isNatKindXmarkU103X1X2X3a__U103markX1X2X3markisNatIListKindXa__isNatIListKindXmarkU104X1X2X3a__U104markX1X2X3markU105X1X2a__U105markX1X2markisNatXa__isNatXmarkU106Xa__U106markXmarkisNatIListXa__isNatIListXmarkU11X1X2a__U11markX1X2markU12X1X2a__U12markX1X2markU111X1X2X3a__U111markX1X2X3markU112X1X2X3a__U112markX1X2X3markU113X1X2X3a__U113markX1X2X3markU114X1X2a__U114markX1X2marklengthXa__lengthmarkXmarkU13Xa__U13markXmarkisNatListXa__isNatListXmarkU121X1X2a__U121markX1X2markU122Xa__U122markXmarkU131X1X2X3X4a__U131markX1X2X3X4markU132X1X2X3X4a__U132markX1X2X3X4markU133X1X2X3X4a__U133markX1X2X3X4markU134X1X2X3X4a__U134markX1X2X3X4markU135X1X2X3X4a__U135markX1X2X3X4markU136X1X2X3X4a__U136markX1X2X3X4marktakeX1X2a__takemarkX1markX2markU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32X1X2a__U32markX1X2markU33Xa__U33markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markU43X1X2X3a__U43markX1X2X3markU44X1X2X3a__U44markX1X2X3markU45X1X2a__U45markX1X2markU46Xa__U46markXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71Xa__U71markXmarkU81Xa__U81markXmarkU91X1X2X3a__U91markX1X2X3markU92X1X2X3a__U92markX1X2X3markU93X1X2X3a__U93markX1X2X3markU94X1X2X3a__U94markX1X2X3markU95X1X2a__U95markX1X2markU96Xa__U96markXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U101X1X2X3U101X1X2X3a__U102X1X2X3U102X1X2X3a__isNatKindXisNatKindXa__U103X1X2X3U103X1X2X3a__isNatIListKindXisNatIListKindXa__U104X1X2X3U104X1X2X3a__U105X1X2U105X1X2a__isNatXisNatXa__U106XU106Xa__isNatIListXisNatIListXa__U11X1X2U11X1X2a__U12X1X2U12X1X2a__U111X1X2X3U111X1X2X3a__U112X1X2X3U112X1X2X3a__U113X1X2X3U113X1X2X3a__U114X1X2U114X1X2a__lengthXlengthXa__U13XU13Xa__isNatListXisNatListXa__U121X1X2U121X1X2a__U122XU122Xa__U131X1X2X3X4U131X1X2X3X4a__U132X1X2X3X4U132X1X2X3X4a__U133X1X2X3X4U133X1X2X3X4a__U134X1X2X3X4U134X1X2X3X4a__U135X1X2X3X4U135X1X2X3X4a__U136X1X2X3X4U136X1X2X3X4a__takeX1X2takeX1X2a__U21X1X2U21X1X2a__U22X1X2U22X1X2a__U23XU23Xa__U31X1X2U31X1X2a__U32X1X2U32X1X2a__U33XU33Xa__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__U43X1X2X3U43X1X2X3a__U44X1X2X3U44X1X2X3a__U45X1X2U45X1X2a__U46XU46Xa__U51X1X2U51X1X2a__U52XU52Xa__U61X1X2U61X1X2a__U62XU62Xa__U71XU71Xa__U81XU81Xa__U91X1X2X3U91X1X2X3a__U92X1X2X3U92X1X2X3a__U93X1X2X3U93X1X2X3a__U94X1X2X3U94X1X2X3a__U95X1X2U95X1X2a__U96XU96Xa__U101ttV1V2a__U102a__isNatKindV1V1V2a__U101ttV1V2a__isNatKindV1a__U102ttV1V2a__U103a__isNatIListKindV2V1V2a__U102ttV1V2a__isNatIListKindV2a__U103ttV1V2a__U104a__isNatIListKindV2V1V2a__U103ttV1V2a__isNatIListKindV2a__U104ttV1V2a__U105a__isNatV1V2a__U104ttV1V2a__isNatV1a__U105ttV2a__U106a__isNatIListV2a__U105ttV2a__isNatIListV2a__U11ttV1a__U12a__isNatIListKindV1V1a__U11ttV1a__isNatIListKindV1a__U111ttLNa__U112a__isNatIListKindLLNa__U111ttLNa__isNatIListKindLa__U112ttLNa__U113a__isNatNLNa__U112ttLNa__isNatNa__U113ttLNa__U114a__isNatKindNLa__U113ttLNa__isNatKindNa__U114ttLa__lengthmarkLa__U114ttLmarkLa__U12ttV1a__U13a__isNatListV1a__U12ttV1a__isNatListV1a__U121ttILa__U122a__isNatIListKindILa__U121ttILa__isNatIListKindILa__U131ttILMNa__U132a__isNatIListKindILILMNa__U131ttILMNa__isNatIListKindILa__U132ttILMNa__U133a__isNatMILMNa__U132ttILMNa__isNatMa__U133ttILMNa__U134a__isNatKindMILMNa__U133ttILMNa__isNatKindMa__U134ttILMNa__U135a__isNatNILMNa__U134ttILMNa__isNatNa__U135ttILMNa__U136a__isNatKindNILMNa__U135ttILMNa__isNatKindNa__U136ttILMNmarkNa__U21ttV1a__U22a__isNatKindV1V1a__U21ttV1a__isNatKindV1a__U22ttV1a__U23a__isNatV1a__U22ttV1a__isNatV1a__U31ttVa__U32a__isNatIListKindVVa__U31ttVa__isNatIListKindVa__U32ttVa__U33a__isNatListVa__U32ttVa__isNatListVa__U41ttV1V2a__U42a__isNatKindV1V1V2a__U41ttV1V2a__isNatKindV1a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U42ttV1V2a__isNatIListKindV2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U43ttV1V2a__isNatIListKindV2a__U44ttV1V2a__U45a__isNatV1V2a__U44ttV1V2a__isNatV1a__U45ttV2a__U46a__isNatIListV2a__U45ttV2a__isNatIListV2a__U51ttV2a__U52a__isNatIListKindV2a__U51ttV2a__isNatIListKindV2a__U61ttV2a__U62a__isNatIListKindV2a__U61ttV2a__isNatIListKindV2a__U91ttV1V2a__U92a__isNatKindV1V1V2a__U91ttV1V2a__isNatKindV1a__U92ttV1V2a__U93a__isNatIListKindV2V1V2a__U92ttV1V2a__isNatIListKindV2a__U93ttV1V2a__U94a__isNatIListKindV2V1V2a__U93ttV1V2a__isNatIListKindV2a__U94ttV1V2a__U95a__isNatV1V2a__U94ttV1V2a__isNatV1a__U95ttV2a__U96a__isNatListV2a__U95ttV2a__isNatListV2a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListVa__isNatIListKindVa__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__isNatIListconsV1V2a__isNatKindV1a__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatIListKindtakeV1V2a__U61a__isNatKindV1V2a__isNatIListKindtakeV1V2a__isNatKindV1a__isNatKindlengthV1a__U71a__isNatIListKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__U81a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatListconsV1V2a__U91a__isNatKindV1V1V2a__isNatListconsV1V2a__isNatKindV1a__isNatListtakeV1V2a__U101a__isNatKindV1V1V2a__isNatListtakeV1V2a__isNatKindV1a__lengthconsNLa__U111a__isNatListLLNa__lengthconsNLa__isNatListLa__take0ILa__U121a__isNatIListILILa__take0ILa__isNatIListILa__takesMconsNILa__U131a__isNatIListILILMNa__takesMconsNILa__isNatIListILmarkzerosa__zerosmarkU101X1X2X3a__U101markX1X2X3markU101X1X2X3markX1markU102X1X2X3a__U102markX1X2X3markU102X1X2X3markX1markisNatKindXa__isNatKindXmarkU103X1X2X3a__U103markX1X2X3markU103X1X2X3markX1markisNatIListKindXa__isNatIListKindXmarkU104X1X2X3a__U104markX1X2X3markU104X1X2X3markX1markU105X1X2a__U105markX1X2markU105X1X2markX1markisNatXa__isNatXmarkU106Xa__U106markXmarkU106XmarkXmarkisNatIListXa__isNatIListXmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markU111X1X2X3a__U111markX1X2X3markU111X1X2X3markX1markU112X1X2X3a__U112markX1X2X3markU112X1X2X3markX1markU113X1X2X3a__U113markX1X2X3markU113X1X2X3markX1markU114X1X2a__U114markX1X2markU114X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkU13Xa__U13markXmarkU13XmarkXmarkisNatListXa__isNatListXmarkU121X1X2a__U121markX1X2markU121X1X2markX1markU122Xa__U122markXmarkU122XmarkXmarkU131X1X2X3X4a__U131markX1X2X3X4markU131X1X2X3X4markX1markU132X1X2X3X4a__U132markX1X2X3X4markU132X1X2X3X4markX1markU133X1X2X3X4a__U133markX1X2X3X4markU133X1X2X3X4markX1markU134X1X2X3X4a__U134markX1X2X3X4markU134X1X2X3X4markX1markU135X1X2X3X4a__U135markX1X2X3X4markU135X1X2X3X4markX1markU136X1X2X3X4a__U136markX1X2X3X4markU136X1X2X3X4markX1marktakeX1X2a__takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2markU21X1X2a__U21markX1X2markU21X1X2markX1markU22X1X2a__U22markX1X2markU22X1X2markX1markU23Xa__U23markXmarkU23XmarkXmarkU31X1X2a__U31markX1X2markU31X1X2markX1markU32X1X2a__U32markX1X2markU32X1X2markX1markU33Xa__U33markXmarkU33XmarkXmarkU41X1X2X3a__U41markX1X2X3markU41X1X2X3markX1markU42X1X2X3a__U42markX1X2X3markU42X1X2X3markX1markU43X1X2X3a__U43markX1X2X3markU43X1X2X3markX1markU44X1X2X3a__U44markX1X2X3markU44X1X2X3markX1markU45X1X2a__U45markX1X2markU45X1X2markX1markU46Xa__U46markXmarkU46XmarkXmarkU51X1X2a__U51markX1X2markU51X1X2markX1markU52Xa__U52markXmarkU52XmarkXmarkU61X1X2a__U61markX1X2markU61X1X2markX1markU62Xa__U62markXmarkU62XmarkXmarkU71Xa__U71markXmarkU71XmarkXmarkU81Xa__U81markXmarkU81XmarkXmarkU91X1X2X3a__U91markX1X2X3markU91X1X2X3markX1markU92X1X2X3a__U92markX1X2X3markU92X1X2X3markX1markU93X1X2X3a__U93markX1X2X3markU93X1X2X3markX1markU94X1X2X3a__U94markX1X2X3markU94X1X2X3markX1markU95X1X2a__U95markX1X2markU95X1X2markX1markU96Xa__U96markXmarkU96XmarkXmarkconsX1X2markX1marksXmarkXtruemarkU101X1X2X3markX1markU102X1X2X3markX1markU103X1X2X3markX1markU104X1X2X3markX1markU105X1X2markX1markU106XmarkXmarkU11X1X2markX1markU12X1X2markX1markU111X1X2X3a__U111markX1X2X3a__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLa__U114ttLa__lengthmarkLa__lengthconsNLa__U111a__isNatListLLNa__U114ttLmarkLmarkU111X1X2X3markX1markU112X1X2X3a__U112markX1X2X3markU112X1X2X3markX1markU113X1X2X3a__U113markX1X2X3markU113X1X2X3markX1markU114X1X2a__U114markX1X2markU114X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkU13XmarkXmarkU121X1X2markX1markU122XmarkXmarkU131X1X2X3X4a__U131markX1X2X3X4a__U131ttILMNa__U132a__isNatIListKindILILMNa__U132ttILMNa__U133a__isNatMILMNa__U133ttILMNa__U134a__isNatKindMILMNa__U134ttILMNa__U135a__isNatNILMNa__U135ttILMNa__U136a__isNatKindNILMNa__U136ttILMNmarkNmarkU131X1X2X3X4markX1markU132X1X2X3X4a__U132markX1X2X3X4markU132X1X2X3X4markX1markU133X1X2X3X4a__U133markX1X2X3X4markU133X1X2X3X4markX1markU134X1X2X3X4a__U134markX1X2X3X4markU134X1X2X3X4markX1markU135X1X2X3X4a__U135markX1X2X3X4markU135X1X2X3X4markX1markU136X1X2X3X4a__U136markX1X2X3X4markU136X1X2X3X4markX1marktakeX1X2a__takemarkX1markX2a__takesMconsNILa__U131a__isNatIListILILMNmarktakeX1X2markX1marktakeX1X2markX2markU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71XmarkXmarkU81XmarkXmarkU91X1X2X3markX1markU92X1X2X3markX1markU93X1X2X3markX1markU94X1X2X3markX1markU95X1X2markX1markU96XmarkXmarkconsX1X2markX1marksXmarkXtrue123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384851mark111U101311U102311U103311U104311U105211U106111U11211U12211U1113111213a__U11131213mark111tt00a__U112312a__isNatIListKind10a__U113312a__isNat10a__U114212a__isNatKind10a__length111cons21112a__isNatList10U11231112U11331112U11421112length111U13111U1212111U1221111U1314111121314a__U13141214a__U13241214a__U13341214a__U134414a__U135414a__U136414U1324111121314U1334111121314U1344111121314U1354111121314U1364111121314take211112a__take212s111a__isNatIList10U21211U22211U23111U31211U32211U33111U41311U42311U43311U44311U45211U46111U51211U52111U61211U62111U71111U81111U91311U92311U93311U94311U95211U96111zeros00a__zeros00a__U101311a__U102311isNatKind10a__U103311isNatIListKind10a__U104311a__U105211isNat10a__U106111isNatIList10a__U11211a__U12211a__U1113111213a__U11231112a__U11331112a__U11421112a__length111a__U13111isNatList10a__U1212111a__U1221111a__U1314111121314a__U1324111121314a__U1334111121314a__U1344111121314a__U1354111121314a__U1364111121314a__take211112a__U21211a__U22211a__U23111a__U31211a__U32211a__U33111a__U41311a__U42311a__U43311a__U44311a__U45211a__U46111a__U51211a__U52111a__U61211a__U62111a__U71111a__U81111a__U91311a__U92311a__U93311a__U94311a__U95211a__U96111000nil00markU101X1X2X3markX1markU102X1X2X3markX1markU103X1X2X3markX1markU104X1X2X3markX1markU105X1X2markX1markU106XmarkXmarkU11X1X2markX1markU12X1X2markX1markU111X1X2X3a__U111markX1X2X3a__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLa__U114ttLa__lengthmarkLa__lengthconsNLa__U111a__isNatListLLNa__U114ttLmarkLmarkU111X1X2X3markX1markU112X1X2X3a__U112markX1X2X3markU112X1X2X3markX1markU113X1X2X3a__U113markX1X2X3markU113X1X2X3markX1markU114X1X2a__U114markX1X2markU114X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkU13XmarkXa__U131ttILMNa__U132a__isNatIListKindILILMNa__U132ttILMNa__U133a__isNatMILMNa__U133ttILMNa__U134a__isNatKindMILMNa__U134ttILMNa__U135a__isNatNILMNa__U135ttILMNa__U136a__isNatKindNILMNa__U136ttILMNmarkNa__takesMconsNILa__U131a__isNatIListILILMNmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71XmarkXmarkU81XmarkXmarkU91X1X2X3markX1markU92X1X2X3markX1markU93X1X2X3markX1markU94X1X2X3markX1markU95X1X2markX1markU96XmarkXmarkconsX1X2markX1marksXmarkXa__takesMconsNILa__U131a__isNatIListILILMNfalse1234567a__U131ttILMNa__U132a__isNatIListKindILILMNfalse123456a__U132ttILMNa__U133a__isNatMILMNfalse12345a__U133ttILMNa__U134a__isNatKindMILMNfalse1234a__U134ttILMNa__U135a__isNatNILMNfalse123a__U135ttILMNa__U136a__isNatKindNILMNfalse12a__U136ttILMNmarkNfalse1markU102X1X2X3markX1markU101X1X2X3markX1markU103X1X2X3markX1markU104X1X2X3markX1markU105X1X2markX1markU106XmarkXmarkU11X1X2markX1markU12X1X2markX1markU111X1X2X3a__U111markX1X2X3a__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLa__U114ttLa__lengthmarkLa__lengthconsNLa__U111a__isNatListLLNa__U114ttLmarkLmarkU111X1X2X3markX1markU112X1X2X3a__U112markX1X2X3markU112X1X2X3markX1markU113X1X2X3a__U113markX1X2X3markU113X1X2X3markX1markU114X1X2a__U114markX1X2markU114X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71XmarkXmarkU81XmarkXmarkU91X1X2X3markX1markU92X1X2X3markX1markU93X1X2X3markX1markU94X1X2X3markX1markU95X1X2markX1markU96XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark111U102311U101311U103311U104311U105211U106111U11211U12211U111311112a__U111312mark111tt00a__U112312a__isNatIListKind10a__U113312a__isNat10a__U114212a__isNatKind10a__length111cons21112a__isNatList10U112311112U113311112U114211112length1111U13111U21211U22211U23111U31211U32211U33111U41311U42311U43311U44311U45211U46111U51211U52111U61211U62111U71111U81111U91311U92311U93311U94311U95211U96111s111zeros00a__zeros00a__U101311a__U102311isNatKind10a__U103311isNatIListKind10a__U104311a__U105211isNat10a__U106111isNatIList10a__isNatIList10a__U11211a__U12211a__U111311112a__U112311112a__U113311112a__U114211112a__length1111a__U13111isNatList10U12120a__U12120U122111a__U122111U13141214a__U13141214U13241214a__U13241214U13341214a__U13341214U13441214a__U13441214U13541214a__U13541214U1364111214a__U1364111214take212a__take212a__U21211a__U22211a__U23111a__U31211a__U32211a__U33111a__U41311a__U42311a__U43311a__U44311a__U45211a__U46111a__U51211a__U52111a__U61211a__U62111a__U71111a__U81111a__U91311a__U92311a__U93311a__U94311a__U95211a__U96111000nil00markU102X1X2X3markX1markU101X1X2X3markX1markU103X1X2X3markX1markU104X1X2X3markX1markU105X1X2markX1markU106XmarkXmarkU11X1X2markX1markU12X1X2markX1a__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLa__U114ttLa__lengthmarkLa__lengthconsNLa__U111a__isNatListLLNa__U114ttLmarkLmarkU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71XmarkXmarkU81XmarkXmarkU91X1X2X3markX1markU92X1X2X3markX1markU93X1X2X3markX1markU94X1X2X3markX1markU95X1X2markX1markU96XmarkXmarkconsX1X2markX1marksXmarkXa__U114ttLa__lengthmarkLa__lengthconsNLa__U111a__isNatListLLNa__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLtrue121a__length121mark111zeros00a__zeros00U101322a__U101322U102322a__U102322isNatKind11a__isNatKind11U103322a__U103322isNatIListKind11a__isNatIListKind11U104322a__U104322U105211a__U105211isNat121a__isNat121U10611a__U10611isNatIList1121a__isNatIList1121U11222a__U11222U12222a__U12222U111322a__U111322U112322a__U112322U113322a__U113322U114222a__U114222length111a__length111U13111a__U13111isNatList121a__isNatList121U12121a__U12121U122111a__U122111U131423a__U131423U132423a__U132423U133423a__U133423U134423a__U134423U135423a__U135423U136423a__U136423take211a__take211U21222a__U21222U22222a__U22222U23111a__U23111U312122a__U312122U3221a__U3221U3311a__U3311U413123a__U413123U423123a__U423123U433123a__U433123U443123a__U443123U452122a__U452122U46111a__U46111U5121a__U5121U5211a__U5211U61211a__U61211U6211a__U6211U7111a__U7111U81111a__U81111U91323a__U91323U92323a__U92323U93323a__U93323U94323a__U94323U95222a__U95222U96111a__U96111cons222001tt01s121nil01a__U11131122a__U1133122a__U1123122a__U1142122a__lengthconsNLa__U111a__isNatListLLNa__U111ttLNa__U112a__isNatIListKindLLNa__U112ttLNa__U113a__isNatNLNa__U113ttLNa__U114a__isNatKindNLa__lengthconsNLa__U111a__isNatListLLNfalse123a__U111ttLNa__U112a__isNatIListKindLLNfalse12a__U112ttLNa__U113a__isNatNLNfalse1a__U113ttLNa__U114a__isNatKindNLfalsea__U114ttLmarkLfalse1markU101X1X2X3markX1markU102X1X2X3markX1markU103X1X2X3markX1markU104X1X2X3markX1markU105X1X2markX1markU106XmarkXmarkU11X1X2markX1markU12X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71XmarkXmarkU81XmarkXmarkU91X1X2X3markX1markU92X1X2X3markX1markU93X1X2X3markX1markU94X1X2X3markX1markU95X1X2markX1markU96XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark111U1013111U1023111U1033111U1043111U1052111U106111U112111U122111U131111U21211U222111U231111U312111U32211U331111U413111U423111U433111U443111U452111U461111U51211U521111U612111U621111U71111U81111U913111U923111U93311U943111U952111U961111cons2111s1111markU106XmarkXmarkU21X1X2markX1markU32X1X2markX1markU51X1X2markX1markU71XmarkXmarkU81XmarkXmarkU93X1X2X3markX131mark10001001001001U10610011101100111U21200011011011011111111112U32200011011011011111111112U51200011011011011111111112U7110001101101101U8110001101101101U933000110110110111111111121111111113markU21X1X2markX1markU32X1X2markX1markU51X1X2markX1markU71XmarkXmarkU81XmarkXmarkU93X1X2X3markX131mark10001001001001U21200111011011011111111112U32200011011011011111111112U51200011011011011111111112U7110001101101101U8110001101101101U933000110110110111111111121111111113markU32X1X2markX1markU51X1X2markX1markU71XmarkXmarkU81XmarkXmarkU93X1X2X3markX131mark10001001001001U32200111011011011111111112U51200011011011011111111112U7110001101101101U8110001101101101U933000110110110111111111121111111113markU51X1X2markX1markU71XmarkXmarkU81XmarkXmarkU93X1X2X3markX131mark10001001001001U51200111011011011111111112U7110001101101101U8110001101101101U933000110110110111111111121111111113markU71XmarkXmarkU81XmarkXmarkU93X1X2X3markX131mark10001001001001U7110011101101101U8110001101101101U933000110110110111111111121111111113markU81XmarkXmarkU93X1X2X3markX131mark10001001001001U8110011101101101U933000110110110111111111121111111113markU93X1X2X3markX131mark10001001001001U933001110110110111011111121111110003markU102X1X2X3a__U102markX1X2X3false323334353643444546474950515253545557586162636566676869707172markU103X1X2X3a__U103markX1X2X3false313233343542434445464849505152535456576061626465666768697071markU104X1X2X3a__U104markX1X2X3false303132333441424344454748495051525355565960616364656667686970a__U112ttLNa__isNatNfalse293031323340414243444647484950515254555859606263646566676869a__U132ttILMNa__isNatMfalse282930313239404142434546474849505153545758596162636465666768a__U134ttILMNa__isNatNfalse272829303138394041424445464748495052535657586061626364656667markU105X1X2a__U105markX1X2false262728293037383940414344454647484951525556575960616263646566markU44X1X2X3a__U44markX1X2X3false252627282936373839404243444546474850515455565859606162636465markU45X1X2a__U45markX1X2false242526272835363738394142434445464749505354555758596061626364a__take0ILa__isNatIListILfalse232425262734353637384041424344454648495253545657585960616263a__takesMconsNILa__isNatIListILfalse222324252633343536373940414243444547485152535556575859606162markisNatIListXa__isNatIListXfalse212223242532333435363839404142434446475051525455565758596061markU41X1X2X3a__U41markX1X2X3false202122232431323334353738394041424345464950515354555657585960markU42X1X2X3a__U42markX1X2X3false192021222330313233343637383940414244454849505253545556575859markU43X1X2X3a__U43markX1X2X3false181920212229303132333536373839404143444748495152535455565758markU31X1X2a__U31markX1X2false171819202128293031323435363738394042434647485051525354555657markU32X1X2a__U32markX1X2false161718192027282930313334353637383941424546474950515253545556markU94X1X2X3a__U94markX1X2X3false151617181926272829303233343536373840414445464849505152535455markU95X1X2a__U95markX1X2false141516171825262728293132333435363739404344454748495051525354a__lengthconsNLa__isNatListLfalse131415161724252627283031323334353638394243444647484950515253markisNatListXa__isNatListXfalse121314151623242526272930313233343537384142434546474849505152markU91X1X2X3a__U91markX1X2X3false111213141522232425262829303132333436374041424445464748495051markU92X1X2X3a__U92markX1X2X3false101112131421222324252728293031323335363940414344454647484950markU93X1X2X3a__U93markX1X2X3false91011121320212223242627282930313234353839404243444546474849markisNatXa__isNatXfalse8910111219202122232526272829303133343738394142434445464748markU21X1X2a__U21markX1X2false789101118192021222425262728293032333637384041424344454647markU22X1X2a__U22markX1X2false67891017181920212324252627282931323536373940414243444546markU11X1X2a__U11markX1X2false5678916171819202223242526272830313435363839404142434445markU12X1X2a__U12markX1X2false4567815161718192122232425262729303334353738394041424344markU101X1X2X3a__U101markX1X2X3false3456714151617182021222324252628293233343637383940414243a__U102ttV1V2a__U103a__isNatIListKindV2V1V2a__U103ttV1V2a__U104a__isNatIListKindV2V1V2a__U104ttV1V2a__U105a__isNatV1V2a__U105ttV2a__isNatIListV2a__isNatIListVa__U31a__isNatIListKindVVa__U31ttVa__U32a__isNatIListKindVVa__U32ttVa__isNatListVa__isNatListconsV1V2a__U91a__isNatKindV1V1V2a__U91ttV1V2a__U92a__isNatKindV1V1V2a__U92ttV1V2a__U93a__isNatIListKindV2V1V2a__U93ttV1V2a__U94a__isNatIListKindV2V1V2a__U94ttV1V2a__U95a__isNatV1V2a__U95ttV2a__isNatListV2a__isNatListtakeV1V2a__U101a__isNatKindV1V1V2a__U101ttV1V2a__U102a__isNatKindV1V1V2a__U94ttV1V2a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__U11ttV1a__U12a__isNatIListKindV1V1a__U12ttV1a__isNatListV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1a__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__isNatIListV2a__U44ttV1V2a__isNatV1a__U104ttV1V2a__isNatV1true93134383941421a__U102311213tt00a__U103311213a__isNatIListKind10a__U10431213a__U105212a__isNat10a__isNatIList111a__U31212a__U32212a__isNatList111cons211112a__U91311213a__isNatKind10a__U9231213a__U9331213a__U9431213a__U95212take211112a__U101311213a__isNat111length1111a__U11212a__U12212s1111a__U212112a__U22212a__U41311213a__U4231213a__U4331213a__U4431213a__U45212nil00zeros01a__U5120a__U6120isNatIListKind10000a__U1120a__U2120isNat10a__U7110a__U8110isNatKind10a__U1220a__U2220a__U1310a__isNatList10a__U2310a__U9130a__U10130a__U9230a__U10230a__U9330a__U10330a__U9430a__U10430a__U9520a__U10520a__U9610a__U10610a__isNatIList111a__U3121112a__U4131111213a__U3221112a__U42311113a__U33111a__U433113a__U443113a__U452112a__U4610U10330U10430U10520U1120U1220isNatList10U1310U9130U9230U9330U9430U9520U2120U2220U2310U9610U10130U10230isNatIList10U10610U31211U3220U3310U4130U4231113U4330U4430U45212U4610a__U5210a__U6210U5120U7110U6120U8110U6210U5210a__U102ttV1V2a__U103a__isNatIListKindV2V1V2a__U104ttV1V2a__U105a__isNatV1V2a__U105ttV2a__isNatIListV2a__isNatIListVa__U31a__isNatIListKindVVa__U31ttVa__U32a__isNatIListKindVVa__U32ttVa__isNatListVa__isNatListconsV1V2a__U91a__isNatKindV1V1V2a__U92ttV1V2a__U93a__isNatIListKindV2V1V2a__U93ttV1V2a__U94a__isNatIListKindV2V1V2a__U94ttV1V2a__U95a__isNatV1V2a__U95ttV2a__isNatListV2a__isNatListtakeV1V2a__U101a__isNatKindV1V1V2a__U101ttV1V2a__U102a__isNatKindV1V1V2a__U94ttV1V2a__isNatV1a__U11ttV1a__U12a__isNatIListKindV1V1a__U12ttV1a__isNatListV1a__isNatsV1a__U21a__isNatKindV1V1a__U22ttV1a__isNatV1a__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__isNatIListV2a__U44ttV1V2a__isNatV1a__U104ttV1V2a__isNatV1a__U104ttV1V2a__U105a__isNatV1V2false135791215161921222324a__U105ttV2a__isNatIListV2false24681114151820212223a__U42ttV1V2a__U43a__isNatIListKindV2V1V2false257101314192022a__U43ttV1V2a__U44a__isNatIListKindV2V1V2false24691213181921a__U44ttV1V2a__U45a__isNatV1V2false3581112171820a__U45ttV2a__isNatIListV2false2471011161719a__isNatIListVa__U31a__isNatIListKindVVfalse24791011151617a__U31ttVa__U32a__isNatIListKindVVfalse25891415a__U32ttVa__isNatListVfalse25789131415a__U92ttV1V2a__U93a__isNatIListKindV2V1V2false3671213a__U93ttV1V2a__U94a__isNatIListKindV2V1V2false3561112a__U94ttV1V2a__U95a__isNatV1V2false3451011a__U95ttV2a__isNatListV2false34910a__U11ttV1a__U12a__isNatIListKindV1V1false2389a__U12ttV1a__isNatListV1false1278a__isNatListtakeV1V2a__U101a__isNatKindV1V1V2false16a__U101ttV1V2a__U102a__isNatKindV1V1V2false5a__U102ttV1V2a__U103a__isNatIListKindV2V1V2false6a__isNatListconsV1V2a__U91a__isNatKindV1V1V2false5a__U94ttV1V2a__isNatV1false4a__U22ttV1a__isNatV1false3a__U44ttV1V2a__isNatV1falsea__U104ttV1V2a__isNatV1falsea__isNatsV1a__U21a__isNatKindV1V1falsea__isNatIListconsV1V2a__U41a__isNatKindV1V1V2falsea__U101ttV1V2a__isNatKindV1false8303337384041a__U102ttV1V2a__isNatIListKindV2false123411121314151718192021222325262930313334353637383940a__U103ttV1V2a__isNatIListKindV2false2835363839a__U105ttV2a__U106a__isNatIListV2false2734353738a__U11ttV1a__isNatIListKindV1false2633343637a__U111ttLNa__isNatIListKindLfalse2532333536a__U113ttLNa__isNatKindNfalse2431323435a__U12ttV1a__U13a__isNatListV1false2330313334a__take0ILa__U121a__isNatIListILILfalse2229303233markU121X1X2a__U121markX1X2false2128293132a__U121ttILa__U122a__isNatIListKindILfalse2027283031a__U121ttILa__isNatIListKindILfalse1926272930a__U131ttILMNa__isNatIListKindILfalse1825262829a__U133ttILMNa__isNatKindMfalse1724252728a__U135ttILMNa__isNatKindNfalse1623242627a__U21ttV1a__isNatKindV1false1522232526a__U22ttV1a__U23a__isNatV1false1421222425a__U31ttVa__isNatIListKindVfalse1320212324a__U32ttVa__U33a__isNatListVfalse1219202223a__U41ttV1V2a__isNatKindV1false1118192122a__U42ttV1V2a__isNatIListKindV2false1017182021a__U43ttV1V2a__isNatIListKindV2false916171920a__U45ttV2a__U46a__isNatIListV2false815161819markU51X1X2a__U51markX1X2false714151718a__U92ttV1V2a__isNatIListKindV2false613141617a__U93ttV1V2a__isNatIListKindV2false512131516a__isNatlengthV1a__isNatIListKindV1false411121415a__isNatIListVa__isNatIListKindVfalse310111314a__U91ttV1V2a__isNatKindV1false29101213a__isNatsV1a__isNatKindV1false1891112a__isNatIListconsV1V2a__isNatKindV1false781011markisNatIListKindXa__isNatIListKindXfalsea__isNatListconsV1V2a__isNatKindV1falsea__isNatListtakeV1V2a__isNatKindV1falsemarkisNatKindXa__isNatKindXfalsemarkU61X1X2a__U61markX1X2falsea__U51ttV2a__isNatIListKindV2a__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindtakeV1V2a__U61a__isNatKindV1V2a__U61ttV2a__isNatIListKindV2a__isNatIListKindtakeV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1true1a__U512112tt01a__isNatIListKind1111cons211112a__isNatKind10a__isNatKind1111length1111take211112a__U612112s1111000a__U7110a__isNatIListKind1111a__U8110isNatKind10a__U51211112a__U61211112a__U521111a__U621111U5120nil01zeros01isNatIListKind10U7110U6120U8110U6210U5210a__U51ttV2a__isNatIListKindV2a__U61ttV2a__isNatIListKindV2a__U51ttV2a__isNatIListKindV2falsea__U61ttV2a__isNatIListKindV2falsea__U51ttV2a__U52a__isNatIListKindV2falsea__U61ttV2a__U62a__isNatIListKindV2falsea__U95ttV2a__U96a__isNatListV2falsea__isNatKindlengthV1a__U71a__isNatIListKindV1falsea__isNatKindsV1a__U81a__isNatKindV1falsemarkzerosa__zerosfalsemarkU106Xa__U106markXfalsemarkU13Xa__U13markXfalsemarkU122Xa__U122markXfalsemarkU23Xa__U23markXfalsemarkU33Xa__U33markXfalsemarkU46Xa__U46markXfalsemarkU52Xa__U52markXfalsemarkU62Xa__U62markXfalsemarkU71Xa__U71markXfalsemarkU81Xa__U81markXfalsemarkU96Xa__U96markXfalse