active
U11
tt
N
XS
mark
U12
tt
N
XS
active
U12
tt
N
XS
mark
snd
splitAt
N
XS
active
U21
tt
X
mark
U22
tt
X
active
U22
tt
X
mark
X
active
U31
tt
N
mark
U32
tt
N
active
U32
tt
N
mark
N
active
U41
tt
N
XS
mark
U42
tt
N
XS
active
U42
tt
N
XS
mark
head
afterNth
N
XS
active
U51
tt
Y
mark
U52
tt
Y
active
U52
tt
Y
mark
Y
active
U61
tt
N
X
XS
mark
U62
tt
N
X
XS
active
U62
tt
N
X
XS
mark
U63
tt
N
X
XS
active
U63
tt
N
X
XS
mark
U64
splitAt
N
XS
X
active
U64
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
U71
tt
XS
mark
U72
tt
XS
active
U72
tt
XS
mark
XS
active
U81
tt
N
XS
mark
U82
tt
N
XS
active
U82
tt
N
XS
mark
fst
splitAt
N
XS
active
afterNth
N
XS
mark
U11
tt
N
XS
active
fst
pair
X
Y
mark
U21
tt
X
active
head
cons
N
XS
mark
U31
tt
N
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
sel
N
XS
mark
U41
tt
N
XS
active
snd
pair
X
Y
mark
U51
tt
Y
active
splitAt
0
XS
mark
pair
nil
XS
active
splitAt
s
N
cons
X
XS
mark
U61
tt
N
X
XS
active
tail
cons
N
XS
mark
U71
tt
XS
active
take
N
XS
mark
U81
tt
N
XS
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
tt
active
tt
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
snd
X
active
snd
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U22
X1
X2
active
U22
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
head
X
active
head
mark
X
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
U51
X1
X2
active
U51
mark
X1
X2
mark
U52
X1
X2
active
U52
mark
X1
X2
mark
U61
X1
X2
X3
X4
active
U61
mark
X1
X2
X3
X4
mark
U62
X1
X2
X3
X4
active
U62
mark
X1
X2
X3
X4
mark
U63
X1
X2
X3
X4
active
U63
mark
X1
X2
X3
X4
mark
U64
X1
X2
active
U64
mark
X1
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
U71
X1
X2
active
U71
mark
X1
X2
mark
U72
X1
X2
active
U72
mark
X1
X2
mark
U81
X1
X2
X3
active
U81
mark
X1
X2
X3
mark
U82
X1
X2
X3
active
U82
mark
X1
X2
X3
mark
fst
X
active
fst
mark
X
mark
natsFrom
X
active
natsFrom
mark
X
mark
s
X
active
s
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
tail
X
active
tail
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U12
X1
X2
active
X3
U12
X1
X2
X3
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
mark
X1
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
U21
mark
X1
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
U21
active
X1
X2
U21
X1
X2
U21
X1
active
X2
U21
X1
X2
U22
mark
X1
X2
U22
X1
X2
U22
X1
mark
X2
U22
X1
X2
U22
active
X1
X2
U22
X1
X2
U22
X1
active
X2
U22
X1
X2
U31
mark
X1
X2
U31
X1
X2
U31
X1
mark
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
U32
mark
X1
X2
U32
X1
X2
U32
X1
mark
X2
U32
X1
X2
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
mark
X1
X2
X3
U42
X1
X2
X3
U42
X1
mark
X2
X3
U42
X1
X2
X3
U42
X1
X2
mark
X3
U42
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
head
mark
X
head
X
head
active
X
head
X
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
active
X1
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
U51
mark
X1
X2
U51
X1
X2
U51
X1
mark
X2
U51
X1
X2
U51
active
X1
X2
U51
X1
X2
U51
X1
active
X2
U51
X1
X2
U52
mark
X1
X2
U52
X1
X2
U52
X1
mark
X2
U52
X1
X2
U52
active
X1
X2
U52
X1
X2
U52
X1
active
X2
U52
X1
X2
U61
mark
X1
X2
X3
X4
U61
X1
X2
X3
X4
U61
X1
mark
X2
X3
X4
U61
X1
X2
X3
X4
U61
X1
X2
mark
X3
X4
U61
X1
X2
X3
X4
U61
X1
X2
X3
mark
X4
U61
X1
X2
X3
X4
U61
active
X1
X2
X3
X4
U61
X1
X2
X3
X4
U61
X1
active
X2
X3
X4
U61
X1
X2
X3
X4
U61
X1
X2
active
X3
X4
U61
X1
X2
X3
X4
U61
X1
X2
X3
active
X4
U61
X1
X2
X3
X4
U62
mark
X1
X2
X3
X4
U62
X1
X2
X3
X4
U62
X1
mark
X2
X3
X4
U62
X1
X2
X3
X4
U62
X1
X2
mark
X3
X4
U62
X1
X2
X3
X4
U62
X1
X2
X3
mark
X4
U62
X1
X2
X3
X4
U62
active
X1
X2
X3
X4
U62
X1
X2
X3
X4
U62
X1
active
X2
X3
X4
U62
X1
X2
X3
X4
U62
X1
X2
active
X3
X4
U62
X1
X2
X3
X4
U62
X1
X2
X3
active
X4
U62
X1
X2
X3
X4
U63
mark
X1
X2
X3
X4
U63
X1
X2
X3
X4
U63
X1
mark
X2
X3
X4
U63
X1
X2
X3
X4
U63
X1
X2
mark
X3
X4
U63
X1
X2
X3
X4
U63
X1
X2
X3
mark
X4
U63
X1
X2
X3
X4
U63
active
X1
X2
X3
X4
U63
X1
X2
X3
X4
U63
X1
active
X2
X3
X4
U63
X1
X2
X3
X4
U63
X1
X2
active
X3
X4
U63
X1
X2
X3
X4
U63
X1
X2
X3
active
X4
U63
X1
X2
X3
X4
U64
mark
X1
X2
U64
X1
X2
U64
X1
mark
X2
U64
X1
X2
U64
active
X1
X2
U64
X1
X2
U64
X1
active
X2
U64
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
U71
mark
X1
X2
U71
X1
X2
U71
X1
mark
X2
U71
X1
X2
U71
active
X1
X2
U71
X1
X2
U71
X1
active
X2
U71
X1
X2
U72
mark
X1
X2
U72
X1
X2
U72
X1
mark
X2
U72
X1
X2
U72
active
X1
X2
U72
X1
X2
U72
X1
active
X2
U72
X1
X2
U81
mark
X1
X2
X3
U81
X1
X2
X3
U81
X1
mark
X2
X3
U81
X1
X2
X3
U81
X1
X2
mark
X3
U81
X1
X2
X3
U81
active
X1
X2
X3
U81
X1
X2
X3
U81
X1
active
X2
X3
U81
X1
X2
X3
U81
X1
X2
active
X3
U81
X1
X2
X3
U82
mark
X1
X2
X3
U82
X1
X2
X3
U82
X1
mark
X2
X3
U82
X1
X2
X3
U82
X1
X2
mark
X3
U82
X1
X2
X3
U82
active
X1
X2
X3
U82
X1
X2
X3
U82
X1
active
X2
X3
U82
X1
X2
X3
U82
X1
X2
active
X3
U82
X1
X2
X3
fst
mark
X
fst
X
fst
active
X
fst
X
natsFrom
mark
X
natsFrom
X
natsFrom
active
X
natsFrom
X
s
mark
X
s
X
s
active
X
s
X
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
tail
mark
X
tail
X
tail
active
X
tail
X
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
active
1
U11
3
tt
0
mark
1
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
pair
2
cons
2
U71
2
U72
2
U81
3
U82
3
fst
1
natsFrom
1
s
1
sel
2
0
0
nil
0
tail
1
take
2
INNERMOST
./TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM.trs