zeros
cons
0
zeros
U101
tt
V1
V2
U102
isNatKind
V1
V1
V2
U102
tt
V1
V2
U103
isNatIListKind
V2
V1
V2
U103
tt
V1
V2
U104
isNatIListKind
V2
V1
V2
U104
tt
V1
V2
U105
isNat
V1
V2
U105
tt
V2
U106
isNatIList
V2
U106
tt
tt
U11
tt
V1
U12
isNatIListKind
V1
V1
U111
tt
L
N
U112
isNatIListKind
L
L
N
U112
tt
L
N
U113
isNat
N
L
N
U113
tt
L
N
U114
isNatKind
N
L
U114
tt
L
s
length
L
U12
tt
V1
U13
isNatList
V1
U121
tt
IL
U122
isNatIListKind
IL
U122
tt
nil
U13
tt
tt
U131
tt
IL
M
N
U132
isNatIListKind
IL
IL
M
N
U132
tt
IL
M
N
U133
isNat
M
IL
M
N
U133
tt
IL
M
N
U134
isNatKind
M
IL
M
N
U134
tt
IL
M
N
U135
isNat
N
IL
M
N
U135
tt
IL
M
N
U136
isNatKind
N
IL
M
N
U136
tt
IL
M
N
cons
N
take
M
IL
U21
tt
V1
U22
isNatKind
V1
V1
U22
tt
V1
U23
isNat
V1
U23
tt
tt
U31
tt
V
U32
isNatIListKind
V
V
U32
tt
V
U33
isNatList
V
U33
tt
tt
U41
tt
V1
V2
U42
isNatKind
V1
V1
V2
U42
tt
V1
V2
U43
isNatIListKind
V2
V1
V2
U43
tt
V1
V2
U44
isNatIListKind
V2
V1
V2
U44
tt
V1
V2
U45
isNat
V1
V2
U45
tt
V2
U46
isNatIList
V2
U46
tt
tt
U51
tt
V2
U52
isNatIListKind
V2
U52
tt
tt
U61
tt
V2
U62
isNatIListKind
V2
U62
tt
tt
U71
tt
tt
U81
tt
tt
U91
tt
V1
V2
U92
isNatKind
V1
V1
V2
U92
tt
V1
V2
U93
isNatIListKind
V2
V1
V2
U93
tt
V1
V2
U94
isNatIListKind
V2
V1
V2
U94
tt
V1
V2
U95
isNat
V1
V2
U95
tt
V2
U96
isNatList
V2
U96
tt
tt
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
isNatKind
V1
V1
V2
isNatIListKind
nil
tt
isNatIListKind
zeros
tt
isNatIListKind
cons
V1
V2
U51
isNatKind
V1
V2
isNatIListKind
take
V1
V2
U61
isNatKind
V1
V2
isNatKind
0
tt
isNatKind
length
V1
U71
isNatIListKind
V1
isNatKind
s
V1
U81
isNatKind
V1
isNatList
nil
tt
isNatList
cons
V1
V2
U91
isNatKind
V1
V1
V2
isNatList
take
V1
V2
U101
isNatKind
V1
V1
V2
length
nil
0
length
cons
N
L
U111
isNatList
L
L
N
take
0
IL
U121
isNatIList
IL
IL
take
s
M
cons
N
IL
U131
isNatIList
IL
IL
M
N
zeros
0
cons
2
1
0
0
U101
3
1
tt
0
U102
3
1
isNatKind
1
U103
3
1
isNatIListKind
1
U104
3
1
U105
2
1
isNat
1
U106
1
1
isNatIList
1
U11
2
1
U12
2
1
U111
3
1
U112
3
1
U113
3
1
U114
2
1
s
1
1
length
1
1
U13
1
1
isNatList
1
U121
2
1
U122
1
1
nil
0
U131
4
1
U132
4
1
U133
4
1
U134
4
1
U135
4
1
U136
4
1
take
2
1
2
U21
2
1
U22
2
1
U23
1
1
U31
2
1
U32
2
1
U33
1
1
U41
3
1
U42
3
1
U43
3
1
U44
3
1
U45
2
1
U46
1
1
U51
2
1
U52
1
1
U61
2
1
U62
1
1
U71
1
1
U81
1
1
U91
3
1
U92
3
1
U93
3
1
U94
3
1
U95
2
1
U96
1
1
FULL
./TRS/CSR_Maude/lazy-nat-list/OvConsOS_complete-noand.trs