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__U11ttLa__lengthmarkLa__U11ttLmarkLa__andttXmarkXa__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatIListconsV1V2a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__lengthconsNLa__U11a__anda__isNatListLisNatNLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__isNatListLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU11X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2markX1marksXmarkXtruea__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLa__lengthconsNLa__anda__isNatListLisNatNa__andttXmarkXmarkU11X1X2a__U11markX1X2a__U11ttLmarkLmarkU11X1X2markX1marklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1marklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatIListconsV1V2a__isNatV1markconsX1X2markX1marksXmarkXtrue11a__length111cons21112a__U11212a__and21112a__isNatList10isNat10tt00mark111a__and212mark111U1121112length111a__isNatList10a__isNat10isNatList10a__isNat10s111and21112isNatIList11a__isNatIList11nil00a__isNatIList11zeros01a__zeros01a__U1121112a__length111000a__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLa__lengthconsNLa__anda__isNatListLisNatNa__andttXmarkXmarkU11X1X2a__U11markX1X2a__U11ttLmarkLmarkU11X1X2markX1marklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1marklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2markconsX1X2markX1marksXmarkX1a__length111cons211112a__U112112a__and21112a__isNatList11isNat10tt01mark1111a__and212mark111U11211112length1111a__isNatList10a__isNat11isNatList10a__isNat10s111and21112isNatIList1111a__isNatIList111nil01a__isNatIList1111zeros00a__zeros01a__U11211112a__length1111000a__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLa__andttXmarkXmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXa__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1markandX1X2a__andmarkX1X2markandX1X2markX1markisNatXa__isNatXmarkisNatListXa__isNatListXa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2marksXmarkXa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2false1234markandX1X2a__andmarkX1X2a__andttXmarkXmarkandX1X2markX1markisNatXa__isNatXa__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1markisNatListXa__isNatListXmarksXmarkXtrue1231mark1111and211112a__and2112mark10tt00isNat1111a__isNat1111length1111a__isNatList1111cons211112a__isNat10isNatList1111s1111zeros00a__zeros00U1120a__U1120a__length10a__and20a__isNatList10isNatIList10a__isNatIList10000nil00a__andttXmarkXa__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2false1a__andttXmarkXfalsemarkU11X1X2a__U11markX1X2false2marklengthXa__lengthmarkXfalse1a__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLtrue1a__zeros00cons21122000zeros00a__U1121122tt00s111a__length121mark111a__and21112a__isNat121length121a__isNatList121a__isNatIList1121isNatIList1121nil02isNatList121isNat121U1121122and21112a__U11221122a__length1221a__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__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__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1a__zeros00cons22122000zeros00a__U11211122tt00s111a__length1121mark111a__and22122a__isNat111length1121a__isNatList111a__isNatIList121isNatIList121isNatList111isNat111U11211122and22122nil00a__U1121122a__length121a__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1a__zeros01cons21122001zeros00a__U1121112tt01s111a__length111mark1111a__and21112a__isNat111a__isNatIList1111isNatIList1111a__isNatList111isNatList111isNat111U1121112length111and21112nil00a__U1122122a__length121a__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markconsX1X2consmarkX1X2marksXsmarkXa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1a__U11211tt01a__length11mark10cons20a__and20a__isNatList111isNat10zeros00a__zeros00U1120a__U1120length10a__length10and20s10a__isNat11isNatList10000a__U11ttLa__lengthmarkLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2a__andttXmarkXmarkconsX1X2consmarkX1X2marksXsmarkXa__andX1X2andX1X2a__U11ttLsa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11X1X2U11X1X2a__lengthXlengthXa__zeroscons0zerosa__U11ttLa__lengthmarkLfalsemarkzerosa__zerosfalse