uTake2ttconsNuLengthttslengthLandttTTisNatIListisNatListisNatttisNatisNatisNatisNatListisNatIListttisNatIListandisNatisNatIListisNatListttisNatListandisNatisNatListisNatListandisNatisNatIListzeroscons0take0ILuTake1isNatIListuTake1ttniltakesMconsNuTake2andisNatandisNatisNatIListlengthconsNuLengthandisNatisNatListuTake21tt0cons1uLength1s1length1and2isNatIList0isNatList0isNat0zeros000take2uTake11nil0OUTERMOST./TRS/outermost/TRCSR/Ex4_DLMMU04_L.trs