activezerosmarkcons0zerosactiveU11ttLmarkslengthLactiveU21ttmarknilactiveU31ttILMNmarkconsNtakeMILactiveandttXmarkXactiveisNat0markttactiveisNatlengthV1markisNatListV1activeisNatsV1markisNatV1activeisNatIListVmarkisNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markandisNatV1isNatIListV2activeisNatListnilmarkttactiveisNatListconsV1V2markandisNatV1isNatListV2activeisNatListtakeV1V2markandisNatV1isNatIListV2activelengthnilmark0activelengthconsNLmarkU11andisNatListLisNatNLactivetake0ILmarkU21isNatIListILactivetakesMconsNILmarkU31andisNatIListILandisNatMisNatNILMNactiveconsX1X2consactiveX1X2activeU11X1X2U11activeX1X2activesXsactiveXactivelengthXlengthactiveXactiveU21XU21activeXactiveU31X1X2X3X4U31activeX1X2X3X4activetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activeandX1X2andactiveX1X2consmarkX1X2markconsX1X2U11markX1X2markU11X1X2smarkXmarksXlengthmarkXmarklengthXU21markXmarkU21XU31markX1X2X3X4markU31X1X2X3X4takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2andmarkX1X2markandX1X2properzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11X1X2U11properX1properX2properttokttpropersXsproperXproperlengthXlengthproperXproperU21XU21properXproperniloknilproperU31X1X2X3X4U31properX1properX2properX3properX4propertakeX1X2takeproperX1properX2properandX1X2andproperX1properX2properisNatXisNatproperXproperisNatListXisNatListproperXproperisNatIListXisNatIListproperXconsokX1okX2okconsX1X2U11okX1okX2okU11X1X2sokXoksXlengthokXoklengthXU21okXokU21XU31okX1okX2okX3okX4okU31X1X2X3X4takeokX1okX2oktakeX1X2andokX1okX2okandX1X2isNatokXokisNatXisNatListokXokisNatListXisNatIListokXokisNatIListXtopmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200U112tt0s1length1U211nil0U314take2and2isNat1isNatList1isNatIList1proper1ok1top1FULL./TRS/TRCSR/OvConsOS_nokinds_C.trs