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