U94ttslengthLzeroscons0U11ttU12isNatIListKindU12ttU13isNatListU13ttttU21ttU22isNatKindU22ttU23isNatU23ttttU31ttU32isNatIListKindU32ttU33isNatListU33ttttU41ttU42isNatKindU42ttU43isNatIListKindU43ttU44isNatIListKindU44ttU45isNatU45ttU46isNatIListU46ttttU51ttU52isNatIListKindU52ttttU61ttttU71ttttU81ttU82isNatKindU82ttU83isNatIListKindU83ttU84isNatIListKindU84ttU85isNatU85ttU86isNatListU86ttttU91ttU92isNatIListKindU92ttU93isNatU93ttU94isNatKindisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41isNatKindisNatIListKindttisNatIListKindU51isNatKindisNatKindttisNatKindU61isNatIListKindisNatKindU71isNatKindisNatListttisNatListU81isNatKindlengthnil0lengthconsNU91isNatListU941tt0s1length1zeros0cons100U111U121isNatIListKind0U131isNatList0U211U221isNatKind0U231isNat0U311U321U331U411U421U431U441U451U461isNatIList0U511U521U611U711U811U821U831U841U851U861U911U921U931nil0OUTERMOST./TRS/outermost/TRCSR/LengthOfFiniteLists_complete-noand_L.trs