U61
tt
s
length
L
and
tt
X
zeros
cons
0
U11
tt
U12
isNatList
U12
tt
tt
U21
tt
U22
isNat
U22
tt
tt
U31
tt
U32
isNatList
U32
tt
tt
U41
tt
U42
isNat
U42
tt
U43
isNatIList
U43
tt
tt
U51
tt
U52
isNat
U52
tt
U53
isNatList
U53
tt
tt
isNat
tt
isNat
U11
isNatIListKind
isNat
U21
isNatKind
isNatIList
U31
isNatIListKind
isNatIList
tt
isNatIList
U41
and
isNatKind
isNatIListKind
tt
isNatIListKind
and
isNatKind
isNatKind
tt
isNatKind
isNatIListKind
isNatKind
isNatKind
isNatList
tt
isNatList
U51
and
isNatKind
length
nil
0
length
cons
N
U61
and
and
isNatList
U61
1
tt
0
s
1
length
1
and
1
zeros
0
cons
1
0
0
U11
1
U12
1
isNatList
0
U21
1
U22
1
isNat
0
U31
1
U32
1
U41
1
U42
1
U43
1
isNatIList
0
U51
1
U52
1
U53
1
isNatIListKind
0
isNatKind
0
nil
0
INNERMOST
./TRS/TRCSR/LengthOfFiniteLists_complete_L.trs