zeros
cons
0
zeros
U11
tt
V1
U12
isNatList
V1
U12
tt
tt
U21
tt
V1
U22
isNat
V1
U22
tt
tt
U31
tt
V
U32
isNatList
V
U32
tt
tt
U41
tt
V1
V2
U42
isNat
V1
V2
U42
tt
V2
U43
isNatIList
V2
U43
tt
tt
U51
tt
V1
V2
U52
isNat
V1
V2
U52
tt
V2
U53
isNatList
V2
U53
tt
tt
U61
tt
L
s
length
L
and
tt
X
X
isNat
0
tt
isNat
length
V1
U11
isNatIListKind
V1
V1
isNat
s
V1
U21
isNatKind
V1
V1
isNatIList
V
U31
isNatIListKind
V
V
isNatIList
zeros
tt
isNatIList
cons
V1
V2
U41
and
isNatKind
V1
isNatIListKind
V2
V1
V2
isNatIListKind
nil
tt
isNatIListKind
zeros
tt
isNatIListKind
cons
V1
V2
and
isNatKind
V1
isNatIListKind
V2
isNatKind
0
tt
isNatKind
length
V1
isNatIListKind
V1
isNatKind
s
V1
isNatKind
V1
isNatList
nil
tt
isNatList
cons
V1
V2
U51
and
isNatKind
V1
isNatIListKind
V2
V1
V2
length
nil
0
length
cons
N
L
U61
and
and
isNatList
L
isNatIListKind
L
and
isNat
N
isNatKind
N
L
zeros
0
cons
2
1
0
0
U11
2
1
tt
0
U12
1
1
isNatList
1
U21
2
1
U22
1
1
isNat
1
U31
2
1
U32
1
1
U41
3
1
U42
2
1
U43
1
1
isNatIList
1
U51
3
1
U52
2
1
U53
1
1
U61
2
1
s
1
1
length
1
1
and
2
1
isNatIListKind
1
isNatKind
1
nil
0
FULL
./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_complete.trs