activezerosmarkcons0zerosactiveU11ttV1markU12isNatIListKindV1V1activeU12ttV1markU13isNatListV1activeU13ttmarkttactiveU21ttV1markU22isNatKindV1V1activeU22ttV1markU23isNatV1activeU23ttmarkttactiveU31ttVmarkU32isNatIListKindVVactiveU32ttVmarkU33isNatListVactiveU33ttmarkttactiveU41ttV1V2markU42isNatKindV1V1V2activeU42ttV1V2markU43isNatIListKindV2V1V2activeU43ttV1V2markU44isNatIListKindV2V1V2activeU44ttV1V2markU45isNatV1V2activeU45ttV2markU46isNatIListV2activeU46ttmarkttactiveU51ttV2markU52isNatIListKindV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttmarkttactiveU81ttV1V2markU82isNatKindV1V1V2activeU82ttV1V2markU83isNatIListKindV2V1V2activeU83ttV1V2markU84isNatIListKindV2V1V2activeU84ttV1V2markU85isNatV1V2activeU85ttV2markU86isNatListV2activeU86ttmarkttactiveU91ttLNmarkU92isNatIListKindLLNactiveU92ttLNmarkU93isNatNLNactiveU93ttLNmarkU94isNatKindNLactiveU94ttLmarkslengthLactiveisNat0markttactiveisNatlengthV1markU11isNatIListKindV1V1activeisNatsV1markU21isNatKindV1V1activeisNatIListVmarkU31isNatIListKindVVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatKindV1V1V2activeisNatIListKindnilmarkttactiveisNatIListKindzerosmarkttactiveisNatIListKindconsV1V2markU51isNatKindV1V2activeisNatKind0markttactiveisNatKindlengthV1markU61isNatIListKindV1activeisNatKindsV1markU71isNatKindV1activeisNatListnilmarkttactiveisNatListconsV1V2markU81isNatKindV1V1V2activelengthnilmark0activelengthconsNLmarkU91isNatListLLNactiveconsX1X2consactiveX1X2activeU11X1X2U11activeX1X2activeU12X1X2U12activeX1X2activeU13XU13activeXactiveU21X1X2U21activeX1X2activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32X1X2U32activeX1X2activeU33XU33activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2X3U42activeX1X2X3activeU43X1X2X3U43activeX1X2X3activeU44X1X2X3U44activeX1X2X3activeU45X1X2U45activeX1X2activeU46XU46activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71XU71activeXactiveU81X1X2X3U81activeX1X2X3activeU82X1X2X3U82activeX1X2X3activeU83X1X2X3U83activeX1X2X3activeU84X1X2X3U84activeX1X2X3activeU85X1X2U85activeX1X2activeU86XU86activeXactiveU91X1X2X3U91activeX1X2X3activeU92X1X2X3U92activeX1X2X3activeU93X1X2X3U93activeX1X2X3activeU94X1X2U94activeX1X2activesXsactiveXactivelengthXlengthactiveXconsmarkX1X2markconsX1X2U11markX1X2markU11X1X2U12markX1X2markU12X1X2U13markXmarkU13XU21markX1X2markU21X1X2U22markX1X2markU22X1X2U23markXmarkU23XU31markX1X2markU31X1X2U32markX1X2markU32X1X2U33markXmarkU33XU41markX1X2X3markU41X1X2X3U42markX1X2X3markU42X1X2X3U43markX1X2X3markU43X1X2X3U44markX1X2X3markU44X1X2X3U45markX1X2markU45X1X2U46markXmarkU46XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markXmarkU71XU81markX1X2X3markU81X1X2X3U82markX1X2X3markU82X1X2X3U83markX1X2X3markU83X1X2X3U84markX1X2X3markU84X1X2X3U85markX1X2markU85X1X2U86markXmarkU86XU91markX1X2X3markU91X1X2X3U92markX1X2X3markU92X1X2X3U93markX1X2X3markU93X1X2X3U94markX1X2markU94X1X2smarkXmarksXlengthmarkXmarklengthXproperzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11X1X2U11properX1properX2properttokttproperU12X1X2U12properX1properX2properisNatIListKindXisNatIListKindproperXproperU13XU13properXproperisNatListXisNatListproperXproperU21X1X2U21properX1properX2properU22X1X2U22properX1properX2properisNatKindXisNatKindproperXproperU23XU23properXproperisNatXisNatproperXproperU31X1X2U31properX1properX2properU32X1X2U32properX1properX2properU33XU33properXproperU41X1X2X3U41properX1properX2properX3properU42X1X2X3U42properX1properX2properX3properU43X1X2X3U43properX1properX2properX3properU44X1X2X3U44properX1properX2properX3properU45X1X2U45properX1properX2properU46XU46properXproperisNatIListXisNatIListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71XU71properXproperU81X1X2X3U81properX1properX2properX3properU82X1X2X3U82properX1properX2properX3properU83X1X2X3U83properX1properX2properX3properU84X1X2X3U84properX1properX2properX3properU85X1X2U85properX1properX2properU86XU86properXproperU91X1X2X3U91properX1properX2properX3properU92X1X2X3U92properX1properX2properX3properU93X1X2X3U93properX1properX2properX3properU94X1X2U94properX1properX2propersXsproperXproperlengthXlengthproperXproperniloknilconsokX1okX2okconsX1X2U11okX1okX2okU11X1X2U12okX1okX2okU12X1X2isNatIListKindokXokisNatIListKindXU13okXokU13XisNatListokXokisNatListXU21okX1okX2okU21X1X2U22okX1okX2okU22X1X2isNatKindokXokisNatKindXU23okXokU23XisNatokXokisNatXU31okX1okX2okU31X1X2U32okX1okX2okU32X1X2U33okXokU33XU41okX1okX2okX3okU41X1X2X3U42okX1okX2okX3okU42X1X2X3U43okX1okX2okX3okU43X1X2X3U44okX1okX2okX3okU44X1X2X3U45okX1okX2okU45X1X2U46okXokU46XisNatIListokXokisNatIListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okXokU71XU81okX1okX2okX3okU81X1X2X3U82okX1okX2okX3okU82X1X2X3U83okX1okX2okX3okU83X1X2X3U84okX1okX2okX3okU84X1X2X3U85okX1okX2okU85X1X2U86okXokU86XU91okX1okX2okX3okU91X1X2X3U92okX1okX2okX3okU92X1X2X3U93okX1okX2okX3okU93X1X2X3U94okX1okX2okU94X1X2sokXoksXlengthokXoklengthXtopmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200U112tt0U122isNatIListKind1U131isNatList1U212U222isNatKind1U231isNat1U312U322U331U413U423U433U443U452U461isNatIList1U512U521U611U711U813U823U833U843U852U861U913U923U933U942s1length1nil0proper1ok1top1FULL./TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs