zeros
cons
0
zeros
U11
tt
tt
U21
tt
tt
U31
tt
tt
U41
tt
V2
U42
isNatIList
V2
U42
tt
tt
U51
tt
V2
U52
isNatList
V2
U52
tt
tt
U61
tt
L
N
U62
isNat
N
L
U62
tt
L
s
length
L
isNat
0
tt
isNat
length
V1
U11
isNatList
V1
isNat
s
V1
U21
isNat
V1
isNatIList
V
U31
isNatList
V
isNatIList
zeros
tt
isNatIList
cons
V1
V2
U41
isNat
V1
V2
isNatList
nil
tt
isNatList
cons
V1
V2
U51
isNat
V1
V2
length
nil
0
length
cons
N
L
U61
isNatList
L
L
N
zeros
0
cons
2
1
0
0
U11
1
1
tt
0
U21
1
1
U31
1
1
U41
2
1
U42
1
1
isNatIList
1
U51
2
1
U52
1
1
isNatList
1
U61
3
1
U62
2
1
isNat
1
s
1
1
length
1
1
nil
0
FULL
./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nokinds-noand.trs