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__zeros00cons22132000zeros00a__U1122132tt00s111a__length131mark111a__and22122a__isNat111length131a__isNatList111a__isNatIList111isNatIList111nil01isNatList111isNat111U1122132and22122a__U1122122a__length121a__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__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__isNatIListXisNatIListX1a__zeros00cons21132000zeros00a__U1121122tt00s111a__length121mark111a__and22112a__isNat111length121a__isNatList121a__isNatIList1121isNatIList1121isNatList121isNat111U1121122and22112nil00a__U1121122a__length121a__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__zeros00cons22132000zeros00a__U11211112tt00s111a__length1111mark111a__and22122a__isNat111length1111a__isNatList111a__isNatIList111isNatIList111isNatList111isNat111U11211112and22122nil00a__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__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1a__zeros00cons22132000zeros00a__U11211122tt00s111a__length1111mark121a__and21122a__isNat111a__isNatIList121isNatIList121a__isNatList111isNatList111isNat111U11211122length1111and21112nil00a__U1121122a__length111a__U11ttLa__lengthmarkLa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX1a__zeros01cons211122000zeros00a__U11231132tt01s111a__length1131mark1111a__and21122a__isNat1111a__isNatIList1221isNatIList1121a__isNatList111isNatList111isNat111and21122nil03U11221112length121a__U11231122a__length1221a__U11ttLa__lengthmarkLa__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatsV1a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2markzerosa__zerosmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2marksXsmarkXa__andX1X2andX1X2a__isNatListXisNatListXa__U11ttLa__lengthmarkLfalsemarkzerosa__zerosfalse