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