a__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__lengthnil0a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthXa__U41ttV2a__U42a__isNatIListV2a__U41ttV2a__isNatIListV2a__U51ttV2a__U52a__isNatListV2a__U51ttV2a__isNatListV2a__U61ttLNa__U62a__isNatNLa__U61ttLNa__isNatNa__U62ttLa__lengthmarkLa__U62ttLmarkLa__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__lengthconsNLa__U61a__isNatListLLNa__lengthconsNLa__isNatListLmarkzerosa__zerosmarkU11Xa__U11markXmarkU11XmarkXmarkU21Xa__U21markXmarkU21XmarkXmarkU31Xa__U31markXmarkU31XmarkXmarkU41X1X2a__U41markX1X2markU41X1X2markX1markU42Xa__U42markXmarkU42XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU51X1X2markX1markU52Xa__U52markXmarkU52XmarkXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU61X1X2X3markX1markU62X1X2a__U62markX1X2markU62X1X2markX1markisNatXa__isNatXmarklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXtruemarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3a__U61markX1X2X3a__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U62ttLmarkLmarkU61X1X2X3markX1markU62X1X2a__U62markX1X2markU62X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXtrue123456789101112131415161718192021221mark111U11111U21111U31111U412111U42111U51211U52111U6131111213a__U61312mark111tt00a__U62212a__isNat10a__length111cons21112a__isNatList10U62211112length1111s111a__zeros00000zeros00a__U11111a__U21111a__U31111a__U412111a__U42111a__isNatIList11a__U51211a__U52111a__U6131111213a__U62211112a__length1111nil00isNatIList11isNatList10isNat10markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXa__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U62ttLmarkLmarkconsX1X2markX1marksXmarkXa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLtrue121a__U622142tt02a__length121mark121cons262a__U6132142a__isNatList141a__isNat141a__zeros00004zeros00a__U1115a__U2114a__U3112a__U4122a__U4212a__isNatIList12a__U51242a__U52111a__U6135a__U6221s11a__length15length14nil02U1115U2114U3111U4121U4212isNatIList12U51222U52111isNatList131U6135U6221isNat131a__lengthconsNLa__U61a__isNatListLLNa__lengthconsNLa__U61a__isNatListLLNfalsea__U62ttLmarkLfalse1markU21XmarkXmarkU11XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkXtruemark11markU41X1X2a__U41markX1X2false256101112131415markisNatIListXa__isNatIListXfalse14591011121314a__U41ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatV1V2true348910111213a__isNatIList11a__U4122a__U41ttV2a__isNatIListV2a__U41ttV2a__isNatIListV2falsea__U41ttV2a__U42a__isNatIListV2false791011markU51X1X2a__U51markX1X2false68910a__U61ttLNa__isNatNfalse5789a__isNatIListconsV1V2a__isNatV1false4678a__isNatIListVa__isNatListVfalse3567a__lengthconsNLa__isNatListLfalse2456markisNatListXa__isNatListXfalse1345markisNatXa__isNatXfalse234a__U51ttV2a__isNatListV2a__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1truea__isNatList11a__U5122a__isNat11a__U51ttV2a__isNatListV2a__U51ttV2a__isNatListV2falsea__U51ttV2a__U52a__isNatListV2falsea__isNatlengthV1a__U11a__isNatListV1falsea__isNatsV1a__U21a__isNatV1falsea__isNatIListVa__U31a__isNatListVfalsemarkzerosa__zerosfalsemarkU11Xa__U11markXfalsemarkU21Xa__U21markXfalsemarkU31Xa__U31markXfalsemarkU42Xa__U42markXfalsemarkU52Xa__U52markXfalse