a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__U21ttnila__U31ttILMNconsmarkNtakeMILa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListniltta__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListtakeV1V2a__anda__isNatV1isNatIListV2a__lengthnil0a__lengthconsNLa__U11a__anda__isNatListLisNatNLa__take0ILa__U21a__isNatIListILa__takesMconsNILa__U31a__anda__isNatIListILandisNatMisNatNILMNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkU21Xa__U21markXmarkU31X1X2X3X4a__U31markX1X2X3X4marktakeX1X2a__takemarkX1markX2markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__U21XU21Xa__U31X1X2X3X4U31X1X2X3X4a__takeX1X2takeX1X2a__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListX