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__U62ttLmarkLfalse1markU21XmarkXmarkU11XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark111U21111U111111U31111U42111U5121112U52111cons21112s111a__zeros01000zeros01a__U111111tt00a__U21111a__U31111a__U41211112a__U42111a__isNatIList1111a__U5121112a__U52111a__isNatList111a__U613112a__U622112a__isNat111a__length1111mark111length1111nil00U41211112isNatIList1111isNatList111U613112U622112isNat111markU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkX1mark111U21111U311111U42111U51211U52111cons211s111a__zeros00000zeros00a__U11111tt00a__U21111a__U311111a__U4121a__U42111a__isNatIList11a__U51211a__U52111a__isNatList10a__U6130a__U6220a__isNat10a__length10mark111length10nil00U11111U4121isNatIList11isNatList10U6130U6220isNat10markU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkX1mark111U21111U42111U512111U52111cons211s111a__zeros00000zeros00a__U1110tt00a__U21111a__U3110a__U4120a__U42111a__isNatIList10a__U512111a__U52111a__isNatList11a__U6130a__U6220a__isNat10a__length10mark111length10nil01U1110U3110U4120isNatIList10isNatList11U6130U6220isNat10markU21XmarkXmarkU42XmarkXmarkU52XmarkXmarkconsX1X2markX1marksXmarkX1mark111U21111U42111U52111cons2111s111a__zeros01000zeros01a__U11111tt00a__U21111a__U3110a__U4120a__U42111a__isNatIList10a__U5120a__U52111a__isNatList10a__U61311a__U6220a__isNat10a__length10mark111length10nil00U11111U3110U4120isNatIList10U5120isNatList10U61311U6220isNat10markU21XmarkXmarkU42XmarkXmarkU52XmarkXmarksXmarkX1mark111U21111U42111U521111s111a__zeros01cons2112000zeros00a__U1110tt00a__U21111a__U3110a__U4120a__U42111a__isNatIList10a__U512112a__U521111a__isNatList111a__U6130a__U6220a__isNat10a__length10mark1111length10nil00U1110U3110U4120isNatIList10U512112isNatList111U6130U6220isNat10markU21XmarkXmarkU42XmarkXmarksXmarkX1mark111U21111U421111s111a__zeros01cons2112000zeros00a__U1110tt00a__U21111a__U3110a__U412112a__U421111a__isNatIList111a__U5120a__U5210a__isNatList10a__U6130a__U6220a__isNat10a__length10mark1111length10nil01U1110U3110U412112isNatIList111U5120U5210isNatList10U6130U6220isNat10markU21XmarkXmarksXmarkX1mark131U21111s1111a__zeros00cons242002zeros00a__U11111tt01a__U21111a__U3111a__U4122a__U42111a__isNatIList12a__U51242a__U52111a__isNatList141a__U6131142a__U622142a__isNat121a__length121mark111length121nil04U11111U3111U4122U42111isNatIList12U51242U52111isNatList141U6131142U622142isNat121markU21XmarkX1mark111U211121a__zeros00cons242004zeros00a__U11121tt01a__U211121a__U3111a__U4121a__U42111a__isNatIList11a__U51242a__U52111a__isNatList111a__U6132142a__U622142a__isNat111s1121a__length121mark111length121nil04U11121U3111U4121U42111isNatIList11U51242U52111isNatList111U6132142U622142isNat111markU41X1X2a__U41markX1X2false256101112131415markisNatIListXa__isNatIListXfalse14591011121314a__U41ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatV1V2true3489101112131a__U412112tt00a__isNatIList1111cons2112a__isNat10a__zeros01000zeros00a__U1110a__U2110a__U3111a__U412111a__U4210a__isNatIList1111a__U5121a__U5211a__isNatList111a__U6131a__U6220s10a__length111mark1111length111nil00U1110U2110U3111U412111U4210isNatIList1111U5120U5210isNatList111U6130U6220isNat10a__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__isNatV1true1a__U51212tt00a__isNatList111cons21112a__isNat10a__isNat111length1111s111a__zeros00000zeros00a__U1110a__U2110a__U3110a__U41212a__U4210a__isNatIList111a__U5120a__U5210a__isNatList10a__U613112a__U622112a__length1111mark111nil01U1110U2110U3110U41212U4210isNatIList111U5120U5210isNatList10U613112U622112isNat10a__U51ttV2a__isNatListV2a__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2true121a__isNatList111cons2112a__U51212a__isNat10tt00a__zeros01000zeros00a__U11111a__U2110a__U3110a__U412111a__U4210a__isNatIList111a__U5120a__U5210a__isNatList10a__U6130a__U6220s10a__length11mark1111length10nil00U11111U2110U3110U412111U4210isNatIList111U5120U5210isNatList10U6130U6220isNat10a__U51ttV2a__isNatListV2a__U51ttV2a__isNatListV2falsea__isNatListconsV1V2a__isNatV1false1a__isNatsV1a__isNatV1true1a__isNat111s1121a__zeros00cons262000zeros00a__U1111tt01a__U21111a__U31121a__U4121122a__U4211a__isNatIList1141a__U51222a__U52111a__isNatList121a__U6132122a__U622122a__isNat11a__length111mark111length111nil02U1111U21111U31121U4121122U4211isNatIList1141U51222U52111isNatList121U6132122U622122isNat11a__U51ttV2a__U52a__isNatListV2falsea__isNatlengthV1a__U11a__isNatListV1falsea__isNatsV1a__U21a__isNatV1falsea__isNatIListVa__U31a__isNatListVfalsemarkzerosa__zerosfalsemarkU11Xa__U11markXfalsemarkU21Xa__U21markXfalsemarkU31Xa__U31markXfalsemarkU42Xa__U42markXfalsemarkU52Xa__U52markXfalse