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__isNatIListXisNatIListX1and211420U11251620isNat1110isNatList1210nil04isNatIList1410a__isNatIList1410a__isNatList1210length1410a__isNat1110a__and211420s1110a__length1410mark1110a__U11251620tt00cons261420zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1and211120U11221220isNat1110isNatList1210nil04isNatIList1210a__isNatIList1410a__isNatList1210length1110a__isNat1210a__and211220s1110a__length1110mark1210a__U11221220tt00cons241620zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1and211220U11211420isNat1110isNatList1110isNatIList1212a__isNatIList1414a__isNatList1110length1110a__isNat1110a__and211220s1210a__length1110mark1210a__U11211420tt00cons221520zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListX1and211420U11211721isNat1110isNatList1110isNatIList1410a__isNatIList1410a__isNatList1110length1411a__isNat1110a__and211420s1110a__length1411mark1110a__U11211721tt00cons211620zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListX1and241420U11211422isNat1110isNatList1110isNatIList1210a__isNatIList1310a__isNatList1110length1211a__isNat1110a__and241420s1110a__length1212mark1210a__U11211422tt00cons241420zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11X1X2U11X1X2a__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListX1and211120U11211120isNat1110isNatList1210isNatIList1414a__isNatIList1114a__isNatList1210length1412a__isNat1110a__and211120s1210a__length1110mark1110a__U11211220tt00cons211420zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11X1X2U11X1X2a__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListX1and241220U11221120isNat1110isNatList1110isNatIList1410a__isNatIList1210a__isNatList1110a__isNat1110a__and241220s1110a__length1411mark1110a__U11241421tt00cons261520zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListX1and211220isNat1110isNatList1110isNatIList1210a__isNatIList1210a__isNatList1111a__isNat1112a__and211220s1110a__length1410mark1112a__U11221622tt03cons211221zeros00001a__zeros02a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkconsX1X2consmarkX1X2marksXsmarkXa__andX1X2andX1X21and211120isNat1110isNatList1210isNatIList1114a__isNatIList1115a__isNatList1210a__isNat1110a__and211120s1110a__length1212mark1210a__U11221422tt00cons221420zeros00000a__zeros00a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__isNat0tta__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkconsX1X2consmarkX1X2marksXsmarkXa__andX1X2andX1X2a__U11ttLmarkLa__U11ttLa__lengthmarkLa__isNatsV1a__isNatV1a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkconsX1X2markX1marksXmarkXtruea__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLtruea__length13a__U1124and20isNat10isNatList10a__isNatList12a__isNat19a__and21s110mark17tt08cons25zeros00004a__zeros06a__zeros000zeros0cons21tt0mark1s11a__and2a__isNat11a__isNatList1isNatList1isNat1and2a__U1121a__length1a__andX1X2andX1X2a__U11ttLmarkLfalsemarkandX1X2markX1markconsX1X2markX1marksXmarkXtruemark11markisNatXa__isNatXfalsemarkandX1X2a__andmarkX1X2falsemarkzerosa__zerosfalsea__lengthconsNLa__isNatListLfalsea__lengthconsNLa__anda__isNatListLisNatNfalsea__isNatListconsV1V2a__isNatV1falsea__isNatsV1a__isNatV1truea__isNat11a__isNatListconsV1V2a__anda__isNatV1isNatListV2false