activeandttTmarkTactiveisNatIListILmarkisNatListILactiveisNat0markttactiveisNatsNmarkisNatNactiveisNatlengthLmarkisNatListLactiveisNatIListzerosmarkttactiveisNatIListconsNILmarkandisNatNisNatIListILactiveisNatListnilmarkttactiveisNatListconsNLmarkandisNatNisNatListLactiveisNatListtakeNILmarkandisNatNisNatIListILactivezerosmarkcons0zerosactivetake0ILmarkuTake1isNatIListILactiveuTake1ttmarknilactivetakesMconsNILmarkuTake2andisNatMandisNatNisNatIListILMNILactiveuTake2ttMNILmarkconsNtakeMILactivelengthconsNLmarkuLengthandisNatNisNatListLLactiveuLengthttLmarkslengthLmarkandX1X2activeandmarkX1markX2markttactivettmarkisNatIListXactiveisNatIListXmarkisNatListXactiveisNatListXmarkisNatXactiveisNatXmark0active0marksXactivesmarkXmarklengthXactivelengthmarkXmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2marknilactivenilmarktakeX1X2activetakemarkX1markX2markuTake1XactiveuTake1markXmarkuTake2X1X2X3X4activeuTake2markX1X2X3X4markuLengthX1X2activeuLengthmarkX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatIListmarkXisNatIListXisNatIListactiveXisNatIListXisNatListmarkXisNatListXisNatListactiveXisNatListXisNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2uTake1markXuTake1XuTake1activeXuTake1XuTake2markX1X2X3X4uTake2X1X2X3X4uTake2X1markX2X3X4uTake2X1X2X3X4uTake2X1X2markX3X4uTake2X1X2X3X4uTake2X1X2X3markX4uTake2X1X2X3X4uTake2activeX1X2X3X4uTake2X1X2X3X4uTake2X1activeX2X3X4uTake2X1X2X3X4uTake2X1X2activeX3X4uTake2X1X2X3X4uTake2X1X2X3activeX4uTake2X1X2X3X4uLengthmarkX1X2uLengthX1X2uLengthX1markX2uLengthX1X2uLengthactiveX1X2uLengthX1X2uLengthX1activeX2uLengthX1X2active1and2tt0mark1isNatIList1isNatList1isNat100s1length1zeros0cons2nil0take2uTake11uTake24uLength2INNERMOST./TRS/TRCSR/inn/Ex4_DLMMU04_iGM.trs