a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListniltta__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthnil0a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListXa__U11ttLmarkLa__U11ttLa__lengthmarkLa__andttXmarkXa__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2markX1markU11X1X2a__U11markX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2markX1marksXmarkXtruea__isNatIListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2markconsX1X2markX1marksXmarkXtrue1a__isNatIList1014a__isNatList1010a__isNat1010a__and241420a__length1110mark1410a__U11221420and211120U11281120isNat1010isNatList1010nil00isNatIList1011a__isNatIList1011a__isNatList1010length1110a__isNat1010a__and211120s1110a__length1110mark1110a__U11281120tt00cons211420zeros00000a__zeros00a__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2markconsX1X2markX1marksXmarkX1a__isNatIList1410a__isNatList1010a__isNat1010a__and201820a__length1110mark1410a__U11201420and211820U11211421isNat1010isNatList1010nil08isNatIList1210a__isNatIList1410a__isNatList1010length1211a__isNat1010a__and211820s1110a__length1211mark1210a__U11211421tt00cons221420zeros00000a__zeros00a__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__andttXmarkXa__U11ttLmarkLa__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2markconsX1X2markX1marksXmarkXa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLtrue1a__length1418a__U112411028and211120U11211224isNat1110isNatList1110nil01isNatIList1112a__isNatIList1113a__isNatList1110length1114a__isNat1111a__and211120s1110a__length1114mark1111a__U11211224tt01cons211421zeros00000a__zeros01a__U11ttLa__lengthmarkLa__U11ttLa__lengthmarkLfalsea__U11ttLmarkLfalsea__lengthconsNLa__anda__isNatListLisNatNfalsea__lengthconsNLa__isNatListLfalsea__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__andttXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXa__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2markX1marksXmarkXtrue1a__isNatIList1010a__isNatList1010a__isNat1010a__and201820mark1810and241120U11221020isNat1010isNatList1010nil00isNatIList1010a__isNatIList1010a__isNatList1010length1010a__isNat1010a__and241120s1110a__length1010mark1110a__U11221020tt00cons221022zeros02000a__zeros02a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__andttXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXa__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarksXmarkX1a__isNatIList1811a__isNatList1811a__isNat1810a__and2011421mark1211and221720U11201424isNat1810isNatList1410nil00isNatIList1410a__isNatIList1510a__isNatList1410length1215a__isNat1810a__and221720s1110a__length1218mark1410a__U112011428tt00cons241720zeros00000a__zeros00a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__andttXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2a__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarksXmarkXa__isNatsV1a__isNatV1truea__isNat11a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__andttXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatIListXa__isNatIListXmarksXmarkXtrue1a__isNatIList1410a__isNatList1410a__and201824mark1410and211822U11201322isNat1110isNatList1210nil01isNatIList1210a__isNatIList1310a__isNatList1210length1212a__isNat1110a__and211822s1110a__length1213mark1211a__U11201425tt00cons2111321zeros00000a__zeros01a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2markisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatIListXa__isNatIListXmarksXmarkXmarksXmarkXtruemark11markisNatIListXa__isNatIListXfalsemarkisNatListXa__isNatListXfalsea__isNatListconsV1V2a__anda__isNatV1isNatListV2falsea__isNatIListconsV1V2a__anda__isNatV1isNatIListV2falsemarkzerosa__zerosfalse