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__length1210mark1410a__U62201420a__U6130142030isNat1110U62221220U6132142130isNatList1110U521110U51211120isNatIList1511U421110U41221521U311110U211110U111110nil00length1110s1210a__length1110mark1210a__U62221420a__isNat1110a__U6132142230a__U521110a__isNatList1110a__U51211120a__U421110a__isNatIList1812a__U41221922a__U311110a__U211110a__U111110tt00cons221620zeros00000a__zeros00a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__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__lengthXlengthX1a__length1111mark1811a__U62241821a__U6134182031isNat1010U62211420U6131142030isNatList1010U521210U51221020isNatIList1011U421110U41281021U311111U211210U111110nil08length1110s1410a__length1110mark1210a__U62211820a__isNat1010a__U6131182030a__U521210a__isNatList1010a__U51221020a__U421110a__isNatIList1011a__U41281021a__U311111a__U211210a__U111110tt00cons211820zeros00000a__zeros00a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__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__lengthXlengthX1a__length1311mark1810a__U62201821a__U6138182331isNat1210U62211521U6132142231isNatList1110U521110U51211420isNatIList1018U421110U41201024U311012U211110U111110nil00length1411s1110a__length1411mark1210a__U62211821a__isNat1210a__U6132182431a__U521110a__isNatList1210a__U51211420a__U421110a__isNatIList1018a__U41201028a__U311013a__U211110a__U111110tt00cons211820zeros00000a__zeros00a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLmarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXa__U62ttLa__lengthmarkLmarkconsX1X2markX1marksXmarkXa__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__lengthXlengthXmarkU52XmarkXmarkU11XmarkXmarkU21XmarkXmarkU42XmarkXmarkU51X1X2markX1markconsX1X2markX1marksXmarkXtruemark11a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLa__lengthmarkLtrue1a__length1210a__U622011220a__U61351122630isNat1112U62231124U6136132331isNatList1110U521810U51201420isNatIList1013U421011U41201024U311014U211019U111011nil08length1113s10110a__length1113mark1610a__U62231126a__isNat1113a__U6136132333a__U521810a__isNatList1110a__U51201820a__U421014a__isNatIList1014a__U41201024a__U311014a__U2110113a__U111016tt02cons231920zeros00000a__zeros00a__lengthconsNLa__U61a__isNatListLLNa__U62ttLa__lengthmarkLa__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__U62ttLa__lengthmarkLfalsea__lengthconsNLa__U61a__isNatListLLNfalsemarkisNatXa__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