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__isNatIListV2a__U41ttV2a__U42a__isNatIListV2a__U51ttV2a__isNatListV2a__U51ttV2a__U52a__isNatListV2a__U61ttLNa__isNatNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLa__U62ttLa__lengthmarkLa__isNatlengthV1a__isNatListV1a__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__isNatV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__isNatListVa__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__lengthconsNLa__isNatListLa__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11XmarkXmarkU11Xa__U11markXmarkU21XmarkXmarkU21Xa__U21markXmarkU31XmarkXmarkU31Xa__U31markXmarkU41X1X2markX1markU41X1X2a__U41markX1X2markU42XmarkXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2markX1markU51X1X2a__U51markX1X2markU52XmarkXmarkU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtruea__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue1a__length1210mark1810a__U62201920a__U6130192230isNat1012U62211420U6131172130isNatList1014U521110U51211020isNatIList1015U421110U41211024U311211U211110U111110nil00length1213s1110a__length1214mark1210a__U62211420a__isNat1014a__U6131182130a__U521110a__isNatList1014a__U51211020a__U421110a__isNatIList10110a__U41211026a__U311212a__U211110a__U111110tt04cons211820zeros00000a__zeros00a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarkconsX1X2markX1marksXmarkX1a__length1810mark1810a__U62201820a__U61301132130isNat1410U62211421U6131142431isNatList1410U521210U51211820isNatIList1010U421410U41201020U311010U211110U111410nil00length1411s1110a__length1411mark1110a__U62211421a__isNat1410a__U6131142431a__U521210a__isNatList1410a__U51211820a__U421410a__isNatIList1010a__U41201020a__U311010a__U211110a__U111410tt00cons211220zeros00000a__zeros00a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXa__U62ttLa__lengthmarkLmarkconsX1X2markX1marksXmarkXa__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLtrue1a__length1811a__U62281822a__U61311122830isNat1110U62201122U6131122030isNatList1110U521012U51211020isNatIList1116U4210110U41211428U311018U211012U111011nil09length1112s1012a__length1112mark1112a__U62201122a__isNat1110a__U6131122030a__U521012a__isNatList1110a__U51211020a__U4210110a__isNatIList1118a__U41211428a__U311018a__U211012a__U111012tt02cons211420zeros00002a__zeros02a__U61ttLNa__U62a__isNatNLa__U61ttLNa__U62a__isNatNLfalsea__U62ttLmarkLfalsemarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkXtruemark11markisNatXa__isNatXfalsea__lengthconsNLa__isNatListLfalsemarkisNatListXa__isNatListXfalsemarkU52Xa__U52markXfalsemarkU51X1X2a__U51markX1X2falsemarkisNatIListXa__isNatIListXfalsemarkU42Xa__U42markXfalsemarkU41X1X2a__U41markX1X2falsea__U41ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatV1V2truea__U4122a__isNatIList11a__U41ttV2a__isNatIListV2a__U41ttV2a__isNatIListV2falsea__U41ttV2a__U42a__isNatIListV2falsea__isNatIListconsV1V2a__isNatV1falsea__isNatIListVa__U31a__isNatListVfalsea__isNatIListVa__isNatListVfalsemarkU31Xa__U31markXfalsemarkU21Xa__U21markXfalsemarkU11Xa__U11markXfalsemarkzerosa__zerosfalsea__U61ttLNa__isNatNfalsea__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2truea__U5122a__isNatList11a__isNat11a__U51ttV2a__isNatListV2a__U51ttV2a__isNatListV2falsea__U51ttV2a__U52a__isNatListV2falsea__isNatsV1a__U21a__isNatV1falsea__isNatlengthV1a__U11a__isNatListV1false