U62 tt s length L zeros cons 0 U11 tt tt U21 tt tt U31 tt tt U41 tt U42 isNatIList U42 tt tt U51 tt U52 isNatList U52 tt tt U61 tt U62 isNat isNat tt isNat U11 isNatList isNat U21 isNat isNatIList U31 isNatList isNatIList tt isNatIList U41 isNat isNatList tt isNatList U51 isNat length nil 0 length cons N U61 isNatList U62 1 tt 0 s 1 length 1 zeros 0 cons 1 0 0 U11 1 U21 1 U31 1 U41 1 U42 1 isNatIList 0 U51 1 U52 1 isNatList 0 U61 1 isNat 0 nil 0 FULL ./TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L.trs