andttTTisNatIListILisNatListactivateILisNatn__0ttisNatn__sNisNatactivateNisNatn__lengthLisNatListactivateLisNatIListn__zerosttisNatIListn__consNILandisNatactivateNisNatIListactivateILisNatListn__nilttisNatListn__consNLandisNatactivateNisNatListactivateLisNatListn__takeNILandisNatactivateNisNatIListactivateILzeroscons0n__zerostake0ILuTake1isNatIListILuTake1ttniltakesMconsNILuTake2andisNatMandisNatNisNatIListactivateILMNactivateILuTake2ttMNILconsactivateNn__takeactivateMactivateILlengthconsNLuLengthandisNatNisNatListactivateLactivateLuLengthttLslengthactivateL0n__0sXn__sXlengthXn__lengthXzerosn__zerosconsX1X2n__consX1X2niln__niltakeX1X2n__takeX1X2activaten__00activaten__sXsXactivaten__lengthXlengthXactivaten__zeroszerosactivaten__consX1X2consX1X2activaten__nilnilactivaten__takeX1X2takeX1X2activateXXand2tt0isNatIList1isNatList1activate1isNat1n__00n__s1n__length1n__zeros0n__cons2n__nil0n__take2zeros0cons200take2uTake11nil0s1uTake24length1uLength2FULL./TRS/TRCSR/Ex4_DLMMU04_Z.trs