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
V2
U62
isNatIList
V2
U62
tt
tt
U71
tt
L
N
U72
isNat
N
L
U72
tt
L
s
length
L
U81
tt
nil
U91
tt
IL
M
N
U92
isNat
M
IL
M
N
U92
tt
IL
M
N
U93
isNat
N
IL
M
N
U93
tt
IL
M
N
cons
N
take
M
IL
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
isNatList
take
V1
V2
U61
isNat
V1
V2
length
nil
0
length
cons
N
L
U71
isNatList
L
L
N
take
0
IL
U81
isNatIList
IL
take
s
M
cons
N
IL
U91
isNatIList
IL
IL
M
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
2
1
U62
1
1
U71
3
1
U72
2
1
isNat
1
s
1
1
length
1
1
U81
1
1
nil
0
U91
4
1
U92
4
1
U93
4
1
take
2
1
2
FULL
./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nokinds-noand.trs