a__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__U41ttV2a__U42a__isNatIListV2a__U41ttV2a__isNatIListV2a__U51ttV2a__U52a__isNatListV2a__U51ttV2a__isNatListV2a__U61ttV2a__U62a__isNatIListV2a__U61ttV2a__isNatIListV2a__U71ttLNa__U72a__isNatNLa__U71ttLNa__isNatNa__U72ttLa__lengthmarkLa__U72ttLmarkLa__U91ttILMNa__U92a__isNatMILMNa__U91ttILMNa__isNatMa__U92ttILMNa__U93a__isNatNILMNa__U92ttILMNa__isNatNa__U93ttILMNmarkNa__isNatlengthV1a__U11a__isNatListV1a__isNatlengthV1a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatsV1a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatIListconsV1V2a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatListtakeV1V2a__U61a__isNatV1V2a__isNatListtakeV1V2a__isNatV1a__lengthconsNLa__U71a__isNatListLLNa__lengthconsNLa__isNatListLa__take0ILa__U81a__isNatIListILa__take0ILa__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNa__takesMconsNILa__isNatIListILmarkzerosa__zerosmarkU11Xa__U11markXmarkU11XmarkXmarkU21Xa__U21markXmarkU21XmarkXmarkU31Xa__U31markXmarkU31XmarkXmarkU41X1X2a__U41markX1X2markU41X1X2markX1markU42Xa__U42markXmarkU42XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU51X1X2markX1markU52Xa__U52markXmarkU52XmarkXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU61X1X2markX1markU62Xa__U62markXmarkU62XmarkXmarkU71X1X2X3a__U71markX1X2X3markU71X1X2X3markX1markU72X1X2a__U72markX1X2markU72X1X2markX1markisNatXa__isNatXmarklengthXa__lengthmarkXmarklengthXmarkXmarkU81Xa__U81markXmarkU81XmarkXmarkU91X1X2X3X4a__U91markX1X2X3X4markU91X1X2X3X4markX1markU92X1X2X3X4a__U92markX1X2X3X4markU92X1X2X3X4markX1markU93X1X2X3X4a__U93markX1X2X3X4markU93X1X2X3X4markX1marktakeX1X2a__takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2markconsX1X2markX1marksXmarkXtruemarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNa__U72ttLmarkLmarkU71X1X2X3markX1markU72X1X2a__U72markX1X2markU72X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkU81XmarkXmarkU91X1X2X3X4a__U91markX1X2X3X4a__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNmarkU91X1X2X3X4markX1markU92X1X2X3X4a__U92markX1X2X3X4markU92X1X2X3X4markX1markU93X1X2X3X4a__U93markX1X2X3X4markU93X1X2X3X4markX1marktakeX1X2a__takemarkX1markX2a__takesMconsNILa__U91a__isNatIListILILMNmarktakeX1X2markX1marktakeX1X2markX2markconsX1X2markX1marksXmarkXtrue123456789101112131415161718192021222324252627281mark111U11111U21111U31111U41211U42111U51211U52111U61211U62111U71311112a__U71312mark111tt00a__U72212a__isNat10a__length111cons21112a__isNatList10U72211112length1111U811111U914111121314a__U9141214a__U92414a__U93414U924111121314U934111121314take211112a__take2112s111a__isNatIList10a__zeros00000zeros00a__U11111a__U21111a__U31111a__U41211a__U42111a__U51211a__U52111a__U61211a__U62111a__U71311112a__U72211112a__length1111a__U811111nil00a__U914111121314a__U924111121314a__U934111121314a__take211112isNatIList10isNatList10isNat10markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXa__U71ttLNa__U72a__isNatNLa__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNa__U72ttLmarkLa__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNmarktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNa__U71ttLNa__U72a__isNatNLtrue24561a__U722122tt01a__length1121mark111cons242a__U7131122a__isNatList111a__isNat111a__zeros00002zeros00a__U11111a__U21141a__U3112a__U4122a__U4212a__isNatIList14a__U51222a__U52111a__U61211a__U6211a__U71342a__U72242s141a__length111a__U8112nil02a__U91443a__U92443a__U93443take211length111a__take211U11111U21141U3112U4122U4212isNatIList14U51222U52111isNatList111U61211U6211U71342U72242isNat111U8112U91443U92443U93443a__U72ttLa__lengthmarkLa__U71ttLNa__U72a__isNatNLa__U71ttLNa__U72a__isNatNLfalse1a__U72ttLa__lengthmarkLfalsea__U72ttLmarkLfalse245a__U91ttILMNa__U92a__isNatMILMNfalse234a__U92ttILMNa__U93a__isNatNILMNfalse23a__U93ttILMNmarkNfalse12markU21XmarkXmarkU11XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark11marktakeX1X2a__takemarkX1markX2falsemarkU41X1X2a__U41markX1X2false12131415161718a__U71ttLNa__isNatNfalse11121314151617a__U91ttILMNa__isNatMfalse10111213141516a__U92ttILMNa__isNatNfalse9101112131415a__take0ILa__isNatIListILfalse891011121314a__takesMconsNILa__isNatIListILfalse78910111213markisNatIListXa__isNatIListXfalse6789101112a__lengthconsNLa__isNatListLfalse567891011markisNatListXa__isNatListXfalse45678910markisNatXa__isNatXfalse3456789markU51X1X2a__U51markX1X2false2345678markU61X1X2a__U61markX1X2false1234567a__U41ttV2a__isNatIListV2a__isNatIListVa__isNatListVa__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatListtakeV1V2a__U61a__isNatV1V2a__U61ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatIListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListtakeV1V2a__isNatV1true123456a__isNatIList11a__U4122a__isNatList11a__U5122a__isNat11a__U6122a__U41ttV2a__isNatIListV2a__isNatIListVa__isNatListVa__U51ttV2a__isNatListV2a__U61ttV2a__isNatIListV2a__U41ttV2a__isNatIListV2false2a__U61ttV2a__isNatIListV2false1a__isNatIListVa__isNatListVfalsea__U51ttV2a__isNatListV2falsea__U41ttV2a__U42a__isNatIListV2falsea__U51ttV2a__U52a__isNatListV2falsea__U61ttV2a__U62a__isNatIListV2falsea__isNatlengthV1a__U11a__isNatListV1falsea__isNatsV1a__U21a__isNatV1falsea__isNatIListVa__U31a__isNatListVfalsea__take0ILa__U81a__isNatIListILfalsemarkzerosa__zerosfalsemarkU11Xa__U11markXfalsemarkU21Xa__U21markXfalsemarkU31Xa__U31markXfalsemarkU42Xa__U42markXfalsemarkU52Xa__U52markXfalsemarkU62Xa__U62markXfalsemarkU81Xa__U81markXfalse