andttTTisNatIListILisNatListILisNat0ttisNatsNisNatNisNatlengthLisNatListLisNatIListzerosttisNatIListconsNILandisNatNisNatIListILisNatListnilttisNatListconsNLandisNatNisNatListLisNatListtakeNILandisNatNisNatIListILzeroscons0zerostake0ILuTake1isNatIListILuTake1ttniltakesMconsNILuTake2andisNatMandisNatNisNatIListILMNILuTake2ttMNILconsNtakeMILlengthconsNLuLengthandisNatNisNatListLLuLengthttLslengthLand212tt0isNatIList1isNatList1isNat100s11length11zeros0cons21nil0take212uTake111uTake241uLength21FULL./TRS/CSR/Ex4_DLMMU04.trs