activezerosmarkcons0zerosactiveU11ttLmarkU12ttLactiveU12ttLmarkslengthLactivelengthnilmark0activelengthconsNLmarkU11ttLactiveconsX1X2consactiveX1X2activeU11X1X2U11activeX1X2activeU12X1X2U12activeX1X2activesXsactiveXactivelengthXlengthactiveXconsmarkX1X2markconsX1X2U11markX1X2markU11X1X2U12markX1X2markU12X1X2smarkXmarksXlengthmarkXmarklengthXproperzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11X1X2U11properX1properX2properttokttproperU12X1X2U12properX1properX2propersXsproperXproperlengthXlengthproperXproperniloknilconsokX1okX2okconsX1X2U11okX1okX2okU11X1X2U12okX1okX2okU12X1X2sokXoksXlengthokXoklengthXtopmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200U112tt0U122s1length1nil0proper1ok1top1FULL./TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs