U11
tt
s
length
L
U31
tt
cons
N
and
tt
X
zeros
cons
0
U21
tt
nil
isNat
tt
isNat
isNatList
isNat
isNat
isNatIList
isNatList
isNatIList
tt
isNatIList
and
isNat
isNatList
tt
isNatList
and
isNat
length
nil
0
length
cons
N
U11
and
isNatList
take
0
IL
U21
isNatIList
take
s
M
cons
N
U31
and
isNatIList
U11
1
tt
0
s
1
length
1
U31
1
cons
1
and
1
zeros
0
0
0
U21
1
nil
0
isNat
0
isNatList
0
isNatIList
0
take
2
FULL
./TRS/TRCSR/OvConsOS_nokinds_L.trs