a__zeros
cons
0
zeros
a__U101
tt
V1
V2
a__U102
a__isNatKind
V1
V1
V2
a__U102
tt
V1
V2
a__U103
a__isNatIListKind
V2
V1
V2
a__U103
tt
V1
V2
a__U104
a__isNatIListKind
V2
V1
V2
a__U104
tt
V1
V2
a__U105
a__isNat
V1
V2
a__U105
tt
V2
a__U106
a__isNatIList
V2
a__U106
tt
tt
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
a__U114
tt
L
s
a__length
mark
L
a__U12
tt
V1
a__U13
a__isNatList
V1
a__U121
tt
IL
a__U122
a__isNatIListKind
IL
a__U122
tt
nil
a__U13
tt
tt
a__U131
tt
IL
M
N
a__U132
a__isNatIListKind
IL
IL
M
N
a__U132
tt
IL
M
N
a__U133
a__isNat
M
IL
M
N
a__U133
tt
IL
M
N
a__U134
a__isNatKind
M
IL
M
N
a__U134
tt
IL
M
N
a__U135
a__isNat
N
IL
M
N
a__U135
tt
IL
M
N
a__U136
a__isNatKind
N
IL
M
N
a__U136
tt
IL
M
N
cons
mark
N
take
M
IL
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
a__U22
tt
V1
a__U23
a__isNat
V1
a__U23
tt
tt
a__U31
tt
V
a__U32
a__isNatIListKind
V
V
a__U32
tt
V
a__U33
a__isNatList
V
a__U33
tt
tt
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
a__U45
tt
V2
a__U46
a__isNatIList
V2
a__U46
tt
tt
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U52
tt
tt
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U62
tt
tt
a__U71
tt
tt
a__U81
tt
tt
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__U95
tt
V2
a__U96
a__isNatList
V2
a__U96
tt
tt
a__isNat
0
tt
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__isNatIList
V
a__U31
a__isNatIListKind
V
V
a__isNatIList
zeros
tt
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
a__isNatIListKind
nil
tt
a__isNatIListKind
zeros
tt
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__isNatKind
0
tt
a__isNatKind
length
V1
a__U71
a__isNatIListKind
V1
a__isNatKind
s
V1
a__U81
a__isNatKind
V1
a__isNatList
nil
tt
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
a__isNatList
take
V1
V2
a__U101
a__isNatKind
V1
V1
V2
a__length
nil
0
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
a__take
0
IL
a__U121
a__isNatIList
IL
IL
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
mark
zeros
a__zeros
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
mark
isNatKind
X
a__isNatKind
X
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
mark
isNatIListKind
X
a__isNatIListKind
X
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
isNat
X
a__isNat
X
mark
U106
X
a__U106
mark
X
mark
isNatIList
X
a__isNatIList
X
mark
U11
X1
X2
a__U11
mark
X1
X2
mark
U12
X1
X2
a__U12
mark
X1
X2
mark
U111
X1
X2
X3
a__U111
mark
X1
X2
X3
mark
U112
X1
X2
X3
a__U112
mark
X1
X2
X3
mark
U113
X1
X2
X3
a__U113
mark
X1
X2
X3
mark
U114
X1
X2
a__U114
mark
X1
X2
mark
length
X
a__length
mark
X
mark
U13
X
a__U13
mark
X
mark
isNatList
X
a__isNatList
X
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
U122
X
a__U122
mark
X
mark
U131
X1
X2
X3
X4
a__U131
mark
X1
X2
X3
X4
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
mark
U133
X1
X2
X3
X4
a__U133
mark
X1
X2
X3
X4
mark
U134
X1
X2
X3
X4
a__U134
mark
X1
X2
X3
X4
mark
U135
X1
X2
X3
X4
a__U135
mark
X1
X2
X3
X4
mark
U136
X1
X2
X3
X4
a__U136
mark
X1
X2
X3
X4
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U22
X1
X2
a__U22
mark
X1
X2
mark
U23
X
a__U23
mark
X
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U32
X1
X2
a__U32
mark
X1
X2
mark
U33
X
a__U33
mark
X
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
mark
U45
X1
X2
a__U45
mark
X1
X2
mark
U46
X
a__U46
mark
X
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U52
X
a__U52
mark
X
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U62
X
a__U62
mark
X
mark
U71
X
a__U71
mark
X
mark
U81
X
a__U81
mark
X
mark
U91
X1
X2
X3
a__U91
mark
X1
X2
X3
mark
U92
X1
X2
X3
a__U92
mark
X1
X2
X3
mark
U93
X1
X2
X3
a__U93
mark
X1
X2
X3
mark
U94
X1
X2
X3
a__U94
mark
X1
X2
X3
mark
U95
X1
X2
a__U95
mark
X1
X2
mark
U96
X
a__U96
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
tt
tt
mark
s
X
s
mark
X
mark
nil
nil
a__zeros
zeros
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U102
X1
X2
X3
U102
X1
X2
X3
a__isNatKind
X
isNatKind
X
a__U103
X1
X2
X3
U103
X1
X2
X3
a__isNatIListKind
X
isNatIListKind
X
a__U104
X1
X2
X3
U104
X1
X2
X3
a__U105
X1
X2
U105
X1
X2
a__isNat
X
isNat
X
a__U106
X
U106
X
a__isNatIList
X
isNatIList
X
a__U11
X1
X2
U11
X1
X2
a__U12
X1
X2
U12
X1
X2
a__U111
X1
X2
X3
U111
X1
X2
X3
a__U112
X1
X2
X3
U112
X1
X2
X3
a__U113
X1
X2
X3
U113
X1
X2
X3
a__U114
X1
X2
U114
X1
X2
a__length
X
length
X
a__U13
X
U13
X
a__isNatList
X
isNatList
X
a__U121
X1
X2
U121
X1
X2
a__U122
X
U122
X
a__U131
X1
X2
X3
X4
U131
X1
X2
X3
X4
a__U132
X1
X2
X3
X4
U132
X1
X2
X3
X4
a__U133
X1
X2
X3
X4
U133
X1
X2
X3
X4
a__U134
X1
X2
X3
X4
U134
X1
X2
X3
X4
a__U135
X1
X2
X3
X4
U135
X1
X2
X3
X4
a__U136
X1
X2
X3
X4
U136
X1
X2
X3
X4
a__take
X1
X2
take
X1
X2
a__U21
X1
X2
U21
X1
X2
a__U22
X1
X2
U22
X1
X2
a__U23
X
U23
X
a__U31
X1
X2
U31
X1
X2
a__U32
X1
X2
U32
X1
X2
a__U33
X
U33
X
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U42
X1
X2
X3
U42
X1
X2
X3
a__U43
X1
X2
X3
U43
X1
X2
X3
a__U44
X1
X2
X3
U44
X1
X2
X3
a__U45
X1
X2
U45
X1
X2
a__U46
X
U46
X
a__U51
X1
X2
U51
X1
X2
a__U52
X
U52
X
a__U61
X1
X2
U61
X1
X2
a__U62
X
U62
X
a__U71
X
U71
X
a__U81
X
U81
X
a__U91
X1
X2
X3
U91
X1
X2
X3
a__U92
X1
X2
X3
U92
X1
X2
X3
a__U93
X1
X2
X3
U93
X1
X2
X3
a__U94
X1
X2
X3
U94
X1
X2
X3
a__U95
X1
X2
U95
X1
X2
a__U96
X
U96
X
2.2
a__U101
tt
V1
V2
a__isNatKind
V1
mark
U112
X1
X2
X3
mark
X1
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
U22
X1
X2
a__U22
mark
X1
X2
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
a__U12
tt
V1
a__U13
a__isNatList
V1
a__U135
tt
IL
M
N
a__isNatKind
N
a__isNatKind
length
V1
a__isNatIListKind
V1
mark
U71
X
mark
X
mark
U45
X1
X2
a__U45
mark
X1
X2
a__take
0
IL
a__U121
a__isNatIList
IL
IL
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
mark
U71
X
a__U71
mark
X
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__U121
tt
IL
a__isNatIListKind
IL
a__U114
tt
L
a__length
mark
L
a__U44
tt
V1
V2
a__isNat
V1
mark
U33
X
a__U33
mark
X
a__U95
tt
V2
a__U96
a__isNatList
V2
mark
U23
X
mark
X
mark
U81
X
a__U81
mark
X
mark
U111
X1
X2
X3
a__U111
mark
X1
X2
X3
a__U105
tt
V2
a__U106
a__isNatIList
V2
mark
U13
X
mark
X
a__U113
tt
L
N
a__isNatKind
N
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
mark
U81
X
mark
X
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
mark
U106
X
mark
X
a__U102
tt
V1
V2
a__U103
a__isNatIListKind
V2
V1
V2
mark
U62
X
mark
X
mark
U106
X
a__U106
mark
X
mark
U32
X1
X2
a__U32
mark
X1
X2
mark
U61
X1
X2
mark
X1
mark
U135
X1
X2
X3
X4
mark
X1
a__U121
tt
IL
a__U122
a__isNatIListKind
IL
mark
U94
X1
X2
X3
a__U94
mark
X1
X2
X3
mark
zeros
a__zeros
a__isNat
length
V1
a__isNatIListKind
V1
a__U136
tt
IL
M
N
mark
N
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
U45
X1
X2
mark
X1
mark
U121
X1
X2
mark
X1
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
a__U132
tt
IL
M
N
a__isNat
M
a__U133
tt
IL
M
N
a__isNatKind
M
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__isNatIList
V
a__U31
a__isNatIListKind
V
V
mark
U113
X1
X2
X3
mark
X1
a__U112
tt
L
N
a__isNat
N
a__isNatKind
s
V1
a__U81
a__isNatKind
V1
a__U12
tt
V1
a__isNatList
V1
mark
isNat
X
a__isNat
X
mark
U11
X1
X2
mark
X1
a__U104
tt
V1
V2
a__isNat
V1
mark
U131
X1
X2
X3
X4
a__U131
mark
X1
X2
X3
X4
mark
U93
X1
X2
X3
a__U93
mark
X1
X2
X3
a__take
s
M
cons
N
IL
a__isNatIList
IL
a__U51
tt
V2
a__isNatIListKind
V2
mark
U114
X1
X2
mark
X1
mark
U33
X
mark
X
a__U32
tt
V
a__U33
a__isNatList
V
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U52
X
a__U52
mark
X
mark
U44
X1
X2
X3
mark
X1
mark
U43
X1
X2
X3
mark
X1
mark
U113
X1
X2
X3
a__U113
mark
X1
X2
X3
mark
U21
X1
X2
mark
X1
a__U61
tt
V2
a__isNatIListKind
V2
mark
U134
X1
X2
X3
X4
mark
X1
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U134
tt
IL
M
N
a__isNat
N
a__U22
tt
V1
a__isNat
V1
a__isNatList
take
V1
V2
a__isNatKind
V1
mark
U136
X1
X2
X3
X4
a__U136
mark
X1
X2
X3
X4
a__isNatKind
length
V1
a__U71
a__isNatIListKind
V1
mark
U102
X1
X2
X3
mark
X1
a__U111
tt
L
N
a__isNatIListKind
L
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
mark
U133
X1
X2
X3
X4
a__U133
mark
X1
X2
X3
X4
a__U133
tt
IL
M
N
a__U134
a__isNatKind
M
IL
M
N
mark
U136
X1
X2
X3
X4
mark
X1
a__isNatKind
s
V1
a__isNatKind
V1
mark
U11
X1
X2
a__U11
mark
X1
X2
mark
U134
X1
X2
X3
X4
a__U134
mark
X1
X2
X3
X4
mark
isNatKind
X
a__isNatKind
X
mark
U62
X
a__U62
mark
X
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__isNatIListKind
take
V1
V2
a__isNatKind
V1
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
mark
U22
X1
X2
mark
X1
mark
U93
X1
X2
X3
mark
X1
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
mark
U91
X1
X2
X3
a__U91
mark
X1
X2
X3
mark
U122
X
mark
X
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
mark
U131
X1
X2
X3
X4
mark
X1
mark
U122
X
a__U122
mark
X
mark
take
X1
X2
mark
X2
a__U102
tt
V1
V2
a__isNatIListKind
V2
mark
U51
X1
X2
mark
X1
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
U95
X1
X2
mark
X1
a__U41
tt
V1
V2
a__isNatKind
V1
mark
s
X
mark
X
mark
length
X
mark
X
mark
U96
X
mark
X
mark
U114
X1
X2
a__U114
mark
X1
X2
a__U95
tt
V2
a__isNatList
V2
mark
U101
X1
X2
X3
mark
X1
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U46
X
a__U46
mark
X
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
mark
U23
X
a__U23
mark
X
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
mark
U41
X1
X2
X3
mark
X1
a__U42
tt
V1
V2
a__isNatIListKind
V2
a__U93
tt
V1
V2
a__isNatIListKind
V2
mark
U105
X1
X2
mark
X1
mark
U46
X
mark
X
a__U94
tt
V1
V2
a__isNat
V1
mark
U31
X1
X2
mark
X1
a__U91
tt
V1
V2
a__isNatKind
V1
a__U134
tt
IL
M
N
a__U135
a__isNat
N
IL
M
N
a__U31
tt
V
a__isNatIListKind
V
mark
U104
X1
X2
X3
mark
X1
mark
U32
X1
X2
mark
X1
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
a__U21
tt
V1
a__isNatKind
V1
mark
U95
X1
X2
a__U95
mark
X1
X2
a__isNatIList
V
a__isNatIListKind
V
a__U32
tt
V
a__isNatList
V
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U135
X1
X2
X3
X4
a__U135
mark
X1
X2
X3
X4
mark
cons
X1
X2
mark
X1
a__U45
tt
V2
a__isNatIList
V2
a__U131
tt
IL
M
N
a__isNatIListKind
IL
a__U103
tt
V1
V2
a__U104
a__isNatIListKind
V2
V1
V2
a__take
0
IL
a__isNatIList
IL
a__isNatIListKind
cons
V1
V2
a__isNatKind
V1
a__isNatList
take
V1
V2
a__U101
a__isNatKind
V1
V1
V2
mark
U13
X
a__U13
mark
X
mark
U92
X1
X2
X3
mark
X1
mark
U133
X1
X2
X3
X4
mark
X1
mark
take
X1
X2
mark
X1
mark
isNatIListKind
X
a__isNatIListKind
X
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U111
X1
X2
X3
mark
X1
mark
U42
X1
X2
X3
mark
X1
a__U135
tt
IL
M
N
a__U136
a__isNatKind
N
IL
M
N
mark
U132
X1
X2
X3
X4
mark
X1
mark
U96
X
a__U96
mark
X
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
mark
U91
X1
X2
X3
mark
X1
a__U114
tt
L
mark
L
mark
U112
X1
X2
X3
a__U112
mark
X1
X2
X3
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__isNatIList
cons
V1
V2
a__isNatKind
V1
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
mark
U103
X1
X2
X3
mark
X1
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
mark
U92
X1
X2
X3
a__U92
mark
X1
X2
X3
mark
isNatList
X
a__isNatList
X
mark
U94
X1
X2
X3
mark
X1
mark
U52
X
mark
X
a__U101
tt
V1
V2
a__U102
a__isNatKind
V1
V1
V2
a__length
cons
N
L
a__isNatList
L
a__isNat
s
V1
a__isNatKind
V1
a__U105
tt
V2
a__isNatIList
V2
a__U132
tt
IL
M
N
a__U133
a__isNat
M
IL
M
N
a__U131
tt
IL
M
N
a__U132
a__isNatIListKind
IL
IL
M
N
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
mark
length
X
a__length
mark
X
a__U31
tt
V
a__U32
a__isNatIListKind
V
V
a__U45
tt
V2
a__U46
a__isNatIList
V2
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
mark
isNatIList
X
a__isNatIList
X
a__U92
tt
V1
V2
a__isNatIListKind
V2
a__U104
tt
V1
V2
a__U105
a__isNat
V1
V2
a__U43
tt
V1
V2
a__isNatIListKind
V2
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
mark
U12
X1
X2
a__U12
mark
X1
X2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
a__U103
tt
V1
V2
a__isNatIListKind
V2
mark
U12
X1
X2
mark
X1
a__U22
tt
V1
a__U23
a__isNat
V1
a__isNatList
cons
V1
V2
a__isNatKind
V1
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__U11
tt
V1
a__isNatIListKind
V1
true
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
U131
X1
X2
X3
X4
mark
X1
mark
U122
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U93
X1
X2
X3
mark
X1
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
mark
U22
X1
X2
mark
X1
mark
U134
X1
X2
X3
X4
a__U134
mark
X1
X2
X3
X4
mark
U136
X1
X2
X3
X4
mark
X1
a__U133
tt
IL
M
N
a__U134
a__isNatKind
M
IL
M
N
mark
U133
X1
X2
X3
X4
a__U133
mark
X1
X2
X3
X4
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
mark
length
X
a__length
mark
X
a__U131
tt
IL
M
N
a__U132
a__isNatIListKind
IL
IL
M
N
mark
U102
X1
X2
X3
mark
X1
a__U132
tt
IL
M
N
a__U133
a__isNat
M
IL
M
N
mark
U136
X1
X2
X3
X4
a__U136
mark
X1
X2
X3
X4
mark
U52
X
mark
X
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
mark
U94
X1
X2
X3
mark
X1
mark
U134
X1
X2
X3
X4
mark
X1
mark
U43
X1
X2
X3
mark
X1
mark
U113
X1
X2
X3
a__U113
mark
X1
X2
X3
mark
U21
X1
X2
mark
X1
mark
U44
X1
X2
X3
mark
X1
mark
U103
X1
X2
X3
mark
X1
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
mark
U112
X1
X2
X3
a__U112
mark
X1
X2
X3
a__U114
tt
L
mark
L
mark
U33
X
mark
X
mark
U91
X1
X2
X3
mark
X1
mark
U114
X1
X2
mark
X1
mark
U132
X1
X2
X3
X4
mark
X1
mark
U42
X1
X2
X3
mark
X1
a__U135
tt
IL
M
N
a__U136
a__isNatKind
N
IL
M
N
mark
U131
X1
X2
X3
X4
a__U131
mark
X1
X2
X3
X4
mark
U111
X1
X2
X3
mark
X1
mark
U133
X1
X2
X3
X4
mark
X1
mark
take
X1
X2
mark
X1
mark
U11
X1
X2
mark
X1
mark
U92
X1
X2
X3
mark
X1
mark
U113
X1
X2
X3
mark
X1
mark
U121
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
mark
U45
X1
X2
mark
X1
mark
U135
X1
X2
X3
X4
a__U135
mark
X1
X2
X3
X4
a__U136
tt
IL
M
N
mark
N
mark
U135
X1
X2
X3
X4
mark
X1
mark
U61
X1
X2
mark
X1
mark
U32
X1
X2
mark
X1
mark
U62
X
mark
X
mark
U104
X1
X2
X3
mark
X1
mark
U106
X
mark
X
mark
U81
X
mark
X
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
a__U134
tt
IL
M
N
a__U135
a__isNat
N
IL
M
N
mark
U13
X
mark
X
mark
U31
X1
X2
mark
X1
mark
U111
X1
X2
X3
a__U111
mark
X1
X2
X3
mark
U46
X
mark
X
mark
U23
X
mark
X
mark
U105
X1
X2
mark
X1
mark
U41
X1
X2
X3
mark
X1
a__U114
tt
L
a__length
mark
L
mark
U101
X1
X2
X3
mark
X1
mark
U71
X
mark
X
mark
U114
X1
X2
a__U114
mark
X1
X2
mark
U96
X
mark
X
mark
length
X
mark
X
mark
s
X
mark
X
mark
U95
X1
X2
mark
X1
mark
U51
X1
X2
mark
X1
mark
U112
X1
X2
X3
mark
X1
mark
take
X1
X2
mark
X2
true
a__U94
3
0
a__isNatKind
1
0
isNatKind
1
24635
a__U131
4
1
2
4
56408
U21
2
1
0
a__U102
3
1
0
a__U45
2
1
0
isNatList
1
24635
a__U71
1
0
U11
2
1
0
a__U92
3
0
a__U104
3
1
0
U136
4
1
2
3
4
31775
a__U112
3
1
2
3
0
s
1
1
0
a__U133
4
4
56408
U105
2
1
0
a__U31
2
0
a__U132
4
1
2
3
4
31775
a__U33
1
0
a__U93
3
0
a__U114
2
1
2
8922
a__isNatIList
1
24635
a__U33
1
1
0
U106
1
1
0
a__isNatIListKind
1
0
a__U23
1
0
a__U95
2
1
0
U42
3
1
0
U91
3
1
0
a__isNat
1
0
a__U106
1
0
a__U136
4
4
24635
take
2
1
2
56410
U71
1
1
0
a__U62
1
1
0
a__U44
3
1
0
U131
4
1
2
3
4
31775
isNatIList
1
24635
U135
4
1
2
3
4
31775
U101
3
1
0
a__U43
3
0
U95
2
1
0
U111
3
1
2
3
8922
U132
4
1
2
3
4
31775
U43
3
1
0
a__U13
1
0
a__U121
2
1
12267
a__U135
4
4
24636
a__U44
3
0
U103
3
1
0
a__U111
3
1
2
3
8922
a__U103
3
0
U44
3
1
0
a__U46
1
0
a__U114
2
2
24635
a__U51
2
0
U23
1
1
0
a__U22
2
1
0
U93
3
1
0
a__U94
3
1
0
a__U106
1
1
0
a__U11
2
0
U94
3
1
0
zeros
0
1
a__U31
2
1
0
a__U51
2
1
0
a__U81
1
1
0
a__take
2
2
81043
U12
2
1
0
a__isNatList
1
24635
a__U43
3
1
0
a__U62
1
0
a__U136
4
1
2
3
4
31775
a__U42
3
0
a__U41
3
1
0
a__U134
4
1
2
3
4
31775
a__U122
1
0
a__U12
2
0
U104
3
1
0
a__U122
1
1
5037
a__U21
2
0
a__isNatIList
1
0
a__U81
1
0
a__U61
2
0
U113
3
1
2
3
8922
mark
1
1
24634
0
0
0
a__zeros
0
0
a__U113
3
2
3
24635
U134
4
1
2
3
4
31775
a__U21
2
1
0
a__U32
2
1
0
a__U91
3
1
0
a__U111
3
2
3
24635
nil
0
1
isNatIListKind
1
24635
U114
2
1
2
8922
U62
1
1
0
a__U52
1
0
a__U102
3
0
U45
2
1
0
mark
1
1
0
U133
4
1
2
3
4
31775
a__U101
3
0
a__U11
2
1
0
U32
2
1
0
a__U42
3
1
0
a__U93
3
1
0
U33
1
1
0
a__U45
2
0
a__U52
1
1
0
a__U96
1
0
a__U135
4
1
2
3
4
31775
a__length
1
1
24635
a__U105
2
0
a__U12
2
1
0
a__isNatIListKind
1
24635
a__U104
3
0
isNat
1
24635
U46
1
1
0
a__U121
2
0
U52
1
1
0
U61
2
1
0
a__U46
1
1
0
a__U22
2
0
a__U113
3
1
2
3
8922
U96
1
1
0
a__U13
1
1
0
U31
2
1
0
a__isNatList
1
0
a__U71
1
1
0
U92
3
1
0
U112
3
1
2
3
8922
cons
2
1
2
0
a__U92
3
1
0
a__U61
2
1
0
U102
3
1
0
a__U105
2
1
0
a__take
2
1
2
56410
U81
1
1
0
a__U95
2
0
a__U41
3
0
tt
0
24635
a__U131
4
1
2
3
4
31775
a__isNat
1
24635
U13
1
1
0
a__U133
4
1
2
3
4
31775
a__U23
1
1
0
a__U96
1
1
0
a__isNatKind
1
24635
a__U134
4
4
56407
U22
2
1
0
U51
2
1
0
a__U132
4
2
4
56409
a__U103
3
1
0
length
1
1
33557
a__U112
3
1
2
3
8922
U41
3
1
0
a__U32
2
0
a__zeros
0
1
a__U101
3
1
0
a__U91
3
0
U121
2
1
12267
a__length
1
1
33557
U122
1
1
5037
mark
U51
X1
X2
mark
X1
mark
U95
X1
X2
mark
X1
mark
s
X
mark
X
mark
U96
X
mark
X
mark
U71
X
mark
X
mark
U101
X1
X2
X3
mark
X1
a__U114
tt
L
a__length
mark
L
mark
U41
X1
X2
X3
mark
X1
mark
U105
X1
X2
mark
X1
mark
U23
X
mark
X
mark
U46
X
mark
X
mark
U31
X1
X2
mark
X1
mark
U13
X
mark
X
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
mark
U81
X
mark
X
mark
U106
X
mark
X
mark
U104
X1
X2
X3
mark
X1
mark
U62
X
mark
X
mark
U32
X1
X2
mark
X1
mark
U61
X1
X2
mark
X1
mark
U45
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
mark
U92
X1
X2
X3
mark
X1
mark
U11
X1
X2
mark
X1
mark
U42
X1
X2
X3
mark
X1
mark
U91
X1
X2
X3
mark
X1
mark
U33
X
mark
X
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
mark
U103
X1
X2
X3
mark
X1
mark
U44
X1
X2
X3
mark
X1
mark
U21
X1
X2
mark
X1
mark
U43
X1
X2
X3
mark
X1
mark
U94
X1
X2
X3
mark
X1
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
mark
U52
X
mark
X
mark
U102
X1
X2
X3
mark
X1
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
mark
U22
X1
X2
mark
X1
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
mark
U93
X1
X2
X3
mark
X1
mark
U12
X1
X2
mark
X1
a__U132
tt
IL
M
N
a__U133
a__isNat
M
IL
M
N
a__isNatIList
V
a__U31
a__isNatIListKind
V
V
mark
U111
X1
X2
X3
a__U111
mark
X1
X2
X3
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
a__U103
tt
V1
V2
a__U104
a__isNatIListKind
V2
V1
V2
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
a__U121
X1
X2
U121
X1
X2
a__U122
tt
nil
mark
0
0
a__U114
X1
X2
U114
X1
X2
a__U61
X1
X2
U61
X1
X2
a__U136
X1
X2
X3
X4
U136
X1
X2
X3
X4
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__U41
X1
X2
X3
U41
X1
X2
X3
a__isNatIListKind
zeros
tt
mark
nil
nil
a__U113
X1
X2
X3
U113
X1
X2
X3
a__zeros
cons
0
zeros
mark
isNatIList
X
a__isNatIList
X
a__U33
X
U33
X
a__U102
tt
V1
V2
a__U103
a__isNatIListKind
V2
V1
V2
a__U13
tt
tt
a__U135
tt
IL
M
N
a__U136
a__isNatKind
N
IL
M
N
a__U52
tt
tt
a__U104
X1
X2
X3
U104
X1
X2
X3
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
tt
tt
mark
U13
X
a__U13
mark
X
mark
U32
X1
X2
a__U32
mark
X1
X2
a__U31
tt
V
a__U32
a__isNatIListKind
V
V
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
a__isNatIList
X
isNatIList
X
a__length
nil
0
a__U95
X1
X2
U95
X1
X2
a__zeros
zeros
a__U13
X
U13
X
a__U133
tt
IL
M
N
a__U134
a__isNatKind
M
IL
M
N
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
a__U131
tt
IL
M
N
a__U132
a__isNatIListKind
IL
IL
M
N
a__U91
X1
X2
X3
U91
X1
X2
X3
mark
U94
X1
X2
X3
a__U94
mark
X1
X2
X3
a__isNatList
nil
tt
a__U134
X1
X2
X3
X4
U134
X1
X2
X3
X4
a__U42
X1
X2
X3
U42
X1
X2
X3
a__length
X
length
X
a__isNatList
X
isNatList
X
a__U12
X1
X2
U12
X1
X2
a__U32
tt
V
a__U33
a__isNatList
V
a__U31
X1
X2
U31
X1
X2
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
length
X
a__length
mark
X
a__U81
X
U81
X
a__U46
tt
tt
a__U62
X
U62
X
a__U102
X1
X2
X3
U102
X1
X2
X3
a__U136
tt
IL
M
N
cons
mark
N
take
M
IL
a__U33
tt
tt
a__U132
X1
X2
X3
X4
U132
X1
X2
X3
X4
a__take
0
IL
a__U121
a__isNatIList
IL
IL
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__U104
tt
V1
V2
a__U105
a__isNat
V1
V2
mark
cons
X1
X2
cons
mark
X1
X2
a__U43
X1
X2
X3
U43
X1
X2
X3
mark
isNatIListKind
X
a__isNatIListKind
X
a__U45
tt
V2
a__U46
a__isNatIList
V2
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
mark
U135
X1
X2
X3
X4
a__U135
mark
X1
X2
X3
X4
mark
U96
X
a__U96
mark
X
a__U94
X1
X2
X3
U94
X1
X2
X3
mark
U134
X1
X2
X3
X4
a__U134
mark
X1
X2
X3
X4
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
a__U11
X1
X2
U11
X1
X2
a__take
X1
X2
take
X1
X2
a__U71
tt
tt
a__U106
tt
tt
mark
U122
X
a__U122
mark
X
a__U93
X1
X2
X3
U93
X1
X2
X3
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U134
tt
IL
M
N
a__U135
a__isNat
N
IL
M
N
a__U103
X1
X2
X3
U103
X1
X2
X3
mark
U51
X1
X2
a__U51
mark
X1
X2
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__U23
tt
tt
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
a__isNatList
take
V1
V2
a__U101
a__isNatKind
V1
V1
V2
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U121
tt
IL
a__U122
a__isNatIListKind
IL
mark
U62
X
a__U62
mark
X
mark
U113
X1
X2
X3
a__U113
mark
X1
X2
X3
a__isNat
X
isNat
X
mark
U131
X1
X2
X3
X4
a__U131
mark
X1
X2
X3
X4
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
mark
U12
X1
X2
a__U12
mark
X1
X2
a__U45
X1
X2
U45
X1
X2
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__U114
tt
L
s
a__length
mark
L
mark
U33
X
a__U33
mark
X
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
mark
U21
X1
X2
a__U21
mark
X1
X2
a__U95
tt
V2
a__U96
a__isNatList
V2
mark
U11
X1
X2
a__U11
mark
X1
X2
mark
U95
X1
X2
a__U95
mark
X1
X2
mark
U112
X1
X2
X3
a__U112
mark
X1
X2
X3
a__isNatKind
X
isNatKind
X
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
mark
isNatKind
X
a__isNatKind
X
a__U106
X
U106
X
a__U22
tt
V1
a__U23
a__isNat
V1
mark
U136
X1
X2
X3
X4
a__U136
mark
X1
X2
X3
X4
mark
U52
X
a__U52
mark
X
a__U52
X
U52
X
mark
U106
X
a__U106
mark
X
a__isNatKind
0
tt
a__U23
X
U23
X
mark
U23
X
a__U23
mark
X
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
a__U12
tt
V1
a__U13
a__isNatList
V1
a__isNatIList
zeros
tt
mark
U46
X
a__U46
mark
X
a__U122
X
U122
X
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
a__U81
tt
tt
mark
zeros
a__zeros
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U105
X1
X2
U105
X1
X2
mark
U61
X1
X2
a__U61
mark
X1
X2
a__isNatKind
s
V1
a__U81
a__isNatKind
V1
a__U46
X
U46
X
a__U105
tt
V2
a__U106
a__isNatIList
V2
a__U22
X1
X2
U22
X1
X2
mark
U93
X1
X2
X3
a__U93
mark
X1
X2
X3
a__U21
X1
X2
U21
X1
X2
a__U135
X1
X2
X3
X4
U135
X1
X2
X3
X4
a__U62
tt
tt
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
a__U32
X1
X2
U32
X1
X2
mark
U81
X
a__U81
mark
X
a__U111
X1
X2
X3
U111
X1
X2
X3
a__isNatKind
length
V1
a__U71
a__isNatIListKind
V1
a__U71
X
U71
X
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
U71
X
a__U71
mark
X
mark
isNat
X
a__isNat
X
mark
s
X
s
mark
X
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__U112
X1
X2
X3
U112
X1
X2
X3
a__U131
X1
X2
X3
X4
U131
X1
X2
X3
X4
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
a__U92
X1
X2
X3
U92
X1
X2
X3
a__isNatIListKind
nil
tt
a__isNat
0
tt
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
mark
U133
X1
X2
X3
X4
a__U133
mark
X1
X2
X3
X4
mark
U22
X1
X2
a__U22
mark
X1
X2
a__U44
X1
X2
X3
U44
X1
X2
X3
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U91
X1
X2
X3
a__U91
mark
X1
X2
X3
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__U133
X1
X2
X3
X4
U133
X1
X2
X3
X4
mark
U92
X1
X2
X3
a__U92
mark
X1
X2
X3
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__U96
tt
tt
a__U96
X
U96
X
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
mark
U114
X1
X2
a__U114
mark
X1
X2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
mark
isNatList
X
a__isNatList
X
a__U101
tt
V1
V2
a__U102
a__isNatKind
V1
V1
V2
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
a__U114
tt
L
a__length
mark
L
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
true
2
1
a__U94
3
0
0
a__isNatKind
1
0
0
isNatKind
1
30422
30423
a__U131
4
0
0
U21
2
1
0
0
0
1
1
0
a__U102
3
1
0
0
0
1
0
1
a__U45
2
30422
1
isNatList
1
0
0
1
0
1
0
0
a__U71
1
0
0
U11
2
30423
0
a__U92
3
0
0
a__U104
3
30422
1
U136
4
1
0
0
0
2
1
0
0
0
3
1
0
0
0
4
104099
1
a__U112
3
1
1
0
1
2
30421
0
s
1
1
30422
0
a__U133
4
0
0
U105
2
30422
1
a__U31
2
0
0
a__U132
4
1
1
0
0
2
1
1
0
0
3
1
1
0
0
4
104099
104100
a__U33
1
0
0
a__U93
3
0
0
a__U114
2
1
1
0
0
2
68394
12839
a__isNatIList
1
1
1
1
0
1
30422
30422
a__U33
1
1
0
0
0
1
30422
1
U106
1
30422
1
a__isNatIListKind
1
0
0
a__U23
1
0
0
a__U95
2
30422
1
U42
3
1
1
0
0
1
1
1
1
1
3
0
0
U91
3
1
0
0
0
3
0
0
a__isNat
1
0
0
a__U106
1
0
0
a__U136
4
0
0
take
2
1
0
0
0
1
1
0
0
0
2
73677
30422
U71
1
30422
30423
a__U62
1
1
1
0
0
1
21120
1
a__U44
3
30422
1
U131
4
1
0
0
0
2
1
0
0
0
3
1
0
0
0
4
104099
1
isNatIList
1
1
0
1
0
1
30422
1
U135
4
1
0
0
0
2
1
0
0
0
3
1
0
0
0
4
104099
1
U101
3
1
0
0
0
1
0
0
a__U43
3
0
0
U95
2
30422
1
U111
3
1
0
0
0
1
1
1
0
0
2
37972
1
U132
4
1
0
0
0
2
1
0
0
0
3
1
0
0
0
4
104099
1
U43
3
1
1
0
0
1
11346
1
a__U13
1
0
0
a__U121
2
1
1
0
0
2
30422
30422
a__U135
4
0
0
a__U44
3
0
0
U103
3
30422
1
a__U111
3
1
0
0
0
1
1
1
0
0
2
37972
12839
a__U103
3
0
0
U44
3
30422
1
a__U46
1
0
0
a__U114
2
1
1
0
1
2
30419
0
a__U51
2
0
0
U23
1
30422
0
a__U22
2
1
0
0
0
1
1
0
U93
3
1
0
0
0
1
0
1
a__U94
3
30422
1
a__U106
1
30422
1
a__U11
2
0
0
U94
3
30422
1
zeros
0
30422
0
a__U31
2
1
1
1
0
2
30422
1
a__U51
2
1
1
0
0
2
0
0
a__U81
1
30422
1
a__take
2
0
0
U12
2
30423
0
a__isNatList
1
0
0
1
0
1
0
1
a__U43
3
1
1
0
0
1
11346
1
a__U62
1
0
0
a__U136
4
1
1
0
0
2
1
1
0
0
3
1
1
0
0
4
104099
104100
a__U42
3
0
0
a__U41
3
1
1
1
1
3
30422
30422
a__U134
4
1
1
0
0
2
1
1
0
0
3
1
1
0
0
4
104099
104100
a__U122
1
0
0
a__U12
2
0
0
U104
3
30422
1
a__U122
1
1
30422
30422
a__U21
2
0
0
a__isNatIList
1
0
0
a__U81
1
0
0
a__U61
2
0
0
U113
3
1
1
0
0
2
68394
1
mark
1
0
0
0
0
0
1
a__zeros
0
0
0
a__U113
3
1
1
0
1
2
30420
0
U134
4
1
0
0
0
2
1
0
0
0
3
1
0
0
0
4
104099
1
a__U21
2
1
0
0
0
1
1
0
a__U32
2
1
1
1
0
2
30422
1
a__U91
3
1
0
0
0
3
0
1
a__U111
3
1
0
0
0
1
1
1
0
1
2
0
0
nil
0
30422
30422
isNatIListKind
1
1
0
0
0
1
0
0
U114
2
1
1
0
0
2
68394
1
U62
1
1
0
0
0
1
21120
1
a__U52
1
0
0
a__U102
3
0
0
U45
2
30422
1
mark
1
1
1
0
0
1
0
1
U133
4
1
0
0
0
2
1
0
0
0
3
1
0
0
0
4
104099
1
a__U101
3
0
0
a__U11
2
30423
0
U32
2
1
1
1
0
2
30422
1
a__U42
3
1
1
0
0
1
1
1
1
1
3
0
0
a__U93
3
1
0
0
0
1
0
1
U33
1
1
0
0
0
1
30422
1
a__U45
2
0
0
a__U52
1
1
1
0
0
1
0
0
a__U96
1
0
0
a__U135
4
1
1
0
0
2
1
1
0
0
3
1
1
0
0
4
104099
104100
a__length
1
0
1
1
0
1
30417
0
a__U105
2
0
0
a__U12
2
30423
0
a__isNatIListKind
1
1
1
0
0
1
0
0
a__U104
3
0
0
isNat
1
0
0
1
0
1
30423
0
U46
1
30422
1
a__U121
2
0
0
U52
1
1
0
0
0
1
0
0
U61
2
1
1
0
0
1
1
0
0
0
2
43255
1
a__U46
1
30422
1
a__U22
2
0
0
a__U113
3
1
1
0
0
2
68394
12839
U96
1
30422
1
a__U13
1
30423
0
U31
2
1
1
1
0
2
30422
1
a__isNatList
1
0
0
a__U71
1
30422
30423
U92
3
1
0
0
0
3
0
1
U112
3
1
1
0
0
2
68394
1
cons
2
1
1
1
1
1
2
0
0
a__U92
3
1
0
0
0
3
0
1
a__U61
2
1
1
0
0
1
1
1
0
0
2
43255
1
U102
3
1
0
0
0
1
0
1
a__U105
2
30422
1
a__take
2
1
1
0
0
1
1
1
0
0
2
73677
73678
U81
1
30422
1
a__U95
2
0
0
a__U41
3
0
0
tt
0
30422
0
a__U131
4
1
1
0
0
2
1
1
0
0
3
1
1
0
0
4
104099
104100
a__isNat
1
0
0
1
0
1
30423
0
U13
1
30423
0
a__U133
4
1
1
0
0
2
1
1
0
0
3
1
1
0
0
4
104099
104100
a__U23
1
30422
0
a__U96
1
30422
1
a__isNatKind
1
30422
30423
a__U134
4
0
0
U22
2
1
0
0
0
1
1
0
U51
2
1
0
0
0
2
0
0
a__U132
4
0
0
a__U103
3
30422
1
length
1
1
1
0
0
1
37972
1
a__U112
3
1
1
0
0
2
68394
12839
U41
3
1
1
1
1
3
30422
1
a__U32
2
0
0
a__zeros
0
30422
30423
a__U101
3
1
0
0
0
1
0
1
a__U91
3
0
0
U121
2
1
0
0
0
2
30422
30422
a__length
1
1
1
0
0
1
37972
12839
U122
1
1
0
0
0
1
30422
1
a__U132
tt
IL
M
N
a__U133
a__isNat
M
IL
M
N
a__isNatIList
V
a__U31
a__isNatIListKind
V
V
mark
U111
X1
X2
X3
a__U111
mark
X1
X2
X3
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
a__U103
tt
V1
V2
a__U104
a__isNatIListKind
V2
V1
V2
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
a__U121
X1
X2
U121
X1
X2
a__U122
tt
nil
mark
0
0
a__U114
X1
X2
U114
X1
X2
a__U61
X1
X2
U61
X1
X2
a__U136
X1
X2
X3
X4
U136
X1
X2
X3
X4
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__U41
X1
X2
X3
U41
X1
X2
X3
a__isNatIListKind
zeros
tt
mark
nil
nil
a__U113
X1
X2
X3
U113
X1
X2
X3
a__zeros
cons
0
zeros
mark
isNatIList
X
a__isNatIList
X
a__U33
X
U33
X
a__U102
tt
V1
V2
a__U103
a__isNatIListKind
V2
V1
V2
a__U13
tt
tt
a__U135
tt
IL
M
N
a__U136
a__isNatKind
N
IL
M
N
a__U52
tt
tt
a__U104
X1
X2
X3
U104
X1
X2
X3
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
tt
tt
mark
U13
X
a__U13
mark
X
mark
U32
X1
X2
a__U32
mark
X1
X2
a__U31
tt
V
a__U32
a__isNatIListKind
V
V
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
a__isNatIList
X
isNatIList
X
a__length
nil
0
a__U95
X1
X2
U95
X1
X2
a__zeros
zeros
a__U13
X
U13
X
a__U133
tt
IL
M
N
a__U134
a__isNatKind
M
IL
M
N
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
a__U131
tt
IL
M
N
a__U132
a__isNatIListKind
IL
IL
M
N
a__U91
X1
X2
X3
U91
X1
X2
X3
mark
U94
X1
X2
X3
a__U94
mark
X1
X2
X3
a__isNatList
nil
tt
a__U134
X1
X2
X3
X4
U134
X1
X2
X3
X4
a__U42
X1
X2
X3
U42
X1
X2
X3
a__length
X
length
X
a__isNatList
X
isNatList
X
a__U12
X1
X2
U12
X1
X2
a__U32
tt
V
a__U33
a__isNatList
V
a__U31
X1
X2
U31
X1
X2
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
length
X
a__length
mark
X
a__U81
X
U81
X
a__U46
tt
tt
a__U62
X
U62
X
a__U102
X1
X2
X3
U102
X1
X2
X3
a__U136
tt
IL
M
N
cons
mark
N
take
M
IL
a__U33
tt
tt
a__U132
X1
X2
X3
X4
U132
X1
X2
X3
X4
a__take
0
IL
a__U121
a__isNatIList
IL
IL
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__U104
tt
V1
V2
a__U105
a__isNat
V1
V2
mark
cons
X1
X2
cons
mark
X1
X2
a__U43
X1
X2
X3
U43
X1
X2
X3
mark
isNatIListKind
X
a__isNatIListKind
X
a__U45
tt
V2
a__U46
a__isNatIList
V2
a__length
cons
N
L
a__U111
a__isNatList
L
L
N
mark
U135
X1
X2
X3
X4
a__U135
mark
X1
X2
X3
X4
mark
U96
X
a__U96
mark
X
a__U94
X1
X2
X3
U94
X1
X2
X3
mark
U134
X1
X2
X3
X4
a__U134
mark
X1
X2
X3
X4
a__U112
tt
L
N
a__U113
a__isNat
N
L
N
a__U11
X1
X2
U11
X1
X2
a__take
X1
X2
take
X1
X2
a__U71
tt
tt
a__U106
tt
tt
mark
U122
X
a__U122
mark
X
a__U93
X1
X2
X3
U93
X1
X2
X3
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U134
tt
IL
M
N
a__U135
a__isNat
N
IL
M
N
a__U103
X1
X2
X3
U103
X1
X2
X3
mark
U51
X1
X2
a__U51
mark
X1
X2
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__U23
tt
tt
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
a__isNatList
take
V1
V2
a__U101
a__isNatKind
V1
V1
V2
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U121
tt
IL
a__U122
a__isNatIListKind
IL
mark
U62
X
a__U62
mark
X
mark
U113
X1
X2
X3
a__U113
mark
X1
X2
X3
a__isNat
X
isNat
X
mark
U131
X1
X2
X3
X4
a__U131
mark
X1
X2
X3
X4
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
mark
U12
X1
X2
a__U12
mark
X1
X2
a__U45
X1
X2
U45
X1
X2
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__U114
tt
L
s
a__length
mark
L
mark
U33
X
a__U33
mark
X
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
mark
U21
X1
X2
a__U21
mark
X1
X2
a__U95
tt
V2
a__U96
a__isNatList
V2
mark
U11
X1
X2
a__U11
mark
X1
X2
mark
U95
X1
X2
a__U95
mark
X1
X2
mark
U112
X1
X2
X3
a__U112
mark
X1
X2
X3
a__isNatKind
X
isNatKind
X
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
mark
isNatKind
X
a__isNatKind
X
a__U106
X
U106
X
a__U22
tt
V1
a__U23
a__isNat
V1
mark
U136
X1
X2
X3
X4
a__U136
mark
X1
X2
X3
X4
mark
U52
X
a__U52
mark
X
a__U52
X
U52
X
mark
U106
X
a__U106
mark
X
a__isNatKind
0
tt
a__U23
X
U23
X
mark
U23
X
a__U23
mark
X
a__U113
tt
L
N
a__U114
a__isNatKind
N
L
a__U111
tt
L
N
a__U112
a__isNatIListKind
L
L
N
a__U12
tt
V1
a__U13
a__isNatList
V1
a__isNatIList
zeros
tt
mark
U46
X
a__U46
mark
X
a__U122
X
U122
X
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
a__U81
tt
tt
mark
zeros
a__zeros
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U105
X1
X2
U105
X1
X2
mark
U61
X1
X2
a__U61
mark
X1
X2
a__isNatKind
s
V1
a__U81
a__isNatKind
V1
a__U46
X
U46
X
a__U105
tt
V2
a__U106
a__isNatIList
V2
a__U22
X1
X2
U22
X1
X2
mark
U93
X1
X2
X3
a__U93
mark
X1
X2
X3
a__U21
X1
X2
U21
X1
X2
a__U135
X1
X2
X3
X4
U135
X1
X2
X3
X4
a__U62
tt
tt
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
a__U32
X1
X2
U32
X1
X2
mark
U81
X
a__U81
mark
X
a__U111
X1
X2
X3
U111
X1
X2
X3
a__isNatKind
length
V1
a__U71
a__isNatIListKind
V1
a__U71
X
U71
X
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
U71
X
a__U71
mark
X
mark
isNat
X
a__isNat
X
mark
s
X
s
mark
X
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__U112
X1
X2
X3
U112
X1
X2
X3
a__U131
X1
X2
X3
X4
U131
X1
X2
X3
X4
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
a__U92
X1
X2
X3
U92
X1
X2
X3
a__isNatIListKind
nil
tt
a__isNat
0
tt
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
mark
U133
X1
X2
X3
X4
a__U133
mark
X1
X2
X3
X4
mark
U22
X1
X2
a__U22
mark
X1
X2
a__U44
X1
X2
X3
U44
X1
X2
X3
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U91
X1
X2
X3
a__U91
mark
X1
X2
X3
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__U133
X1
X2
X3
X4
U133
X1
X2
X3
X4
mark
U92
X1
X2
X3
a__U92
mark
X1
X2
X3
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__U96
tt
tt
a__U96
X
U96
X
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
mark
U114
X1
X2
a__U114
mark
X1
X2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
mark
isNatList
X
a__isNatList
X
a__U101
tt
V1
V2
a__U102
a__isNatKind
V1
V1
V2
mark
U43
X1
X2
X3
mark
X1
mark
U42
X1
X2
X3
mark
X1
mark
U41
X1
X2
X3
mark
X1
mark
U101
X1
X2
X3
mark
X1
mark
U13
X
mark
X
mark
U32
X1
X2
mark
X1
mark
U44
X1
X2
X3
mark
X1
mark
U94
X1
X2
X3
mark
X1
mark
cons
X1
X2
mark
X1
mark
U96
X
mark
X
mark
U51
X1
X2
mark
X1
mark
U45
X1
X2
mark
X1
mark
U62
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U33
X
mark
X
mark
U102
X1
X2
X3
mark
X1
mark
U21
X1
X2
mark
X1
mark
U11
X1
X2
mark
X1
mark
U95
X1
X2
mark
X1
mark
U52
X
mark
X
mark
U106
X
mark
X
mark
U23
X
mark
X
mark
U46
X
mark
X
mark
U61
X1
X2
mark
X1
mark
U93
X1
X2
X3
mark
X1
mark
U81
X
mark
X
mark
U105
X1
X2
mark
X1
mark
U71
X
mark
X
mark
s
X
mark
X
mark
U103
X1
X2
X3
mark
X1
mark
U104
X1
X2
X3
mark
X1
mark
U22
X1
X2
mark
X1
mark
U31
X1
X2
mark
X1
mark
U91
X1
X2
X3
mark
X1
mark
U92
X1
X2
X3
mark
X1
true
a__U94
3
0
a__isNatKind
1
0
isNatKind
1
1
4
a__U131
4
56408
U21
2
1
5
a__U102
3
2
3
7
a__U45
2
1
2
32
isNatList
1
3
a__U71
1
0
U11
2
1
4
a__U92
3
0
a__U104
3
1
3
10
U136
4
1
4
31775
a__U112
3
2
s
1
1
8945
a__U133
4
56408
U105
2
1
24633
a__U31
2
0
a__U132
4
1
2
4
5
a__U33
1
0
a__U93
3
0
a__U114
2
2
8943
a__isNatIList
1
1
2
a__U33
1
8
U106
1
1
16
a__isNatIListKind
1
0
a__U23
1
0
a__U95
2
1
11
U42
3
1
25
U91
3
1
4
a__isNat
1
0
a__U106
1
0
a__U136
4
24635
take
2
1
2
56410
U71
1
1
3
a__U62
1
1
2
a__U44
3
2
33
U131
4
2
isNatIList
1
3
U135
4
1
3
13
U101
3
1
2
a__U43
3
0
U95
2
1
12
U111
3
1
2
8941
U132
4
3
31779
U43
3
1
2
28
a__U13
1
0
a__U121
2
1
1
a__U135
4
24636
a__U44
3
0
U103
3
1
2
3
7
a__U111
3
3
8940
a__U103
3
0
U44
3
1
3
34
a__U46
1
0
a__U114
2
1
a__U51
2
0
U23
1
1
10
a__U22
2
2
10
U93
3
1
3
6
a__U94
3
1
2
3
9
a__U106
1
1
15
a__U11
2
0
U94
3
1
10
zeros
0
0
a__U31
2
1
1
a__U51
2
2
3
a__U81
1
4
a__take
2
81043
U12
2
1
8
a__isNatList
1
2
a__U43
3
1
3
27
a__U62
1
0
a__U136
4
1
2
3
15
a__U42
3
0
a__U41
3
23
a__U134
4
1
2
3
4
10
a__U122
1
0
a__U12
2
0
U104
3
1
11
a__U122
1
7
a__U21
2
0
a__isNatIList
1
0
a__U81
1
0
a__U61
2
0
U113
3
2
8943
mark
1
1
24634
0
0
3481
a__zeros
0
0
a__U113
3
1
U134
4
1
11
a__U21
2
1
2
4
a__U32
2
2
7
a__U91
3
2
3
3
a__U111
3
0
nil
0
8
isNatIListKind
1
3
U114
2
1
8944
U62
1
1
3
a__U52
1
0
a__U102
3
0
U45
2
1
33
mark
1
1
U133
4
1
3
31778
a__U101
3
0
a__U11
2
1
2
3
U32
2
1
8
a__U42
3
2
24
a__U93
3
1
5
U33
1
1
9
a__U45
2
0
a__U52
1
4
a__U96
1
0
a__U135
4
1
4
12
a__length
1
1
a__U105
2
0
a__U12
2
1
2
7
a__isNatIListKind
1
2
a__U104
3
0
isNat
1
5
U46
1
1
3
a__U121
2
0
U52
1
1
5
U61
2
1
2
4
a__U46
1
2
a__U22
2
0
a__U113
3
3
8942
U96
1
1
18
a__U13
1
13
U31
2
1
2
a__isNatList
1
0
a__U71
1
1
2
U92
3
1
2
2
U112
3
1
2
3
8942
cons
2
1
20
a__U92
3
1
1
a__U61
2
3
U102
3
1
8
a__U105
2
16
a__take
2
2
U81
1
1
5
a__U95
2
0
a__U41
3
0
tt
0
5
a__U131
4
1
3
4
1
a__isNat
1
4
U13
1
1
14
a__U133
4
1
4
7
a__U23
1
1
9
a__U96
1
17
a__isNatKind
1
3
a__U134
4
56407
U22
2
1
11
U51
2
1
4
a__U132
4
56409
a__U103
3
1
6
length
1
3473
a__U112
3
8941
U41
3
1
2
3
24
a__U32
2
0
a__zeros
0
2
a__U101
3
1
2
3
1
a__U91
3
0
U121
2
1
2
12267
a__length
1
1
3472
U122
1
8
mark
U132
X1
X2
X3
X4
a__U132
mark
X1
X2
X3
X4
false
a__take
s
M
cons
N
IL
a__U131
a__isNatIList
IL
IL
M
N
false
mark
isNatList
X
a__isNatList
X
false
mark
U92
X1
X2
X3
a__U92
mark
X1
X2
X3
false
a__take
s
M
cons
N
IL
a__isNatIList
IL
false
a__take
0
IL
a__U121
a__isNatIList
IL
IL
false
a__take
0
IL
a__isNatIList
IL
false
mark
U91
X1
X2
X3
a__U91
mark
X1
X2
X3
false
mark
U31
X1
X2
a__U31
mark
X1
X2
false
mark
U22
X1
X2
a__U22
mark
X1
X2
false
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
false
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
false
mark
isNat
X
a__isNat
X
false
mark
U71
X
a__U71
mark
X
false
mark
U105
X1
X2
a__U105
mark
X1
X2
false
mark
U81
X
a__U81
mark
X
false
mark
U93
X1
X2
X3
a__U93
mark
X1
X2
X3
false
mark
U61
X1
X2
a__U61
mark
X1
X2
false
mark
zeros
a__zeros
false
mark
U46
X
a__U46
mark
X
false
mark
U23
X
a__U23
mark
X
false
mark
U106
X
a__U106
mark
X
false
mark
U52
X
a__U52
mark
X
false
mark
isNatKind
X
a__isNatKind
X
false
mark
U95
X1
X2
a__U95
mark
X1
X2
false
mark
U11
X1
X2
a__U11
mark
X1
X2
false
mark
U21
X1
X2
a__U21
mark
X1
X2
false
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
false
mark
U33
X
a__U33
mark
X
false
mark
U12
X1
X2
a__U12
mark
X1
X2
false
a__U133
tt
IL
M
N
a__isNatKind
M
false
a__U132
tt
IL
M
N
a__isNat
M
false
a__U131
tt
IL
M
N
a__isNatIListKind
IL
false
mark
U62
X
a__U62
mark
X
false
mark
U45
X1
X2
a__U45
mark
X1
X2
false
mark
U51
X1
X2
a__U51
mark
X1
X2
false
mark
U122
X
a__U122
mark
X
false
a__U134
tt
IL
M
N
a__isNat
N
false
mark
U96
X
a__U96
mark
X
false
a__U135
tt
IL
M
N
a__isNatKind
N
false
mark
isNatIListKind
X
a__isNatIListKind
X
false
a__length
cons
N
L
a__isNatList
L
false
mark
U121
X1
X2
a__U121
mark
X1
X2
false
a__U121
tt
IL
a__U122
a__isNatIListKind
IL
false
a__U121
tt
IL
a__isNatIListKind
IL
false
mark
U94
X1
X2
X3
a__U94
mark
X1
X2
X3
false
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
false
mark
U32
X1
X2
a__U32
mark
X1
X2
false
mark
U13
X
a__U13
mark
X
false
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
false
mark
isNatIList
X
a__isNatIList
X
false
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
false
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
false
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
false
a__U113
tt
L
N
a__isNatKind
N
false
a__U112
tt
L
N
a__isNat
N
false
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__U104
tt
V1
V2
a__U105
a__isNat
V1
V2
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__U31
tt
V
a__U32
a__isNatIListKind
V
V
a__U105
tt
V2
a__isNatIList
V2
a__U22
tt
V1
a__isNat
V1
a__U101
tt
V1
V2
a__U102
a__isNatKind
V1
V1
V2
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__U104
tt
V1
V2
a__isNat
V1
a__U12
tt
V1
a__isNatList
V1
a__isNatList
take
V1
V2
a__U101
a__isNatKind
V1
V1
V2
a__isNatIList
V
a__U31
a__isNatIListKind
V
V
a__U103
tt
V1
V2
a__U104
a__isNatIListKind
V2
V1
V2
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
a__U45
tt
V2
a__isNatIList
V2
a__U32
tt
V
a__isNatList
V
a__U102
tt
V1
V2
a__U103
a__isNatIListKind
V2
V1
V2
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__U94
tt
V1
V2
a__isNat
V1
a__U44
tt
V1
V2
a__isNat
V1
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
a__U95
tt
V2
a__isNatList
V2
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
true
a__U94
3
1
2
3
0
a__isNatKind
1
0
isNatKind
1
4271
a__U131
4
56408
U21
2
1
4257
a__U102
3
1
2
3
8502
a__U45
2
1
2
4262
isNatList
1
8506
a__U71
1
0
U11
2
2
4257
a__U92
3
2
3
8512
a__U104
3
2
8509
U136
4
4
8519
a__U112
3
2
s
1
1
0
a__U133
4
56408
U105
2
1
8511
a__U31
2
2
8514
a__U132
4
1
2
3
2
a__U33
1
0
a__U93
3
2
3
8512
a__U114
2
1
2
4246
a__isNatIList
1
1
4255
a__U33
1
8514
U106
1
8512
a__isNatIListKind
1
0
a__U23
1
0
a__U95
2
2
8510
U42
3
1
8515
U91
3
1
3
8507
a__isNat
1
1
8512
a__U106
1
0
a__U136
4
24635
take
2
1
2
4265
U71
1
2
a__U62
1
8512
a__U44
3
3
8516
U131
4
4
2
isNatIList
1
4256
U135
4
2
8518
U101
3
2
12772
a__U43
3
2
3
8515
U95
2
8511
U111
3
2
U132
4
1
3
U43
3
2
4
a__U13
1
0
a__U121
2
2
4256
a__U135
4
24636
a__U44
3
2
3
8515
U103
3
2
17016
a__U111
3
1
2
3
1
a__U103
3
2
3
8518
U44
3
1
8517
a__U46
1
0
a__U114
2
1
a__U51
2
0
U23
1
1
8512
a__U22
2
2
4257
U93
3
8509
a__U94
3
2
3
8509
a__U106
1
8511
a__U11
2
2
8512
U94
3
3
8510
zeros
0
4256
a__U31
2
4256
a__U51
2
8512
a__U81
1
8511
a__take
2
81043
U12
2
1
2
4258
a__isNatList
1
1
8505
a__U43
3
1
2
3
a__U62
1
0
a__U136
4
2
8518
a__U42
3
2
3
8515
a__U41
3
1
1
a__U134
4
2
4
8516
a__U122
1
0
a__U12
2
2
8512
U104
3
8510
a__U122
1
4257
a__U21
2
2
8512
a__isNatIList
1
1
8515
a__U81
1
0
a__U61
2
0
U113
3
2
8516
mark
1
24634
0
0
4255
a__zeros
0
0
a__U113
3
1
U134
4
1
8517
a__U21
2
4256
a__U32
2
1
2
1
a__U91
3
8506
a__U111
3
0
nil
0
4258
isNatIListKind
1
1
U114
2
0
U62
1
8512
a__U52
1
0
a__U102
3
2
3
8519
U45
2
4263
mark
1
4254
U133
4
2
3
8516
a__U101
3
2
3
8520
a__U11
2
4256
U32
2
1
17
a__U42
3
2
8514
a__U93
3
3
8508
U33
1
8515
a__U45
2
2
8515
a__U52
1
8512
a__U96
1
0
a__U135
4
3
4
8517
a__length
1
1
a__U105
2
2
8516
a__U12
2
2
4257
a__isNatIListKind
1
8512
a__U104
3
1
2
3
5
isNat
1
1
4256
U46
1
1
4256
a__U121
2
0
U52
1
8512
U61
2
8512
a__U46
1
4255
a__U22
2
2
8512
a__U113
3
3
8515
U96
1
1
8512
a__U13
1
4258
U31
2
1
4257
a__isNatList
1
1
8512
a__U71
1
1
1
U92
3
1
2
8508
U112
3
2
8515
cons
2
1
2
0
a__U92
3
3
8507
a__U61
2
8512
U102
3
1
8503
a__U105
2
2
8510
a__take
2
4255
U81
1
8512
a__U95
2
2
8512
a__U41
3
2
3
8515
tt
0
8512
a__U131
4
1
2
4
1
a__isNat
1
4255
U13
1
4259
a__U133
4
4
8515
a__U23
1
8511
a__U96
1
8511
a__isNatKind
1
4270
a__U134
4
56407
U22
2
2
4258
U51
2
8512
a__U132
4
56409
a__U103
3
3
17015
length
1
1
0
a__U112
3
2
8514
U41
3
1
2
a__U32
2
2
8513
a__zeros
0
4255
a__U101
3
2
3
12771
a__U91
3
2
3
8512
U121
2
1
12267
a__length
1
1
8505
U122
1
1
4258
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
a__U95
tt
V2
a__isNatList
V2
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
a__U94
tt
V1
V2
a__isNat
V1
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__U45
tt
V2
a__isNatIList
V2
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
a__U12
tt
V1
a__isNatList
V1
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
a__U22
tt
V1
a__isNat
V1
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
a__U61
X1
X2
U61
X1
X2
a__isNatIListKind
zeros
tt
a__U52
tt
tt
a__U62
X
U62
X
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__U52
X
U52
X
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U62
tt
tt
a__isNatIListKind
nil
tt
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U44
tt
V1
V2
a__U45
a__isNat
V1
V2
a__U45
tt
V2
a__isNatIList
V2
a__isNatIList
cons
V1
V2
a__U41
a__isNatKind
V1
V1
V2
a__U42
tt
V1
V2
a__U43
a__isNatIListKind
V2
V1
V2
a__U43
tt
V1
V2
a__U44
a__isNatIListKind
V2
V1
V2
a__U41
tt
V1
V2
a__U42
a__isNatKind
V1
V1
V2
true
a__U94
3
1
0
a__isNatKind
1
0
isNatKind
1
55
a__U131
4
56408
U21
2
1
54
a__U102
3
1
2
3
4249
a__U45
2
1
2
4261
isNatList
1
44
a__U71
1
0
U11
2
2
54
a__U92
3
8512
a__U104
3
2
27
U136
4
4
62
a__U112
3
2
s
1
1
0
a__U133
4
56408
U105
2
1
29
a__U31
2
8514
a__U132
4
1
2
3
1
a__U33
1
0
a__U93
3
8512
a__U114
2
1
2
6
a__isNatIList
1
1
27
a__U33
1
58
U106
1
30
a__isNatIListKind
1
0
a__U23
1
0
a__U95
2
2
54
U42
3
1
59
U91
3
1
3
51
a__isNat
1
8512
a__U106
1
0
a__U136
4
24635
take
2
1
2
4258
U71
1
2
a__U62
1
56
a__U44
3
3
59
U131
4
4
2
isNatIList
1
28
U135
4
2
61
U101
3
2
4303
a__U43
3
3
8513
U95
2
55
U111
3
2
U132
4
1
2
U43
3
2
3
a__U13
1
0
a__U121
2
2
28
a__U135
4
24636
a__U44
3
3
8512
U103
3
2
4307
a__U111
3
1
2
3
1
a__U103
3
8518
U44
3
1
60
a__U46
1
0
a__U114
2
1
a__U51
2
0
U23
1
1
56
a__U22
2
2
54
U93
3
53
a__U94
3
2
3
53
a__U106
1
29
a__U11
2
8512
U94
3
3
54
zeros
0
28
a__U31
2
28
a__U51
2
56
a__U81
1
55
a__take
2
81043
U12
2
1
2
55
a__isNatList
1
1
43
a__U43
3
1
2
2
a__U62
1
0
a__U136
4
2
61
a__U42
3
3
8514
a__U41
3
1
1
a__U134
4
2
4
59
a__U122
1
0
a__U12
2
8512
U104
3
28
a__U122
1
29
a__U21
2
8512
a__isNatIList
1
1
8510
a__U81
1
0
a__U61
2
0
U113
3
2
8537
mark
1
24634
0
0
35
a__zeros
0
0
a__U113
3
1
U134
4
1
60
a__U21
2
53
a__U32
2
1
2
1
a__U91
3
50
a__U111
3
0
nil
0
30
isNatIListKind
1
1
U114
2
0
U62
1
1
a__U52
1
0
a__U102
3
8519
U45
2
4262
mark
1
26
U133
4
2
3
59
a__U101
3
8520
a__U11
2
53
U32
2
1
17
a__U42
3
2
58
a__U93
3
3
52
U33
1
59
a__U45
2
2
8511
a__U52
1
56
a__U96
1
0
a__U135
4
3
4
60
a__length
1
1
a__U105
2
8516
a__U12
2
2
54
a__isNatIListKind
1
57
a__U104
3
1
5
isNat
1
1
53
U46
1
1
28
a__U121
2
0
U52
1
1
U61
2
1
a__U46
1
27
a__U22
2
8512
a__U113
3
3
59
U96
1
1
56
a__U13
1
55
U31
2
1
29
a__isNatList
1
8512
a__U71
1
1
1
U92
3
1
2
52
U112
3
2
59
cons
2
1
2
6
a__U92
3
3
51
a__U61
2
57
U102
3
1
4250
a__U105
2
2
28
a__take
2
27
U81
1
56
a__U95
2
8512
a__U41
3
3
8515
tt
0
56
a__U131
4
1
2
4
1
a__isNat
1
52
U13
1
56
a__U133
4
4
58
a__U23
1
55
a__U96
1
55
a__isNatKind
1
54
a__U134
4
56407
U22
2
2
55
U51
2
56
a__U132
4
56409
a__U103
3
3
4306
length
1
1
0
a__U112
3
2
58
U41
3
1
2
a__U32
2
8513
a__zeros
0
27
a__U101
3
2
3
4302
a__U91
3
8512
U121
2
1
12267
a__length
1
1
37
U122
1
1
30
a__U61
X1
X2
U61
X1
X2
a__isNatIListKind
zeros
tt
a__U52
tt
tt
a__U62
X
U62
X
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__U52
X
U52
X
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U62
tt
tt
a__isNatIListKind
nil
tt
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U11
tt
V1
a__U12
a__isNatIListKind
V1
V1
a__U94
tt
V1
V2
a__isNat
V1
a__U94
tt
V1
V2
a__U95
a__isNat
V1
V2
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__U95
tt
V2
a__isNatList
V2
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
a__U22
tt
V1
a__isNat
V1
a__U12
tt
V1
a__isNatList
V1
a__isNatList
cons
V1
V2
a__U91
a__isNatKind
V1
V1
V2
a__isNat
length
V1
a__U11
a__isNatIListKind
V1
V1
a__U91
tt
V1
V2
a__U92
a__isNatKind
V1
V1
V2
a__U92
tt
V1
V2
a__U93
a__isNatIListKind
V2
V1
V2
a__U93
tt
V1
V2
a__U94
a__isNatIListKind
V2
V1
V2
true
a__U94
3
1
2
3
8457
a__isNatKind
1
0
isNatKind
1
55
a__U131
4
56408
U21
2
1
48
a__U102
3
1
2
3
34
a__U45
2
1
2
4261
isNatList
1
44
a__U71
1
0
U11
2
2
54
a__U92
3
2
3
8515
a__U104
3
2
27
U136
4
4
75
a__U112
3
2
s
1
1
0
a__U133
4
56408
U105
2
1
29
a__U31
2
8514
a__U132
4
1
2
3
2
a__U33
1
0
a__U93
3
2
3
8514
a__U114
2
1
2
6
a__isNatIList
1
1
27
a__U33
1
58
U106
1
30
a__isNatIListKind
1
0
a__U23
1
0
a__U95
2
2
54
U42
3
1
59
U91
3
1
3
51
a__isNat
1
1
8512
a__U106
1
0
a__U136
4
24635
take
2
1
2
43
U71
1
2
a__U62
1
56
a__U44
3
3
60
U131
4
4
2
isNatIList
1
28
U135
4
2
74
U101
3
2
88
a__U43
3
8513
U95
2
55
U111
3
2
U132
4
1
3
U43
3
2
4
a__U13
1
0
a__U121
2
2
28
a__U135
4
24636
a__U44
3
8512
U103
3
2
92
a__U111
3
1
2
3
1
a__U103
3
8518
U44
3
1
61
a__U46
1
0
a__U114
2
1
a__U51
2
0
U23
1
1
50
a__U22
2
2
48
U93
3
53
a__U94
3
2
3
53
a__U106
1
29
a__U11
2
2
8513
U94
3
3
54
zeros
0
28
a__U31
2
28
a__U51
2
56
a__U81
1
55
a__take
2
81043
U12
2
1
2
55
a__isNatList
1
1
43
a__U43
3
1
2
3
a__U62
1
0
a__U136
4
2
74
a__U42
3
8514
a__U41
3
1
1
a__U134
4
2
4
72
a__U122
1
0
a__U12
2
2
8512
U104
3
28
a__U122
1
29
a__U21
2
2
8512
a__isNatIList
1
8510
a__U81
1
0
a__U61
2
0
U113
3
2
8537
mark
1
24634
0
0
31
a__zeros
0
0
a__U113
3
1
U134
4
1
73
a__U21
2
47
a__U32
2
1
2
1
a__U91
3
50
a__U111
3
0
nil
0
30
isNatIListKind
1
1
U114
2
0
U62
1
1
a__U52
1
0
a__U102
3
8519
U45
2
4262
mark
1
26
U133
4
2
3
60
a__U101
3
8520
a__U11
2
53
U32
2
1
17
a__U42
3
2
58
a__U93
3
3
52
U33
1
59
a__U45
2
8511
a__U52
1
56
a__U96
1
0
a__U135
4
3
4
73
a__length
1
1
a__U105
2
8516
a__U12
2
2
54
a__isNatIListKind
1
56
a__U104
3
1
5
isNat
1
1
47
U46
1
1
56
a__U121
2
0
U52
1
1
U61
2
56
a__U46
1
55
a__U22
2
2
8512
a__U113
3
3
59
U96
1
1
56
a__U13
1
55
U31
2
1
29
a__isNatList
1
1
8511
a__U71
1
1
1
U92
3
1
2
52
U112
3
2
59
cons
2
1
2
6
a__U92
3
3
51
a__U61
2
56
U102
3
1
4250
a__U105
2
2
28
a__take
2
27
U81
1
56
a__U95
2
2
8512
a__U41
3
8515
tt
0
56
a__U131
4
1
2
4
1
a__isNat
1
46
U13
1
56
a__U133
4
4
59
a__U23
1
49
a__U96
1
55
a__isNatKind
1
54
a__U134
4
56407
U22
2
2
49
U51
2
1
a__U132
4
56409
a__U103
3
3
91
length
1
1
2
a__U112
3
2
58
U41
3
1
2
a__U32
2
8513
a__zeros
0
27
a__U101
3
2
3
87
a__U91
3
2
3
8516
U121
2
1
12267
a__length
1
1
37
U122
1
1
30
a__U22
tt
V1
a__isNat
V1
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__U61
X1
X2
U61
X1
X2
a__isNatIListKind
zeros
tt
a__U52
tt
tt
a__U62
X
U62
X
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__U52
X
U52
X
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U62
tt
tt
a__isNatIListKind
nil
tt
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__isNat
s
V1
a__U21
a__isNatKind
V1
V1
a__U21
tt
V1
a__U22
a__isNatKind
V1
V1
a__U22
tt
V1
a__isNat
V1
true
a__U94
3
1
8457
a__isNatKind
1
0
isNatKind
1
1
7
a__U131
4
56408
U21
2
1
2
6
a__U102
3
1
2
3
187
a__U45
2
1
2
4261
isNatList
1
1
1
a__U71
1
0
U11
2
1
2
6
a__U92
3
8515
a__U104
3
2
0
U136
4
3
4
4
a__U112
3
2
s
1
1
3
a__U133
4
56408
U105
2
1
2
2
a__U31
2
8514
a__U132
4
1
2
3
0
a__U33
1
0
a__U93
3
8514
a__U114
2
1
2
53853
a__isNatIList
1
1
4
a__U33
1
58
U106
1
8
a__isNatIListKind
1
0
a__U23
1
0
a__U95
2
2
6
U42
3
1
2
10
U91
3
1
3
21
a__isNat
1
1
8510
a__U106
1
0
a__U136
4
24635
take
2
1
2
24
U71
1
17985
a__U62
1
8
a__U44
3
3
9
U131
4
2
26
isNatIList
1
1
U135
4
2
4
12
U101
3
2
3
193
a__U43
3
8513
U95
2
1
7
U111
3
3
53840
U132
4
1
2
63
U43
3
2
20424
a__U13
1
0
a__U121
2
2
93
a__U135
4
24636
a__U44
3
8512
U103
3
2
201
a__U111
3
1
2
3
53841
a__U103
3
8518
U44
3
1
3
6
a__U46
1
0
a__U114
2
1
a__U51
2
0
U23
1
1
8
a__U22
2
2
6
U93
3
10258
a__U94
3
2
3
5
a__U106
1
7
a__U11
2
8513
U94
3
1
3
1
zeros
0
3
a__U31
2
5
a__U51
2
8
a__U81
1
7
a__take
2
81043
U12
2
1
2
51
a__isNatList
1
1
18
a__U43
3
1
2
0
a__U62
1
0
a__U136
4
2
12
a__U42
3
8514
a__U41
3
1
2
0
a__U134
4
2
4
10
a__U122
1
0
a__U12
2
8512
U104
3
2
22549
a__U122
1
94
a__U21
2
2
8512
a__isNatIList
1
8510
a__U81
1
0
a__U61
2
0
U113
3
2
28216
mark
1
24634
0
0
4
a__zeros
0
0
a__U113
3
1
U134
4
1
4
11
a__U21
2
5
a__U32
2
1
2
0
a__U91
3
20
a__U111
3
0
nil
0
95
isNatIListKind
1
10
U114
2
10780
U62
1
5
a__U52
1
0
a__U102
3
8519
U45
2
4262
mark
1
1
2
U133
4
2
3
4
10
a__U101
3
8520
a__U11
2
5
U32
2
24132
a__U42
3
2
9
a__U93
3
1
3
0
U33
1
59
a__U45
2
8511
a__U52
1
8
a__U96
1
0
a__U135
4
3
4
11
a__length
1
1
a__U105
2
8516
a__U12
2
2
6
a__isNatIListKind
1
34
a__U104
3
1
5
isNat
1
1
2
U46
1
1
9259
a__U121
2
0
U52
1
4
U61
2
8
a__U46
1
0
a__U22
2
2
8511
a__U113
3
1
3
53850
U96
1
1
8
a__U13
1
7
U31
2
1
6
a__isNatList
1
8511
a__U71
1
1
0
U92
3
2
16
U112
3
2
53851
cons
2
1
2
1
a__U92
3
1
3
15
a__U61
2
34
U102
3
1
188
a__U105
2
2
1
a__take
2
1
25
U81
1
8
a__U95
2
8512
a__U41
3
8515
tt
0
8
a__U131
4
1
2
4
25
a__isNat
1
1
1
U13
1
52
a__U133
4
4
9
a__U23
1
7
a__U96
1
7
a__isNatKind
1
6
a__U134
4
56407
U22
2
2
7
U51
2
2
a__U132
4
56409
a__U103
3
3
196
length
1
1
3
a__U112
3
2
53850
U41
3
2
26863
a__U32
2
8513
a__zeros
0
7
a__U101
3
2
3
192
a__U91
3
8516
U121
2
1
94
a__length
1
1
53857
U122
1
1
20
a__U61
X1
X2
U61
X1
X2
a__isNatIListKind
zeros
tt
a__U52
tt
tt
a__U62
X
U62
X
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__U52
X
U52
X
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U62
tt
tt
a__isNatIListKind
nil
tt
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U22
tt
V1
a__U23
a__isNat
V1
false
a__U12
tt
V1
a__U13
a__isNatList
V1
false
a__U105
tt
V2
a__U106
a__isNatIList
V2
false
a__U45
tt
V2
a__U46
a__isNatIList
V2
false
a__U43
tt
V1
V2
a__isNatIListKind
V2
false
a__U42
tt
V1
V2
a__isNatIListKind
V2
false
a__U41
tt
V1
V2
a__isNatKind
V1
false
a__isNatIList
cons
V1
V2
a__isNatKind
V1
false
a__U32
tt
V
a__U33
a__isNatList
V
false
a__U95
tt
V2
a__U96
a__isNatList
V2
false
a__U93
tt
V1
V2
a__isNatIListKind
V2
false
a__U92
tt
V1
V2
a__isNatIListKind
V2
false
a__U91
tt
V1
V2
a__isNatKind
V1
false
a__isNatList
cons
V1
V2
a__isNatKind
V1
false
a__U31
tt
V
a__isNatIListKind
V
false
a__isNatIList
V
a__isNatIListKind
V
false
a__U103
tt
V1
V2
a__isNatIListKind
V2
false
a__U102
tt
V1
V2
a__isNatIListKind
V2
false
a__U101
tt
V1
V2
a__isNatKind
V1
false
a__isNatList
take
V1
V2
a__isNatKind
V1
false
a__U11
tt
V1
a__isNatIListKind
V1
false
a__isNat
length
V1
a__isNatIListKind
V1
false
a__U21
tt
V1
a__isNatKind
V1
false
a__isNat
s
V1
a__isNatKind
V1
false
a__U111
tt
L
N
a__isNatIListKind
L
false
a__isNatIListKind
take
V1
V2
a__isNatKind
V1
a__isNatKind
s
V1
a__isNatKind
V1
a__U61
tt
V2
a__isNatIListKind
V2
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__U51
tt
V2
a__isNatIListKind
V2
a__isNatIListKind
cons
V1
V2
a__isNatKind
V1
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__isNatKind
length
V1
a__isNatIListKind
V1
true
a__U94
3
1
8457
a__isNatKind
1
1
0
isNatKind
1
1
9
a__U131
4
56408
U21
2
1
2
10
a__U102
3
1
2
3
40
a__U45
2
1
2
4261
isNatList
1
1
22
a__U71
1
0
U11
2
1
2
4
a__U92
3
8515
a__U104
3
2
0
U136
4
3
4
1
a__U112
3
2
s
1
1
2
a__U133
4
56408
U105
2
1
2
2
a__U31
2
8514
a__U132
4
1
2
3
0
a__U33
1
0
a__U93
3
8514
a__U114
2
1
2
27055
a__isNatIList
1
1
8
a__U33
1
58
U106
1
3
a__isNatIListKind
1
1
0
a__U23
1
0
a__U95
2
2
5
U42
3
1
2
16
U91
3
1
3
30
a__isNat
1
8510
a__U106
1
0
a__U136
4
24635
take
2
1
2
21
U71
1
6710
a__U62
1
10
a__U44
3
3
472
U131
4
2
18
isNatIList
1
3
U135
4
2
4
15
U101
3
2
3
48
a__U43
3
8513
U95
2
1
28720
U111
3
3
27040
U132
4
1
2
63
U43
3
2
20424
a__U13
1
0
a__U121
2
2
25
a__U135
4
24636
a__U44
3
8512
U103
3
2
52
a__U111
3
1
2
3
27041
a__U103
3
8518
U44
3
1
3
469
a__U46
1
0
a__U114
2
1
a__U51
2
2
2
U23
1
1
9721
a__U22
2
2
8
U93
3
10258
a__U94
3
2
3
4
a__U106
1
2
a__U11
2
8513
U94
3
1
3
1
zeros
0
1
a__U31
2
9
a__U51
2
10
a__U81
1
9
a__take
2
81043
U12
2
1
2
49
a__isNatList
1
1
25
a__U43
3
1
2
0
a__U62
1
0
a__U136
4
2
25
a__U42
3
8514
a__U41
3
1
2
4
a__U134
4
2
4
14
a__U122
1
0
a__U12
2
8512
U104
3
2
27772
a__U122
1
94
a__U21
2
8512
a__isNatIList
1
8510
a__U81
1
0
a__U61
2
2
1
U113
3
2
7109
mark
1
24634
0
0
2
a__zeros
0
0
a__U113
3
1
U134
4
1
4
15
a__U21
2
7
a__U32
2
1
2
0
a__U91
3
29
a__U111
3
0
nil
0
95
isNatIListKind
1
10
U114
2
3044
U62
1
5
a__U52
1
0
a__U102
3
8519
U45
2
4262
mark
1
1
2
U133
4
2
3
4
12
a__U101
3
8520
a__U11
2
3
U32
2
24132
a__U42
3
2
15
a__U93
3
1
3
0
U33
1
59
a__U45
2
8511
a__U52
1
10
a__U96
1
0
a__U135
4
1
3
4
14
a__length
1
1
a__U105
2
8516
a__U12
2
2
4
a__isNatIListKind
1
34
a__U104
3
1
5
isNat
1
1
22560
U46
1
1
1
a__U121
2
0
U52
1
5
U61
2
1
a__U46
1
0
a__U22
2
8511
a__U113
3
1
3
27052
U96
1
1
31698
a__U13
1
5
U31
2
1
10
a__isNatList
1
8511
a__U71
1
1
0
U92
3
2
23
U112
3
2
27053
cons
2
1
2
3
a__U92
3
1
3
22
a__U61
2
34
U102
3
1
41
a__U105
2
2
1
a__take
2
1
22
U81
1
20449
a__U95
2
8512
a__U41
3
8515
tt
0
10
a__U131
4
1
2
4
17
a__isNat
1
1
1
U13
1
50
a__U133
4
4
11
a__U23
1
9
a__U96
1
6
a__isNatKind
1
8
a__U134
4
56407
U22
2
2
9
U51
2
2
a__U132
4
56409
a__U103
3
3
51
length
1
1
1
a__U112
3
2
27052
U41
3
2
26867
a__U32
2
8513
a__zeros
0
4
a__U101
3
2
3
47
a__U91
3
8516
U121
2
1
26
a__length
1
1
27062
U122
1
1
20
a__U61
X1
X2
U61
X1
X2
a__isNatIListKind
zeros
tt
a__U52
tt
tt
a__U62
X
U62
X
a__U51
X1
X2
U51
X1
X2
a__isNatIListKind
X
isNatIListKind
X
a__isNatIListKind
take
V1
V2
a__U61
a__isNatKind
V1
V2
a__U52
X
U52
X
a__isNatIListKind
cons
V1
V2
a__U51
a__isNatKind
V1
V2
a__U62
tt
tt
a__isNatIListKind
nil
tt
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
a__U61
tt
V2
a__U62
a__isNatIListKind
V2
false
a__U51
tt
V2
a__U52
a__isNatIListKind
V2
false
a__isNatKind
length
V1
a__U71
a__isNatIListKind
V1
false
a__isNatKind
s
V1
a__U81
a__isNatKind
V1
false
NaTT
certifiable-1.6