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__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXtrue123456789101112131415161718192021221mark111U11111U21111U311111U412111U42111U51211U52111U6131112a__U61312mark111tt00a__U62212a__isNat10a__length111cons21112a__isNatList10U6221112length111s111zeros00a__zeros00a__U11111a__U21111a__U311111a__U412111a__U42111isNatIList11a__isNatIList11a__U51211a__U52111isNatList10a__U6131112a__U6221112isNat10a__length111000nil00markU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3a__U61markX1X2X3a__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U62ttLmarkLmarkU61X1X2X3markX1markU62X1X2a__U62markX1X2markU62X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkX1a__zeros00cons22132000zeros00a__U11111tt00a__U21111a__U31111a__U4121112a__U42111a__isNatIList111a__U5121132a__U52111a__isNatList111a__U613112223a__U6222122a__isNat111s121a__length111mark111length111nil01U11111U21111U31111U4121112U42111isNatIList111U5121132U52111isNatList111U613112223U6222122isNat111mark121a__U613213223a__U6222122a__length121markU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3a__U61markX1X2X3a__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U62ttLmarkLmarkU61X1X2X3markX1markU62X1X2a__U62markX1X2markU62X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXa__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__isNatListconsV1V2a__U51a__isNatV1V2a__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__lengthXlengthX1mark111U11111U21111U42111U51211U52111U6131111213a__U6131213mark111tt00a__U62212a__isNat10a__length111cons21112a__isNatList10U62211112length1111s111zeros00a__zeros00a__U11111a__U21111U3110a__U3110U4120a__U4120a__U42111isNatIList10a__isNatIList10a__U51211a__U52111isNatList10a__U6131111213a__U62211112isNat10a__length1111000nil00markU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXa__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U62ttLmarkLmarkconsX1X2markX1marksXmarkXa__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLtrue121a__U6221tt01a__length11mark10cons20a__U613111a__isNatList10a__isNat10zeros00a__zeros00U1110a__U1110U2110a__U2110U3110a__U3110U4120a__U4120U4210a__U4210isNatIList10a__isNatIList10U5120a__U5120U5210a__U52111isNatList10U6130a__U6130U6220a__U6220isNat10length10a__length10000s10nil00a__U62ttLa__lengthmarkLa__lengthconsNLa__U61a__isNatListLLNa__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListXisNatListXa__U51ttV2a__U52a__isNatListV2a__U51X1X2U51X1X2a__U52tttta__U52XU52Xa__U62ttLa__lengthmarkLfalse1a__lengthconsNLa__U61a__isNatListLLNfalsea__U62ttLmarkLfalse1markU21XmarkXmarkU11XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark111U211111U111111U421111U512111U521111cons211s1111markconsX1X2markX11mark111cons2111markU41X1X2a__U41markX1X2false256101112131415markisNatIListXa__isNatIListXfalse14591011121314a__U41ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatV1V2true3489101112131a__U412112tt01a__isNatIList1111cons211112a__isNat10000length10a__U1110a__isNatList1111s10a__U2110isNat10a__U51211112a__U521111U5120nil01isNatList10U1110U2110U5210a__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__U512112tt01a__isNatList1111cons211112a__isNat10a__isNat1111length1111s1111000a__U1110a__isNatList1111a__U2110isNat10a__U51211112a__U521111U5120nil01isNatList10U1110U2110U5210a__U51ttV2a__isNatListV2a__U51ttV2a__isNatListV2falsea__U51ttV2a__U52a__isNatListV2falsea__isNatlengthV1a__U11a__isNatListV1falsea__isNatsV1a__U21a__isNatV1falsea__isNatIListVa__U31a__isNatListVfalsemarkzerosa__zerosfalsemarkU11Xa__U11markXfalsemarkU21Xa__U21markXfalsemarkU31Xa__U31markXfalsemarkU42Xa__U42markXfalsemarkU52Xa__U52markXfalse