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__and212mark111U11211112length1111a__isNatList10a__isNat10isNatList10a__isNat10s111and21112isNatIList10a__isNatIList10a__zeros00000zeros00a__U11211112a__length1111a__isNatIList10nil00a__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLa__lengthconsNLa__anda__isNatListLisNatNa__andttXmarkXa__U11ttLmarkLa__lengthconsNLa__isNatListLa__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1markandX1X2a__andmarkX1X2markandX1X2markX1markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatIListconsV1V2a__isNatV1markconsX1X2markX1marksXmarkXa__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLtrue12341a__U11242142tt01a__length1141mark1111cons211142a__and21122a__isNatList111isNat111a__zeros01000zeros00a__U112112s111a__length111a__isNat1111length111a__isNatIList1111isNatIList111nil04isNatList111U11212and21122a__lengthconsNLa__anda__isNatListLisNatNfalse3a__lengthconsNLa__isNatListLfalse2a__U11ttLmarkLfalse1markandX1X2a__andmarkX1X2a__andttXmarkXmarkandX1X2markX1markisNatXa__isNatXa__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1markisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatIListconsV1V2a__isNatV1markconsX1X2markX1marksXmarkXtrue1mark111and21112a__and212mark111tt00isNat111a__isNat111length1111a__isNatList111cons21112a__isNat111isNatList111s111isNatIList111a__isNatIList111a__zeros00000zeros00a__U112112a__length1111a__and21112a__isNatList111a__isNatIList111nil01U112112markandX1X2a__andmarkX1X2a__andttXmarkXmarkandX1X2markX1markisNatXa__isNatXa__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1markisNatListXa__isNatListXmarkisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatIListconsV1V2a__isNatV1markconsX1X2markX1marksXmarkXa__andttXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2markconsX1X2markX1marksXmarkXtrue12341a__and212tt00mark111and21112mark111isNatList10a__isNatList10cons2111a__isNat10isNatIList10a__isNatIList10s111a__zeros01000zeros01a__U1120a__length10a__and21112length10a__isNatList10a__isNatIList10nil01isNat10U1120a__andttXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatIListXa__isNatIListXa__isNatIListVa__isNatListVa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2marksXmarkX1a__and212tt00mark111and21112mark111isNatList10a__isNatList10cons20a__isNat10isNatIList11a__isNatIList11s111a__zeros00000zeros00a__U1120a__length10a__and21112length10a__isNatList10a__isNatIList11nil00isNat10U1120a__andttXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatIListXa__isNatIListXa__isNatIListconsV1V2a__anda__isNatV1isNatIListV2marksXmarkX1a__and211112tt00mark1111and211112mark1111isNatList111a__isNatList111cons211112a__isNat111isNatIList111a__isNatIList1111s111a__zeros01000zeros00a__U112112a__length111a__and211112length111a__isNatList111a__isNatIList111nil01isNat111U112112a__andttXmarkXmarkandX1X2a__andmarkX1X2a__isNatListconsV1V2a__anda__isNatV1isNatListV2markisNatIListXa__isNatIListXmarksXmarkXa__isNatListconsV1V2a__anda__isNatV1isNatListV2false12markandX1X2a__andmarkX1X2a__andttXmarkXmarksXmarkXtrue11mark111and2112a__and212mark1111tt00s111a__zeros00cons20000zeros00a__U1120a__length10a__and2112a__isNat11length10a__isNatList11a__isNatIList11isNatIList10nil00isNatList10isNat10U1120a__andttXmarkXmarksXmarkXa__andttXmarkXfalse1marksXmarkXtrue1mark111s1111a__zeros01cons214162000zeros00a__U11211142tt01a__length111mark1141a__and21142a__isNat1121length111a__isNatList121a__isNatIList1471isNatIList1231nil01isNatList111isNat111U11211122and21142markisNatIListXa__isNatIListXfalsemarkisNatXa__isNatXfalse3a__isNatListconsV1V2a__isNatV1false2a__isNatIListconsV1V2a__isNatV1false1a__isNatsV1a__isNatV1true1a__isNat111s1111a__zeros01cons214162000zeros00a__U11211142tt01a__length111mark1141a__and21142a__isNat1121length111a__isNatList121a__isNatIList1471isNatIList1231nil01isNatList111isNat111U11211122and21142markzerosa__zerosfalse