U72
tt
s
length
L
U93
tt
cons
N
zeros
cons
0
U11
tt
tt
U21
tt
tt
U31
tt
tt
U41
tt
U42
isNatIList
U42
tt
tt
U51
tt
U52
isNatList
U52
tt
tt
U61
tt
U62
isNatIList
U62
tt
tt
U71
tt
U72
isNat
U81
tt
nil
U91
tt
U92
isNat
U92
tt
U93
isNat
isNat
tt
isNat
U11
isNatList
isNat
U21
isNat
isNatIList
U31
isNatList
isNatIList
tt
isNatIList
U41
isNat
isNatList
tt
isNatList
U51
isNat
isNatList
U61
isNat
length
nil
0
length
cons
N
U71
isNatList
take
0
IL
U81
isNatIList
take
s
M
cons
N
U91
isNatIList
U72
1
tt
0
s
1
length
1
U93
1
cons
1
zeros
0
0
0
U11
1
U21
1
U31
1
U41
1
U42
1
isNatIList
0
U51
1
U52
1
isNatList
0
U61
1
U62
1
U71
1
isNat
0
U81
1
nil
0
U91
1
U92
1
take
2
FULL
./TRS/TRCSR/OvConsOS_nokinds-noand_L.trs