uTake2ttconsNuLengthttslengthLandttTTisNatIListisNatListisNatttisNatisNatisNatisNatListisNatIListttisNatIListandisNatisNatIListisNatListttisNatListandisNatisNatListisNatListandisNatisNatIListzeroscons0take0ILuTake1isNatIListuTake1ttniltakesMconsNuTake2andisNatandisNatisNatIListlengthconsNuLengthandisNatisNatListuTake21tt0cons1uLength1s1length1and2isNatIList0isNatList0isNat0zeros000take2uTake11nil0FULL./TRS/TRCSR/Ex4_DLMMU04_L.trs