U94
tt
s
length
L
zeros
cons
0
U11
tt
U12
isNatIListKind
U12
tt
U13
isNatList
U13
tt
tt
U21
tt
U22
isNatKind
U22
tt
U23
isNat
U23
tt
tt
U31
tt
U32
isNatIListKind
U32
tt
U33
isNatList
U33
tt
tt
U41
tt
U42
isNatKind
U42
tt
U43
isNatIListKind
U43
tt
U44
isNatIListKind
U44
tt
U45
isNat
U45
tt
U46
isNatIList
U46
tt
tt
U51
tt
U52
isNatIListKind
U52
tt
tt
U61
tt
tt
U71
tt
tt
U81
tt
U82
isNatKind
U82
tt
U83
isNatIListKind
U83
tt
U84
isNatIListKind
U84
tt
U85
isNat
U85
tt
U86
isNatList
U86
tt
tt
U91
tt
U92
isNatIListKind
U92
tt
U93
isNat
U93
tt
U94
isNatKind
isNat
tt
isNat
U11
isNatIListKind
isNat
U21
isNatKind
isNatIList
U31
isNatIListKind
isNatIList
tt
isNatIList
U41
isNatKind
isNatIListKind
tt
isNatIListKind
U51
isNatKind
isNatKind
tt
isNatKind
U61
isNatIListKind
isNatKind
U71
isNatKind
isNatList
tt
isNatList
U81
isNatKind
length
nil
0
length
cons
N
U91
isNatList
U94
1
tt
0
s
1
length
1
zeros
0
cons
1
0
0
U11
1
U12
1
isNatIListKind
0
U13
1
isNatList
0
U21
1
U22
1
isNatKind
0
U23
1
isNat
0
U31
1
U32
1
U33
1
U41
1
U42
1
U43
1
U44
1
U45
1
U46
1
isNatIList
0
U51
1
U52
1
U61
1
U71
1
U81
1
U82
1
U83
1
U84
1
U85
1
U86
1
U91
1
U92
1
U93
1
nil
0
FULL
./TRS/TRCSR/LengthOfFiniteLists_complete-noand_L.trs