activezerosmarkcons0zerosactiveU11ttV1markU12isNatListV1activeU12ttmarkttactiveU21ttV1markU22isNatV1activeU22ttmarkttactiveU31ttVmarkU32isNatListVactiveU32ttmarkttactiveU41ttV1V2markU42isNatV1V2activeU42ttV2markU43isNatIListV2activeU43ttmarkttactiveU51ttV1V2markU52isNatV1V2activeU52ttV2markU53isNatListV2activeU53ttmarkttactiveU61ttLmarkslengthLactiveandttXmarkXactiveisNat0markttactiveisNatlengthV1markU11isNatIListKindV1V1activeisNatsV1markU21isNatKindV1V1activeisNatIListVmarkU31isNatIListKindVVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41andisNatKindV1isNatIListKindV2V1V2activeisNatIListKindnilmarkttactiveisNatIListKindzerosmarkttactiveisNatIListKindconsV1V2markandisNatKindV1isNatIListKindV2activeisNatKind0markttactiveisNatKindlengthV1markisNatIListKindV1activeisNatKindsV1markisNatKindV1activeisNatListnilmarkttactiveisNatListconsV1V2markU51andisNatKindV1isNatIListKindV2V1V2activelengthnilmark0activelengthconsNLmarkU61andandisNatListLisNatIListKindLandisNatNisNatKindNLactiveconsX1X2consactiveX1X2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activesXsactiveXactivelengthXlengthactiveXactiveandX1X2andactiveX1X2consmarkX1X2markconsX1X2U11markX1X2markU11X1X2U12markXmarkU12XU21markX1X2markU21X1X2U22markXmarkU22XU31markX1X2markU31X1X2U32markXmarkU32XU41markX1X2X3markU41X1X2X3U42markX1X2markU42X1X2U43markXmarkU43XU51markX1X2X3markU51X1X2X3U52markX1X2markU52X1X2U53markXmarkU53XU61markX1X2markU61X1X2smarkXmarksXlengthmarkXmarklengthXandmarkX1X2markandX1X2properzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNatListXisNatListproperXproperU21X1X2U21properX1properX2properU22XU22properXproperisNatXisNatproperXproperU31X1X2U31properX1properX2properU32XU32properXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperisNatIListXisNatIListproperXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2propersXsproperXproperlengthXlengthproperXproperandX1X2andproperX1properX2properisNatIListKindXisNatIListKindproperXproperisNatKindXisNatKindproperXproperniloknilconsokX1okX2okconsX1X2U11okX1okX2okU11X1X2U12okXokU12XisNatListokXokisNatListXU21okX1okX2okU21X1X2U22okXokU22XisNatokXokisNatXU31okX1okX2okU31X1X2U32okXokU32XU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XisNatIListokXokisNatIListXU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2sokXoksXlengthokXoklengthXandokX1okX2okandX1X2isNatIListKindokXokisNatIListKindXisNatKindokXokisNatKindXtopmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200U112tt0U121isNatList1U212U221isNat1U312U321U413U422U431isNatIList1U513U522U531U612s1length1and2isNatIListKind1isNatKind1nil0proper1ok1top1FULL./TRS/TRCSR/LengthOfFiniteLists_complete_C.trs