zeroscons0n__zerosU11ttttU21ttttU31ttttU41ttV2U42isNatIListactivateV2U42ttttU51ttV2U52isNatListactivateV2U52ttttU61ttLNU62isNatactivateNactivateLU62ttLslengthactivateLisNatn__0ttisNatn__lengthV1U11isNatListactivateV1isNatn__sV1U21isNatactivateV1isNatIListVU31isNatListactivateVisNatIListn__zerosttisNatIListn__consV1V2U41isNatactivateV1activateV2isNatListn__nilttisNatListn__consV1V2U51isNatactivateV1activateV2lengthnil0lengthconsNLU61isNatListactivateLactivateLNzerosn__zeros0n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2niln__nilactivaten__zeroszerosactivaten__00activaten__lengthXlengthXactivaten__sXsXactivaten__consX1X2consX1X2activaten__nilnilactivateXXzeros0cons200n__zeros0U111tt0U211U311U412U421isNatIList1activate1U512U521isNatList1U613U622isNat1s1length1n__00n__length1n__s1n__cons2n__nil0nil0OUTERMOST./TRS/outermost/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs