a__U101
tt
V1
V2
a__U102
a__isNatural
V1
V2
a__U102
tt
V2
a__U103
a__isLNat
V2
a__U103
tt
tt
a__U11
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U111
tt
V1
a__U112
a__isLNat
V1
a__U112
tt
tt
a__U121
tt
V1
a__U122
a__isNatural
V1
a__U122
tt
tt
a__U131
tt
V1
V2
a__U132
a__isNatural
V1
V2
a__U132
tt
V2
a__U133
a__isLNat
V2
a__U133
tt
tt
a__U141
tt
V1
V2
a__U142
a__isLNat
V1
V2
a__U142
tt
V2
a__U143
a__isLNat
V2
a__U143
tt
tt
a__U151
tt
V1
V2
a__U152
a__isNatural
V1
V2
a__U152
tt
V2
a__U153
a__isLNat
V2
a__U153
tt
tt
a__U161
tt
N
cons
mark
N
natsFrom
s
N
a__U171
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U181
tt
Y
mark
Y
a__U191
tt
XS
pair
nil
mark
XS
a__U201
tt
N
X
XS
a__U202
a__splitAt
mark
N
mark
XS
X
a__U202
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U21
tt
X
mark
X
a__U211
tt
XS
mark
XS
a__U221
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__U31
tt
N
mark
N
a__U41
tt
V1
V2
a__U42
a__isNatural
V1
V2
a__U42
tt
V2
a__U43
a__isLNat
V2
a__U43
tt
tt
a__U51
tt
V1
V2
a__U52
a__isNatural
V1
V2
a__U52
tt
V2
a__U53
a__isLNat
V2
a__U53
tt
tt
a__U61
tt
V1
a__U62
a__isPLNat
V1
a__U62
tt
tt
a__U71
tt
V1
a__U72
a__isNatural
V1
a__U72
tt
tt
a__U81
tt
V1
a__U82
a__isPLNat
V1
a__U82
tt
tt
a__U91
tt
V1
a__U92
a__isLNat
V1
a__U92
tt
tt
a__afterNth
N
XS
a__U11
a__and
a__and
a__isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
XS
a__and
tt
X
mark
X
a__fst
pair
X
Y
a__U21
a__and
a__and
a__isLNat
X
isLNatKind
X
and
isLNat
Y
isLNatKind
Y
X
a__head
cons
N
XS
a__U31
a__and
a__and
a__isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
a__isLNat
nil
tt
a__isLNat
afterNth
V1
V2
a__U41
a__and
a__isNaturalKind
V1
isLNatKind
V2
V1
V2
a__isLNat
cons
V1
V2
a__U51
a__and
a__isNaturalKind
V1
isLNatKind
V2
V1
V2
a__isLNat
fst
V1
a__U61
a__isPLNatKind
V1
V1
a__isLNat
natsFrom
V1
a__U71
a__isNaturalKind
V1
V1
a__isLNat
snd
V1
a__U81
a__isPLNatKind
V1
V1
a__isLNat
tail
V1
a__U91
a__isLNatKind
V1
V1
a__isLNat
take
V1
V2
a__U101
a__and
a__isNaturalKind
V1
isLNatKind
V2
V1
V2
a__isLNatKind
nil
tt
a__isLNatKind
afterNth
V1
V2
a__and
a__isNaturalKind
V1
isLNatKind
V2
a__isLNatKind
cons
V1
V2
a__and
a__isNaturalKind
V1
isLNatKind
V2
a__isLNatKind
fst
V1
a__isPLNatKind
V1
a__isLNatKind
natsFrom
V1
a__isNaturalKind
V1
a__isLNatKind
snd
V1
a__isPLNatKind
V1
a__isLNatKind
tail
V1
a__isLNatKind
V1
a__isLNatKind
take
V1
V2
a__and
a__isNaturalKind
V1
isLNatKind
V2
a__isNatural
0
tt
a__isNatural
head
V1
a__U111
a__isLNatKind
V1
V1
a__isNatural
s
V1
a__U121
a__isNaturalKind
V1
V1
a__isNatural
sel
V1
V2
a__U131
a__and
a__isNaturalKind
V1
isLNatKind
V2
V1
V2
a__isNaturalKind
0
tt
a__isNaturalKind
head
V1
a__isLNatKind
V1
a__isNaturalKind
s
V1
a__isNaturalKind
V1
a__isNaturalKind
sel
V1
V2
a__and
a__isNaturalKind
V1
isLNatKind
V2
a__isPLNat
pair
V1
V2
a__U141
a__and
a__isLNatKind
V1
isLNatKind
V2
V1
V2
a__isPLNat
splitAt
V1
V2
a__U151
a__and
a__isNaturalKind
V1
isLNatKind
V2
V1
V2
a__isPLNatKind
pair
V1
V2
a__and
a__isLNatKind
V1
isLNatKind
V2
a__isPLNatKind
splitAt
V1
V2
a__and
a__isNaturalKind
V1
isLNatKind
V2
a__natsFrom
N
a__U161
a__and
a__isNatural
N
isNaturalKind
N
N
a__sel
N
XS
a__U171
a__and
a__and
a__isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
XS
a__snd
pair
X
Y
a__U181
a__and
a__and
a__isLNat
X
isLNatKind
X
and
isLNat
Y
isLNatKind
Y
Y
a__splitAt
0
XS
a__U191
a__and
a__isLNat
XS
isLNatKind
XS
XS
a__splitAt
s
N
cons
X
XS
a__U201
a__and
a__and
a__isNatural
N
isNaturalKind
N
and
and
isNatural
X
isNaturalKind
X
and
isLNat
XS
isLNatKind
XS
N
X
XS
a__tail
cons
N
XS
a__U211
a__and
a__and
a__isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
XS
a__take
N
XS
a__U221
a__and
a__and
a__isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
XS
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
U102
X1
X2
a__U102
mark
X1
X2
mark
isNatural
X
a__isNatural
X
mark
U103
X
a__U103
mark
X
mark
isLNat
X
a__isLNat
X
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
snd
X
a__snd
mark
X
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U111
X1
X2
a__U111
mark
X1
X2
mark
U112
X
a__U112
mark
X
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
U122
X
a__U122
mark
X
mark
U131
X1
X2
X3
a__U131
mark
X1
X2
X3
mark
U132
X1
X2
a__U132
mark
X1
X2
mark
U133
X
a__U133
mark
X
mark
U141
X1
X2
X3
a__U141
mark
X1
X2
X3
mark
U142
X1
X2
a__U142
mark
X1
X2
mark
U143
X
a__U143
mark
X
mark
U151
X1
X2
X3
a__U151
mark
X1
X2
X3
mark
U152
X1
X2
a__U152
mark
X1
X2
mark
U153
X
a__U153
mark
X
mark
U161
X1
X2
a__U161
mark
X1
X2
mark
natsFrom
X
a__natsFrom
mark
X
mark
U171
X1
X2
X3
a__U171
mark
X1
X2
X3
mark
head
X
a__head
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U181
X1
X2
a__U181
mark
X1
X2
mark
U191
X1
X2
a__U191
mark
X1
X2
mark
U201
X1
X2
X3
X4
a__U201
mark
X1
X2
X3
X4
mark
U202
X1
X2
a__U202
mark
X1
X2
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U211
X1
X2
a__U211
mark
X1
X2
mark
U221
X1
X2
X3
a__U221
mark
X1
X2
X3
mark
fst
X
a__fst
mark
X
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U42
X1
X2
a__U42
mark
X1
X2
mark
U43
X
a__U43
mark
X
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
U53
X
a__U53
mark
X
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U62
X
a__U62
mark
X
mark
isPLNat
X
a__isPLNat
X
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U72
X
a__U72
mark
X
mark
U81
X1
X2
a__U81
mark
X1
X2
mark
U82
X
a__U82
mark
X
mark
U91
X1
X2
a__U91
mark
X1
X2
mark
U92
X
a__U92
mark
X
mark
and
X1
X2
a__and
mark
X1
X2
mark
isNaturalKind
X
a__isNaturalKind
X
mark
isLNatKind
X
a__isLNatKind
X
mark
isPLNatKind
X
a__isPLNatKind
X
mark
tail
X
a__tail
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
tt
tt
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
pair
X1
X2
pair
mark
X1
mark
X2
mark
nil
nil
mark
0
0
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U102
X1
X2
U102
X1
X2
a__isNatural
X
isNatural
X
a__U103
X
U103
X
a__isLNat
X
isLNat
X
a__U11
X1
X2
X3
U11
X1
X2
X3
a__snd
X
snd
X
a__splitAt
X1
X2
splitAt
X1
X2
a__U111
X1
X2
U111
X1
X2
a__U112
X
U112
X
a__U121
X1
X2
U121
X1
X2
a__U122
X
U122
X
a__U131
X1
X2
X3
U131
X1
X2
X3
a__U132
X1
X2
U132
X1
X2
a__U133
X
U133
X
a__U141
X1
X2
X3
U141
X1
X2
X3
a__U142
X1
X2
U142
X1
X2
a__U143
X
U143
X
a__U151
X1
X2
X3
U151
X1
X2
X3
a__U152
X1
X2
U152
X1
X2
a__U153
X
U153
X
a__U161
X1
X2
U161
X1
X2
a__natsFrom
X
natsFrom
X
a__U171
X1
X2
X3
U171
X1
X2
X3
a__head
X
head
X
a__afterNth
X1
X2
afterNth
X1
X2
a__U181
X1
X2
U181
X1
X2
a__U191
X1
X2
U191
X1
X2
a__U201
X1
X2
X3
X4
U201
X1
X2
X3
X4
a__U202
X1
X2
U202
X1
X2
a__U21
X1
X2
U21
X1
X2
a__U211
X1
X2
U211
X1
X2
a__U221
X1
X2
X3
U221
X1
X2
X3
a__fst
X
fst
X
a__U31
X1
X2
U31
X1
X2
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U42
X1
X2
U42
X1
X2
a__U43
X
U43
X
a__U51
X1
X2
X3
U51
X1
X2
X3
a__U52
X1
X2
U52
X1
X2
a__U53
X
U53
X
a__U61
X1
X2
U61
X1
X2
a__U62
X
U62
X
a__isPLNat
X
isPLNat
X
a__U71
X1
X2
U71
X1
X2
a__U72
X
U72
X
a__U81
X1
X2
U81
X1
X2
a__U82
X
U82
X
a__U91
X1
X2
U91
X1
X2
a__U92
X
U92
X
a__and
X1
X2
and
X1
X2
a__isNaturalKind
X
isNaturalKind
X
a__isLNatKind
X
isLNatKind
X
a__isPLNatKind
X
isPLNatKind
X
a__tail
X
tail
X
a__take
X1
X2
take
X1
X2
a__sel
X1
X2
sel
X1
X2
a__U101
3
tt
0
a__U102
2
a__isNatural
1
a__U103
1
a__isLNat
1
a__U11
3
a__snd
1
a__splitAt
2
mark
1
a__U111
2
a__U112
1
a__U121
2
a__U122
1
a__U131
3
a__U132
2
a__U133
1
a__U141
3
a__U142
2
a__U143
1
a__U151
3
a__U152
2
a__U153
1
a__U161
2
cons
2
natsFrom
1
s
1
a__U171
3
a__head
1
a__afterNth
2
a__U181
2
a__U191
2
pair
2
nil
0
a__U201
4
a__U202
2
a__U21
2
a__U211
2
a__U221
3
a__fst
1
a__U31
2
a__U41
3
a__U42
2
a__U43
1
a__U51
3
a__U52
2
a__U53
1
a__U61
2
a__U62
1
a__isPLNat
1
a__U71
2
a__U72
1
a__U81
2
a__U82
1
a__U91
2
a__U92
1
a__and
2
isNaturalKind
1
and
2
isLNat
1
isLNatKind
1
afterNth
2
a__isNaturalKind
1
fst
1
a__isPLNatKind
1
snd
1
tail
1
a__isLNatKind
1
take
2
0
0
head
1
sel
2
splitAt
2
a__natsFrom
1
a__sel
2
isNatural
1
a__tail
1
a__take
2
U101
3
U102
2
U103
1
U11
3
U111
2
U112
1
U121
2
U122
1
U131
3
U132
2
U133
1
U141
3
U142
2
U143
1
U151
3
U152
2
U153
1
U161
2
U171
3
U181
2
U191
2
U201
4
U202
2
U21
2
U211
2
U221
3
U31
2
U41
3
U42
2
U43
1
U51
3
U52
2
U53
1
U61
2
U62
1
isPLNat
1
U71
2
U72
1
U81
2
U82
1
U91
2
U92
1
isPLNatKind
1
INNERMOST
./TRS/TRCSR/LISTUTILITIES_complete_GM.trs