activezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListVmarkU31isNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activelengthnilmark0activelengthconsNLmarkU61isNatListLLNactiveconsX1X2consactiveX1X2activeU11XU11activeXactiveU21XU21activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61X1X2X3U61activeX1X2X3activeU62X1X2U62activeX1X2activesXsactiveXactivelengthXlengthactiveXconsmarkX1X2markconsX1X2U11markXmarkU11XU21markXmarkU21XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markX1X2X3markU61X1X2X3U62markX1X2markU62X1X2smarkXmarksXlengthmarkXmarklengthXproperzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11XU11properXproperttokttproperU21XU21properXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNatIListXisNatIListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperisNatListXisNatListproperXproperU61X1X2X3U61properX1properX2properX3properU62X1X2U62properX1properX2properisNatXisNatproperXpropersXsproperXproperlengthXlengthproperXproperniloknilconsokX1okX2okconsX1X2U11okXokU11XU21okXokU21XU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNatIListokXokisNatIListXU51okX1okX2okU51X1X2U52okXokU52XisNatListokXokisNatListXU61okX1okX2okX3okU61X1X2X3U62okX1okX2okU62X1X2isNatokXokisNatXsokXoksXlengthokXoklengthXtopmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200U111tt0U211U311U412U421isNatIList1U512U521isNatList1U613U622isNat1s1length1nil0proper1ok1top1FULL./TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs