activeandttTmarkTactiveisNatIListILmarkisNatListILactiveisNat0markttactiveisNatsNmarkisNatNactiveisNatlengthLmarkisNatListLactiveisNatIListzerosmarkttactiveisNatIListconsNILmarkandisNatNisNatIListILactiveisNatListnilmarkttactiveisNatListconsNLmarkandisNatNisNatListLactiveisNatListtakeNILmarkandisNatNisNatIListILactivezerosmarkcons0zerosactivetake0ILmarkuTake1isNatIListILactiveuTake1ttmarknilactivetakesMconsNILmarkuTake2andisNatMandisNatNisNatIListILMNILactiveuTake2ttMNILmarkconsNtakeMILactivelengthconsNLmarkuLengthandisNatNisNatListLLactiveuLengthttLmarkslengthLactiveandX1X2andactiveX1X2activeandX1X2andX1activeX2activesXsactiveXactivelengthXlengthactiveXactiveconsX1X2consactiveX1X2activetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activeuTake1XuTake1activeXactiveuTake2X1X2X3X4uTake2activeX1X2X3X4activeuLengthX1X2uLengthactiveX1X2andmarkX1X2markandX1X2andX1markX2markandX1X2smarkXmarksXlengthmarkXmarklengthXconsmarkX1X2markconsX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2uTake1markXmarkuTake1XuTake2markX1X2X3X4markuTake2X1X2X3X4uLengthmarkX1X2markuLengthX1X2properandX1X2andproperX1properX2properttokttproperisNatIListXisNatIListproperXproperisNatListXisNatListproperXproperisNatXisNatproperXproper0ok0propersXsproperXproperlengthXlengthproperXproperzerosokzerosproperconsX1X2consproperX1properX2properniloknilpropertakeX1X2takeproperX1properX2properuTake1XuTake1properXproperuTake2X1X2X3X4uTake2properX1properX2properX3properX4properuLengthX1X2uLengthproperX1properX2andokX1okX2okandX1X2isNatIListokXokisNatIListXisNatListokXokisNatListXisNatokXokisNatXsokXoksXlengthokXoklengthXconsokX1okX2okconsX1X2takeokX1okX2oktakeX1X2uTake1okXokuTake1XuTake2okX1okX2okX3okX4okuTake2X1X2X3X4uLengthokX1okX2okuLengthX1X2topmarkXtopproperXtopokXtopactiveXactive1and2tt0mark1isNatIList1isNatList1isNat100s1length1zeros0cons2nil0take2uTake11uTake24uLength2proper1ok1top1FULL./TRS/TRCSR/Ex4_DLMMU04_C.trs