zeroscons0n__zerosU11ttV1U12isNatIListKindactivateV1activateV1U12ttV1U13isNatListactivateV1U13ttttU21ttV1U22isNatKindactivateV1activateV1U22ttV1U23isNatactivateV1U23ttttU31ttVU32isNatIListKindactivateVactivateVU32ttVU33isNatListactivateVU33ttttU41ttV1V2U42isNatKindactivateV1activateV1activateV2U42ttV1V2U43isNatIListKindactivateV2activateV1activateV2U43ttV1V2U44isNatIListKindactivateV2activateV1activateV2U44ttV1V2U45isNatactivateV1activateV2U45ttV2U46isNatIListactivateV2U46ttttU51ttV2U52isNatIListKindactivateV2U52ttttU61ttttU71ttttU81ttV1V2U82isNatKindactivateV1activateV1activateV2U82ttV1V2U83isNatIListKindactivateV2activateV1activateV2U83ttV1V2U84isNatIListKindactivateV2activateV1activateV2U84ttV1V2U85isNatactivateV1activateV2U85ttV2U86isNatListactivateV2U86ttttU91ttLNU92isNatIListKindactivateLactivateLactivateNU92ttLNU93isNatactivateNactivateLactivateNU93ttLNU94isNatKindactivateNactivateLU94ttLslengthactivateLisNatn__0ttisNatn__lengthV1U11isNatIListKindactivateV1activateV1isNatn__sV1U21isNatKindactivateV1activateV1isNatIListVU31isNatIListKindactivateVactivateVisNatIListn__zerosttisNatIListn__consV1V2U41isNatKindactivateV1activateV1activateV2isNatIListKindn__nilttisNatIListKindn__zerosttisNatIListKindn__consV1V2U51isNatKindactivateV1activateV2isNatKindn__0ttisNatKindn__lengthV1U61isNatIListKindactivateV1isNatKindn__sV1U71isNatKindactivateV1isNatListn__nilttisNatListn__consV1V2U81isNatKindactivateV1activateV1activateV2lengthnil0lengthconsNLU91isNatListactivateLactivateLNzerosn__zeros0n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2niln__nilactivaten__zeroszerosactivaten__00activaten__lengthXlengthXactivaten__sXsXactivaten__consX1X2consX1X2activaten__nilnilactivateXXzeros0cons200n__zeros0U112tt0U122isNatIListKind1activate1U131isNatList1U212U222isNatKind1U231isNat1U312U322U331U413U423U433U443U452U461isNatIList1U512U521U611U711U813U823U833U843U852U861U913U923U933U942s1length1n__00n__length1n__s1n__cons2n__nil0nil0OUTERMOST./TRS/outermost/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs