U11
tt
N
XS
U12
tt
N
XS
U12
tt
N
XS
snd
splitAt
N
XS
U21
tt
X
U22
tt
X
U22
tt
X
X
U31
tt
N
U32
tt
N
U32
tt
N
N
U41
tt
N
XS
U42
tt
N
XS
U42
tt
N
XS
head
afterNth
N
XS
U51
tt
Y
U52
tt
Y
U52
tt
Y
Y
U61
tt
N
X
XS
U62
tt
N
X
XS
U62
tt
N
X
XS
U63
tt
N
X
XS
U63
tt
N
X
XS
U64
splitAt
N
XS
X
U64
pair
YS
ZS
X
pair
cons
X
YS
ZS
U71
tt
XS
U72
tt
XS
U72
tt
XS
XS
U81
tt
N
XS
U82
tt
N
XS
U82
tt
N
XS
fst
splitAt
N
XS
afterNth
N
XS
U11
tt
N
XS
fst
pair
X
Y
U21
tt
X
head
cons
N
XS
U31
tt
N
natsFrom
N
cons
N
natsFrom
s
N
sel
N
XS
U41
tt
N
XS
snd
pair
X
Y
U51
tt
Y
splitAt
0
XS
pair
nil
XS
splitAt
s
N
cons
X
XS
U61
tt
N
X
XS
tail
cons
N
XS
U71
tt
XS
take
N
XS
U81
tt
N
XS
U11
3
1
tt
0
U12
3
1
snd
1
1
splitAt
2
1
2
U21
2
1
U22
2
1
U31
2
1
U32
2
1
U41
3
1
U42
3
1
head
1
1
afterNth
2
1
2
U51
2
1
U52
2
1
U61
4
1
U62
4
1
U63
4
1
U64
2
1
pair
2
1
2
cons
2
1
U71
2
1
U72
2
1
U81
3
1
U82
3
1
fst
1
1
natsFrom
1
1
s
1
1
sel
2
1
2
0
0
nil
0
tail
1
1
take
2
1
2
FULL
./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nosorts-noand.trs