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__isNatIListXisNatIListX2.0a__U11ttLmarkLa__U11ttLa__lengthmarkLa__U31ttILMNmarkNa__andttXmarkXa__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListtakeV1V2a__isNatV1a__isNatListtakeV1V2a__anda__isNatV1isNatIListV2a__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__take0ILa__isNatIListILa__take0ILa__U21a__isNatIListILa__takesMconsNILa__isNatIListILa__takesMconsNILa__anda__isNatIListILandisNatMisNatNa__takesMconsNILa__U31a__anda__isNatIListILandisNatMisNatNILMNmarkzerosa__zerosmarkU11X1X2markX1markU11X1X2a__U11markX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarkU21XmarkXmarkU21Xa__U21markXmarkU31X1X2X3X4markX1markU31X1X2X3X4a__U31markX1X2X3X4marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2markX1marksXmarkXtruea__takesMconsNILa__isNatIListILa__isNatIListVa__isNatListVa__isNatListconsV1V2a__isNatV1a__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__anda__isNatV1isNatListV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__isNatListtakeV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListtakeV1V2a__anda__isNatV1isNatIListV2a__lengthconsNLa__anda__isNatListLisNatNa__lengthconsNLa__U11a__anda__isNatListLisNatNLa__U11ttLa__lengthmarkLmarkU21XmarkXmarkU31X1X2X3X4markX1markU31X1X2X3X4a__U31markX1X2X3X4a__U31ttILMNmarkNmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2a__take0ILa__isNatIListILa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__takesMconsNILa__anda__isNatIListILandisNatMisNatNa__takesMconsNILa__U31a__anda__isNatIListILandisNatMisNatNILMNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2markX1marksXmarkXtruea__take0ILa__U21a__isNatIListILfalsemarkU21Xa__U21markXfalsemarkzerosa__zerosfalse