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__U62ttLmarkLfalsemarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark1118isNat1010U62201020U6130102030isNatList1010U521110U51281020isNatIList1010U421410U41201020U311010U211110U111810nil00length1010s1410a__length1010mark1410a__U62201020a__isNat1010a__U6130102030a__U521110a__isNatList1010a__U51281020a__U421410a__isNatIList1010a__U41201020a__U311010a__U211110a__U111810tt00cons211024zeros04000a__zeros05markU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarksXmarkX1mark1810isNat1010U62201020U6130102030isNatList1010U521110U51221020isNatIList1110U421111U41201122U311010U211210U111410nil00length1010s1210a__length1010mark1810a__U62201020a__isNat1010a__U6130102030a__U521110a__isNatList1010a__U51221020a__U421112a__isNatIList1110a__U41201122a__U311010a__U211210a__U111410tt00cons211422zeros02000a__zeros010markU11XmarkXmarkU21XmarkXmarkU51X1X2markX1markU52XmarkXmarksXmarkX1mark1810isNat1211U62201423U6134122133isNatList1210U521110U51211320isNatIList1014U421018U41201028U311018U211211U111110nil04length1112s1211a__length1112mark1211a__U62201427a__isNat1211a__U6134142133a__U521110a__isNatList1210a__U51211420a__U421018a__isNatIList1018a__U41201028a__U311018a__U211211a__U111110tt01cons2111221zeros00000a__zeros01markU11XmarkXmarkU51X1X2markX1markU52XmarkX1mark1110isNat1110U62201020U6132142130isNatList1110U521410U51241420isNatIList1110U421010U41241120U311110U211010U111111nil00length1214s1010a__length1214mark1810a__U62201020a__isNat1110a__U6132162130a__U521410a__isNatList1210a__U512411020a__U421010a__isNatIList1210a__U41241320a__U311110a__U211010a__U111114tt00cons221520zeros00000a__zeros00markU51X1X2markX1markU52XmarkX1mark1110isNat1011U62201020U6130102034isNatList1211U521111U51211120isNatIList1012U421110U41201025U311014U211110U111011nil04length1014s1010a__length10110mark1811a__U62201020a__isNat1018a__U61301020310a__U521111a__isNatList1216a__U51211220a__U421110a__isNatIList1018a__U41201028a__U311018a__U211110a__U111017tt07cons271121zeros01000a__zeros04markU51X1X2markX11mark1214isNat1110U62201020U6130182030isNatList1111U521010U51211221isNatIList1018U421014U41201024U311018U211010U111010nil010length1110s1010a__length1110mark1214a__U62201020a__isNat1210a__U6130182030a__U521010a__isNatList1211a__U51211221a__U421018a__isNatIList1018a__U41201028a__U311018a__U211010a__U111010tt00cons211820zeros00000a__zeros01markisNatXa__isNatXfalsea__lengthconsNLa__isNatListLfalsemarkisNatListXa__isNatListXfalsemarkU52Xa__U52markXfalsemarkU51X1X2a__U51markX1X2falsemarkisNatIListXa__isNatIListXfalsemarkU42Xa__U42markXfalsemarkU41X1X2a__U41markX1X2falsea__U41ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatV1V2true1a__isNatIList1410a__U41201520isNat1211U62201021U6130102038isNatList1112U521015U51201026isNatIList1211U421110U41201127U311111U211010U111012nil00length1011s1010a__length1018mark1414a__U62201028a__isNat1811a__U6130102038a__U521016a__isNatList1412a__U51201026a__U421110a__isNatIList1413a__U412014210a__U311111a__U211010a__U111016tt00cons201824zeros00001a__zeros04a__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__isNatListV2true1a__isNat1210a__isNatList1411a__U51201421isNat1010U62201821U6130142331isNatList1010U521010U51201020isNatIList1018U421012U41201022U311010U2111210U111010nil04length1211s1110a__length1211mark1410a__U62201821a__isNat1010a__U6130182931a__U521010a__isNatList1010a__U51201020a__U421018a__isNatIList1018a__U41201028a__U311010a__U2111210a__U111010tt00cons281420zeros00000a__zeros00a__isNatsV1a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2true1a__isNatList1210a__U51201828isNat1012U62201020U6131102031isNatList1210U521011U51201021isNatIList1110U421110U41221422U311210U211012U111016nil01length1110s1010a__length1110mark1810a__U62201020a__isNat10112a__U6131102031a__U521018a__isNatList1410a__U51201028a__U421110a__isNatIList1810a__U41221825a__U311210a__U211017a__U1110112tt02cons211424zeros01000a__zeros08a__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListconsV1V2a__U51a__isNatV1V2falsea__isNatsV1a__isNatV1true1a__isNat1112isNat1110U622011224U6132152030isNatList1110U521110U51201820isNatIList1015U421018U412010214U311018U211216U111410nil05length1210s1214a__length1210mark1310a__U622011224a__isNat1310a__U61321142030a__U521110a__isNatList1110a__U51201820a__U421018a__isNatIList10115a__U412010215a__U3110115a__U2112112a__U111410tt02cons201820zeros00009a__zeros00a__U51ttV2a__U52a__isNatListV2falsea__isNatsV1a__U21a__isNatV1falsea__isNatlengthV1a__U11a__isNatListV1false