U62ttslengthLzeroscons0U11ttttU21ttttU31ttttU41ttU42isNatIListU42ttttU51ttU52isNatListU52ttttU61ttU62isNatisNatttisNatU11isNatListisNatU21isNatisNatIListU31isNatListisNatIListttisNatIListU41isNatisNatListttisNatListU51isNatlengthnil0lengthconsNU61isNatListU621tt0s1length1zeros0cons100U111U211U311U411U421isNatIList0U511U521isNatList0U611isNat0nil0OUTERMOST./TRS/outermost/TRCSR/LengthOfFiniteLists_nokinds-noand_L.trs