a__U11
tt
N
XS
a__U12
tt
N
XS
a__U12
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U21
tt
X
a__U22
tt
X
a__U22
tt
X
mark
X
a__U31
tt
N
a__U32
tt
N
a__U32
tt
N
mark
N
a__U41
tt
N
XS
a__U42
tt
N
XS
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U51
tt
Y
a__U52
tt
Y
a__U52
tt
Y
mark
Y
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
a__U64
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U71
tt
XS
a__U72
tt
XS
a__U72
tt
XS
mark
XS
a__U81
tt
N
XS
a__U82
tt
N
XS
a__U82
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__afterNth
N
XS
a__U11
tt
N
XS
a__fst
pair
X
Y
a__U21
tt
X
a__head
cons
N
XS
a__U31
tt
N
a__natsFrom
N
cons
mark
N
natsFrom
s
N
a__sel
N
XS
a__U41
tt
N
XS
a__snd
pair
X
Y
a__U51
tt
Y
a__splitAt
0
XS
pair
nil
mark
XS
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
a__tail
cons
N
XS
a__U71
tt
XS
a__take
N
XS
a__U81
tt
N
XS
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
snd
X
a__snd
mark
X
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U22
X1
X2
a__U22
mark
X1
X2
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U32
X1
X2
a__U32
mark
X1
X2
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
head
X
a__head
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
U61
X1
X2
X3
X4
a__U61
mark
X1
X2
X3
X4
mark
U62
X1
X2
X3
X4
a__U62
mark
X1
X2
X3
X4
mark
U63
X1
X2
X3
X4
a__U63
mark
X1
X2
X3
X4
mark
U64
X1
X2
a__U64
mark
X1
X2
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
mark
fst
X
a__fst
mark
X
mark
natsFrom
X
a__natsFrom
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
tail
X
a__tail
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
tt
tt
mark
pair
X1
X2
pair
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
0
0
mark
nil
nil
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
a__snd
X
snd
X
a__splitAt
X1
X2
splitAt
X1
X2
a__U21
X1
X2
U21
X1
X2
a__U22
X1
X2
U22
X1
X2
a__U31
X1
X2
U31
X1
X2
a__U32
X1
X2
U32
X1
X2
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U42
X1
X2
X3
U42
X1
X2
X3
a__head
X
head
X
a__afterNth
X1
X2
afterNth
X1
X2
a__U51
X1
X2
U51
X1
X2
a__U52
X1
X2
U52
X1
X2
a__U61
X1
X2
X3
X4
U61
X1
X2
X3
X4
a__U62
X1
X2
X3
X4
U62
X1
X2
X3
X4
a__U63
X1
X2
X3
X4
U63
X1
X2
X3
X4
a__U64
X1
X2
U64
X1
X2
a__U71
X1
X2
U71
X1
X2
a__U72
X1
X2
U72
X1
X2
a__U81
X1
X2
X3
U81
X1
X2
X3
a__U82
X1
X2
X3
U82
X1
X2
X3
a__fst
X
fst
X
a__natsFrom
X
natsFrom
X
a__sel
X1
X2
sel
X1
X2
a__tail
X
tail
X
a__take
X1
X2
take
X1
X2
a__U11
3
tt
0
a__U12
3
a__snd
1
a__splitAt
2
mark
1
a__U21
2
a__U22
2
a__U31
2
a__U32
2
a__U41
3
a__U42
3
a__head
1
a__afterNth
2
a__U51
2
a__U52
2
a__U61
4
a__U62
4
a__U63
4
a__U64
2
pair
2
cons
2
a__U71
2
a__U72
2
a__U81
3
a__U82
3
a__fst
1
a__natsFrom
1
natsFrom
1
s
1
a__sel
2
0
0
nil
0
a__tail
1
a__take
2
U11
3
U12
3
snd
1
splitAt
2
U21
2
U22
2
U31
2
U32
2
U41
3
U42
3
head
1
afterNth
2
U51
2
U52
2
U61
4
U62
4
U63
4
U64
2
U71
2
U72
2
U81
3
U82
3
fst
1
sel
2
tail
1
take
2
INNERMOST
./TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs