zeros
cons
0
zeros
U11
tt
L
U12
tt
L
U12
tt
L
s
length
L
U21
tt
IL
M
N
U22
tt
IL
M
N
U22
tt
IL
M
N
U23
tt
IL
M
N
U23
tt
IL
M
N
cons
N
take
M
IL
length
nil
0
length
cons
N
L
U11
tt
L
take
0
IL
nil
take
s
M
cons
N
IL
U21
tt
IL
M
N
zeros
0
cons
2
1
0
0
U11
2
1
tt
0
U12
2
1
s
1
1
length
1
1
U21
4
1
U22
4
1
U23
4
1
take
2
1
2
nil
0
FULL
./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nosorts-noand.trs