a__U101
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__U11
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U21
tt
X
mark
X
a__U31
tt
N
mark
N
a__U41
tt
N
cons
mark
N
natsFrom
s
N
a__U51
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U61
tt
Y
mark
Y
a__U71
tt
XS
pair
nil
mark
XS
a__U81
tt
N
X
XS
a__U82
a__splitAt
mark
N
mark
XS
X
a__U82
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U91
tt
XS
mark
XS
a__afterNth
N
XS
a__U11
a__and
a__isNatural
N
isLNat
XS
N
XS
a__and
tt
X
mark
X
a__fst
pair
X
Y
a__U21
a__and
a__isLNat
X
isLNat
Y
X
a__head
cons
N
XS
a__U31
a__and
a__isNatural
N
isLNat
XS
N
a__isLNat
nil
tt
a__isLNat
afterNth
V1
V2
a__and
a__isNatural
V1
isLNat
V2
a__isLNat
cons
V1
V2
a__and
a__isNatural
V1
isLNat
V2
a__isLNat
fst
V1
a__isPLNat
V1
a__isLNat
natsFrom
V1
a__isNatural
V1
a__isLNat
snd
V1
a__isPLNat
V1
a__isLNat
tail
V1
a__isLNat
V1
a__isLNat
take
V1
V2
a__and
a__isNatural
V1
isLNat
V2
a__isNatural
0
tt
a__isNatural
head
V1
a__isLNat
V1
a__isNatural
s
V1
a__isNatural
V1
a__isNatural
sel
V1
V2
a__and
a__isNatural
V1
isLNat
V2
a__isPLNat
pair
V1
V2
a__and
a__isLNat
V1
isLNat
V2
a__isPLNat
splitAt
V1
V2
a__and
a__isNatural
V1
isLNat
V2
a__natsFrom
N
a__U41
a__isNatural
N
N
a__sel
N
XS
a__U51
a__and
a__isNatural
N
isLNat
XS
N
XS
a__snd
pair
X
Y
a__U61
a__and
a__isLNat
X
isLNat
Y
Y
a__splitAt
0
XS
a__U71
a__isLNat
XS
XS
a__splitAt
s
N
cons
X
XS
a__U81
a__and
a__isNatural
N
and
isNatural
X
isLNat
XS
N
X
XS
a__tail
cons
N
XS
a__U91
a__and
a__isNatural
N
isLNat
XS
XS
a__take
N
XS
a__U101
a__and
a__isNatural
N
isLNat
XS
N
XS
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
fst
X
a__fst
mark
X
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
snd
X
a__snd
mark
X
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U41
X1
X2
a__U41
mark
X1
X2
mark
natsFrom
X
a__natsFrom
mark
X
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
mark
head
X
a__head
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U81
X1
X2
X3
X4
a__U81
mark
X1
X2
X3
X4
mark
U82
X1
X2
a__U82
mark
X1
X2
mark
U91
X1
X2
a__U91
mark
X1
X2
mark
and
X1
X2
a__and
mark
X1
X2
mark
isNatural
X
a__isNatural
X
mark
isLNat
X
a__isLNat
X
mark
isPLNat
X
a__isPLNat
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__fst
X
fst
X
a__splitAt
X1
X2
splitAt
X1
X2
a__U11
X1
X2
X3
U11
X1
X2
X3
a__snd
X
snd
X
a__U21
X1
X2
U21
X1
X2
a__U31
X1
X2
U31
X1
X2
a__U41
X1
X2
U41
X1
X2
a__natsFrom
X
natsFrom
X
a__U51
X1
X2
X3
U51
X1
X2
X3
a__head
X
head
X
a__afterNth
X1
X2
afterNth
X1
X2
a__U61
X1
X2
U61
X1
X2
a__U71
X1
X2
U71
X1
X2
a__U81
X1
X2
X3
X4
U81
X1
X2
X3
X4
a__U82
X1
X2
U82
X1
X2
a__U91
X1
X2
U91
X1
X2
a__and
X1
X2
and
X1
X2
a__isNatural
X
isNatural
X
a__isLNat
X
isLNat
X
a__isPLNat
X
isPLNat
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__fst
1
a__splitAt
2
mark
1
a__U11
3
a__snd
1
a__U21
2
a__U31
2
a__U41
2
cons
2
natsFrom
1
s
1
a__U51
3
a__head
1
a__afterNth
2
a__U61
2
a__U71
2
pair
2
nil
0
a__U81
4
a__U82
2
a__U91
2
a__and
2
a__isNatural
1
isLNat
1
a__isLNat
1
afterNth
2
fst
1
a__isPLNat
1
snd
1
tail
1
take
2
0
0
head
1
sel
2
splitAt
2
a__natsFrom
1
a__sel
2
and
2
isNatural
1
a__tail
1
a__take
2
U101
3
U11
3
U21
2
U31
2
U41
2
U51
3
U61
2
U71
2
U81
4
U82
2
U91
2
isPLNat
1
INNERMOST
./TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs