a__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X2a__and2tt0mark1a__isNatIList1a__isNatList1a__isNat100s1length1zeros0cons2nil0take2a__zeros0a__take2a__uTake11a__uTake24a__length1a__uLength2and2isNatIList1isNatList1isNat1uTake11uTake24uLength2INNERMOST./TRS/TRCSR/inn/Ex4_DLMMU04_GM.trs