activezerosmarkcons0zerosactiveandttXmarkXactivelengthnilmark0activelengthconsNLmarkslengthLactiveconsX1X2consactiveX1X2activeandX1X2andactiveX1X2activelengthXlengthactiveXactivesXsactiveXconsmarkX1X2markconsX1X2andmarkX1X2markandX1X2lengthmarkXmarklengthXsmarkXmarksXproperzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properandX1X2andproperX1properX2properttokttproperlengthXlengthproperXproperniloknilpropersXsproperXconsokX1okX2okconsX1X2andokX1okX2okandX1X2lengthokXoklengthXsokXoksXtopmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200and2tt0length1nil0s1proper1ok1top1INNERMOST./TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C.trs