active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
and
tt
X
mark
X
active
fst
pair
X
Y
mark
X
active
head
cons
N
XS
mark
N
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
sel
N
XS
mark
head
afterNth
N
XS
active
snd
pair
X
Y
mark
Y
active
splitAt
0
XS
mark
pair
nil
XS
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
tail
cons
N
XS
mark
XS
active
take
N
XS
mark
fst
splitAt
N
XS
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
tt
active
tt
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
snd
X
active
snd
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
fst
X
active
fst
mark
X
mark
head
X
active
head
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
X4
U11
X1
X2
X3
X4
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
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
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
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
snd
mark
X
snd
X
snd
active
X
snd
X
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
fst
mark
X
fst
X
fst
active
X
fst
X
head
mark
X
head
X
head
active
X
head
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
2.2
active
U12
pair
YS
ZS
X
pair
cons
X
YS
ZS
mark
and
X1
X2
active
and
mark
X1
X2
mark
fst
X
mark
X
active
take
N
XS
mark
fst
splitAt
N
XS
afterNth
X1
mark
X2
afterNth
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
natsFrom
X
natsFrom
mark
X
splitAt
X1
mark
X2
splitAt
X1
X2
mark
fst
X
fst
mark
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
fst
X
active
fst
mark
X
mark
head
X
active
head
mark
X
mark
U12
X1
X2
mark
X1
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
mark
splitAt
X1
X2
mark
X1
mark
sel
X1
X2
sel
mark
X1
mark
X2
active
natsFrom
N
cons
N
natsFrom
s
N
head
active
X
head
X
tail
active
X
tail
X
mark
afterNth
X1
X2
mark
X2
active
tail
cons
N
XS
mark
XS
active
sel
N
XS
mark
head
afterNth
N
XS
active
natsFrom
N
s
N
mark
U12
X1
X2
active
U12
mark
X1
X2
active
natsFrom
N
natsFrom
s
N
mark
U11
X1
X2
X3
X4
mark
X1
mark
U12
X1
X2
U12
mark
X1
X2
mark
tail
X
tail
mark
X
mark
head
X
head
mark
X
active
afterNth
N
XS
snd
splitAt
N
XS
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
and
mark
X1
X2
and
X1
X2
mark
snd
X
snd
mark
X
mark
pair
X1
X2
mark
X1
take
active
X1
X2
take
X1
X2
mark
natsFrom
X
mark
X
natsFrom
mark
X
natsFrom
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
head
mark
X
head
X
mark
take
X1
X2
mark
X1
s
active
X
s
X
splitAt
active
X1
X2
splitAt
X1
X2
U12
X1
mark
X2
U12
X1
X2
mark
splitAt
X1
X2
mark
X2
mark
U11
X1
X2
X3
X4
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
mark
snd
X
active
snd
mark
X
snd
mark
X
snd
X
afterNth
X1
active
X2
afterNth
X1
X2
mark
afterNth
X1
X2
mark
X1
active
head
cons
N
XS
mark
N
take
mark
X1
X2
take
X1
X2
s
mark
X
s
X
sel
X1
active
X2
sel
X1
X2
active
splitAt
0
XS
pair
nil
XS
tail
mark
X
tail
X
mark
splitAt
X1
X2
splitAt
mark
X1
mark
X2
mark
afterNth
X1
X2
afterNth
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
active
take
N
XS
splitAt
N
XS
and
active
X1
X2
and
X1
X2
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
mark
pair
X1
X2
mark
X2
active
fst
pair
X
Y
mark
X
mark
snd
X
mark
X
splitAt
X1
active
X2
splitAt
X1
X2
mark
s
X
mark
X
mark
tail
X
mark
X
active
take
N
XS
fst
splitAt
N
XS
mark
take
X1
X2
mark
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
pair
active
X1
X2
pair
X1
X2
afterNth
active
X1
X2
afterNth
X1
X2
mark
tt
active
tt
mark
and
X1
X2
mark
X1
take
X1
active
X2
take
X1
X2
mark
head
X
mark
X
U12
active
X1
X2
U12
X1
X2
mark
sel
X1
X2
mark
X1
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
sel
X1
X2
mark
X2
pair
X1
mark
X2
pair
X1
X2
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
U11
tt
N
X
XS
U12
splitAt
N
XS
X
mark
nil
active
nil
take
X1
mark
X2
take
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
pair
X1
active
X2
pair
X1
X2
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
active
and
tt
X
mark
X
active
splitAt
s
N
cons
X
XS
U11
tt
N
X
XS
and
X1
active
X2
and
X1
X2
mark
and
X1
X2
and
mark
X1
X2
U12
mark
X1
X2
U12
X1
X2
mark
tail
X
active
tail
mark
X
active
afterNth
N
XS
splitAt
N
XS
pair
mark
X1
X2
pair
X1
X2
active
snd
pair
X
Y
mark
Y
sel
mark
X1
X2
sel
X1
X2
active
sel
N
XS
afterNth
N
XS
cons
mark
X1
X2
cons
X1
X2
mark
s
X
s
mark
X
fst
active
X
fst
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
0
active
0
cons
active
X1
X2
cons
X1
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
pair
X1
X2
pair
mark
X1
mark
X2
sel
active
X1
X2
sel
X1
X2
snd
active
X
snd
X
natsFrom
active
X
natsFrom
X
active
U12
pair
YS
ZS
X
cons
X
YS
active
splitAt
0
XS
mark
pair
nil
XS
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
sel
N
XS
head
afterNth
N
XS
afterNth
mark
X1
X2
afterNth
X1
X2
fst
mark
X
fst
X
active
U11
tt
N
X
XS
splitAt
N
XS
cons
X1
mark
X2
cons
X1
X2
mark
cons
X1
X2
mark
X1
and
X1
mark
X2
and
X1
X2
U12
X1
active
X2
U12
X1
X2
mark
s
X
active
s
mark
X
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
mark
take
X1
X2
take
mark
X1
mark
X2
sel
X1
mark
X2
sel
X1
X2
true
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
s
X
active
s
mark
X
mark
take
X1
X2
mark
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
tail
X
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
snd
X
mark
X
active
fst
pair
X
Y
mark
X
mark
pair
X1
X2
mark
X2
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
head
cons
N
XS
mark
N
active
splitAt
0
XS
mark
pair
nil
XS
mark
afterNth
X1
X2
mark
X1
mark
snd
X
active
snd
mark
X
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
splitAt
X1
X2
mark
X2
mark
take
X1
X2
mark
X1
active
snd
pair
X
Y
mark
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
natsFrom
X
mark
X
mark
pair
X1
X2
mark
X1
mark
tail
X
active
tail
mark
X
mark
U11
X1
X2
X3
X4
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
active
sel
N
XS
mark
head
afterNth
N
XS
active
tail
cons
N
XS
mark
XS
active
and
tt
X
mark
X
mark
afterNth
X1
X2
mark
X2
mark
natsFrom
X
active
natsFrom
mark
X
mark
splitAt
X1
X2
mark
X1
mark
U12
X1
X2
mark
X1
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
head
X
active
head
mark
X
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
sel
X1
X2
mark
X2
mark
fst
X
active
fst
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
sel
X1
X2
mark
X1
mark
head
X
mark
X
mark
and
X1
X2
mark
X1
active
take
N
XS
mark
fst
splitAt
N
XS
mark
and
X1
X2
active
and
mark
X1
X2
mark
fst
X
mark
X
true
U11
4
2
cons
2
0
s
1
1
take
2
0
take
2
2
and
2
2
pair
2
1
fst
1
2
natsFrom
1
2
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
U12
2
0
tail
1
2
mark
1
2
0
0
4
sel
2
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
28941
tail
1
0
splitAt
2
0
mark
1
3
afterNth
2
0
U11
4
0
active
1
1
0
head
1
2
snd
1
0
cons
2
1
natsFrom
1
0
active
1
1
0
snd
1
2
tt
0
3027
pair
2
0
and
2
0
mark
fst
X
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
mark
and
X1
X2
mark
X1
mark
head
X
mark
X
mark
sel
X1
X2
mark
X1
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
fst
X
active
fst
mark
X
mark
sel
X1
X2
mark
X2
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
mark
head
X
active
head
mark
X
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
U12
X1
X2
mark
X1
mark
splitAt
X1
X2
mark
X1
mark
natsFrom
X
active
natsFrom
mark
X
mark
afterNth
X1
X2
mark
X2
active
and
tt
X
mark
X
active
tail
cons
N
XS
mark
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
X4
mark
X1
mark
tail
X
active
tail
mark
X
mark
pair
X1
X2
mark
X1
mark
natsFrom
X
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
snd
pair
X
Y
mark
Y
mark
take
X1
X2
mark
X1
mark
splitAt
X1
X2
mark
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
snd
X
active
snd
mark
X
mark
afterNth
X1
X2
mark
X1
active
splitAt
0
XS
mark
pair
nil
XS
active
head
cons
N
XS
mark
N
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
pair
X1
X2
mark
X2
active
fst
pair
X
Y
mark
X
mark
snd
X
mark
X
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
tail
X
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
take
X1
X2
mark
X2
pair
active
X1
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
head
mark
X
head
X
and
X1
mark
X2
and
X1
X2
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
snd
mark
X
snd
X
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
and
X1
active
X2
and
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
s
mark
X
s
X
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
and
active
X1
X2
and
X1
X2
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
pair
X1
mark
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
and
mark
X1
X2
and
X1
X2
take
active
X1
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
tail
active
X
tail
X
head
active
X
head
X
splitAt
X1
mark
X2
splitAt
X1
X2
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
natsFrom
mark
X
natsFrom
X
sel
active
X1
X2
sel
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
pair
X1
active
X2
pair
X1
X2
U12
mark
X1
X2
U12
X1
X2
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
snd
active
X
snd
X
afterNth
active
X1
X2
afterNth
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
pair
mark
X1
X2
pair
X1
X2
natsFrom
active
X
natsFrom
X
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
s
active
X
s
X
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
fst
mark
X
fst
X
take
X1
active
X2
take
X1
X2
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U12
X1
active
X2
U12
X1
X2
mark
pair
X1
X2
mark
X2
mark
pair
X1
X2
mark
X1
active
and
tt
X
mark
X
active
sel
N
XS
mark
head
afterNth
N
XS
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
snd
X
mark
X
mark
snd
X
active
snd
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
splitAt
X1
X2
mark
X2
mark
splitAt
X1
X2
mark
X1
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
fst
pair
X
Y
mark
X
active
splitAt
0
XS
mark
pair
nil
XS
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
afterNth
X1
X2
mark
X2
mark
afterNth
X1
X2
mark
X1
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
natsFrom
X
mark
X
mark
natsFrom
X
active
natsFrom
mark
X
mark
tail
X
mark
X
mark
tail
X
active
tail
mark
X
mark
U11
X1
X2
X3
X4
mark
X1
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
take
X1
X2
mark
X2
mark
take
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
tail
cons
N
XS
mark
XS
mark
fst
X
mark
X
mark
fst
X
active
fst
mark
X
mark
head
X
mark
X
mark
head
X
active
head
mark
X
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
snd
pair
X
Y
mark
Y
active
take
N
XS
mark
fst
splitAt
N
XS
active
head
cons
N
XS
mark
N
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
true
U11
4
1
12280
2
52186
3
81592
4
52185
0
cons
2
0
s
1
1
0
take
2
0
take
2
1
80411
2
80412
0
and
2
1
31394
2
31393
0
pair
2
1
52183
2
52182
0
fst
1
1
1
natsFrom
1
1
41620
head
1
0
splitAt
2
1
52186
2
52185
0
fst
1
0
U12
2
1
0
2
81591
0
U12
2
0
tail
1
1
31112
mark
1
1
0
0
0
31967
sel
2
0
sel
2
1
76886
2
76887
0
s
1
0
afterNth
2
1
59817
2
59818
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
0
afterNth
2
0
U11
4
0
active
1
1
0
head
1
1
17067
snd
1
0
cons
2
1
29407
2
0
0
natsFrom
1
0
active
1
1
0
snd
1
1
7630
tt
0
39904
pair
2
0
and
2
0
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
mark
head
X
active
head
mark
X
mark
fst
X
active
fst
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
tail
X
active
tail
mark
X
mark
natsFrom
X
active
natsFrom
mark
X
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
and
X1
X2
active
and
mark
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
s
X
mark
X
mark
snd
X
active
snd
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
pair
active
X1
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
active
and
tt
X
mark
X
mark
tt
active
tt
active
sel
N
XS
mark
head
afterNth
N
XS
cons
active
X1
X2
cons
X1
X2
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
sel
X1
active
X2
sel
X1
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
snd
X
active
snd
mark
X
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
head
mark
X
head
X
mark
s
X
active
s
mark
X
and
X1
mark
X2
and
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
snd
mark
X
snd
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
mark
and
X1
X2
active
and
mark
X1
X2
mark
0
active
0
and
X1
active
X2
and
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
fst
pair
X
Y
mark
X
s
mark
X
s
X
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
and
active
X1
X2
and
X1
X2
active
splitAt
0
XS
mark
pair
nil
XS
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
natsFrom
X
active
natsFrom
mark
X
pair
X1
mark
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
mark
tail
X
active
tail
mark
X
and
mark
X1
X2
and
X1
X2
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
tail
active
X
tail
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
tail
cons
N
XS
mark
XS
head
active
X
head
X
splitAt
X1
mark
X2
splitAt
X1
X2
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
mark
fst
X
active
fst
mark
X
natsFrom
mark
X
natsFrom
X
mark
head
X
active
head
mark
X
sel
active
X1
X2
sel
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
snd
pair
X
Y
mark
Y
active
take
N
XS
mark
fst
splitAt
N
XS
pair
X1
active
X2
pair
X1
X2
U12
mark
X1
X2
U12
X1
X2
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
active
head
cons
N
XS
mark
N
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
snd
active
X
snd
X
afterNth
active
X1
X2
afterNth
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
pair
mark
X1
X2
pair
X1
X2
natsFrom
active
X
natsFrom
X
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
s
active
X
s
X
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
fst
mark
X
fst
X
take
X1
active
X2
take
X1
X2
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
mark
nil
active
nil
U12
X1
active
X2
U12
X1
X2
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
snd
X
active
snd
mark
X
mark
s
X
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
natsFrom
X
active
natsFrom
mark
X
mark
tail
X
active
tail
mark
X
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
fst
X
active
fst
mark
X
mark
head
X
active
head
mark
X
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
true
U11
4
4
cons
2
0
s
1
21098
take
2
0
take
2
1
and
2
3
pair
2
0
fst
1
3
natsFrom
1
4
head
1
0
splitAt
2
4
fst
1
0
U12
2
4
U12
2
0
tail
1
3
mark
1
4
0
0
3
sel
2
0
sel
2
1
s
1
0
afterNth
2
1
nil
0
3
tail
1
0
splitAt
2
0
mark
1
2
afterNth
2
0
U11
4
0
active
1
1
0
head
1
3
snd
1
0
cons
2
1771
natsFrom
1
0
active
1
1
0
snd
1
3
tt
0
0
pair
2
0
and
2
0
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
natsFrom
X
active
natsFrom
mark
X
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
s
X
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
pair
active
X1
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
head
mark
X
head
X
and
X1
mark
X2
and
X1
X2
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
snd
mark
X
snd
X
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
and
X1
active
X2
and
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
s
mark
X
s
X
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
and
active
X1
X2
and
X1
X2
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
pair
X1
mark
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
and
mark
X1
X2
and
X1
X2
take
active
X1
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
tail
active
X
tail
X
head
active
X
head
X
splitAt
X1
mark
X2
splitAt
X1
X2
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
natsFrom
mark
X
natsFrom
X
sel
active
X1
X2
sel
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
pair
X1
active
X2
pair
X1
X2
U12
mark
X1
X2
U12
X1
X2
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
snd
active
X
snd
X
afterNth
active
X1
X2
afterNth
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
pair
mark
X1
X2
pair
X1
X2
natsFrom
active
X
natsFrom
X
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
s
active
X
s
X
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
fst
mark
X
fst
X
take
X1
active
X2
take
X1
X2
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U12
X1
active
X2
U12
X1
X2
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
s
X
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
natsFrom
X
active
natsFrom
mark
X
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
true
U11
4
0
cons
2
0
s
1
1
26557
take
2
0
take
2
1
2
49055
and
2
2
40856
pair
2
0
fst
1
73873
natsFrom
1
1
16494
head
1
0
splitAt
2
0
fst
1
0
U12
2
1
0
U12
2
0
tail
1
1
20683
mark
1
1
4
0
0
0
sel
2
0
sel
2
1
2
0
s
1
0
afterNth
2
1
2
11842
nil
0
50756
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
24818
head
1
24818
snd
1
0
cons
2
0
natsFrom
1
0
active
1
4
snd
1
1
36660
tt
0
6168
pair
2
0
and
2
0
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
pair
active
X1
X2
pair
X1
X2
cons
active
X1
X2
cons
X1
X2
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
head
mark
X
head
X
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
snd
mark
X
snd
X
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
splitAt
mark
X1
X2
splitAt
X1
X2
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
pair
X1
mark
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
head
active
X
head
X
splitAt
X1
mark
X2
splitAt
X1
X2
pair
X1
active
X2
pair
X1
X2
U12
mark
X1
X2
U12
X1
X2
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
snd
active
X
snd
X
pair
mark
X1
X2
pair
X1
X2
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
fst
mark
X
fst
X
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U12
X1
active
X2
U12
X1
X2
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
true
U11
4
1
cons
2
0
s
1
2
take
2
0
take
2
1
and
2
2
pair
2
1
fst
1
4
natsFrom
1
2
head
1
0
splitAt
2
1
fst
1
0
U12
2
1
U12
2
0
tail
1
1
mark
1
4
0
0
1
sel
2
0
sel
2
1
s
1
0
afterNth
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
4
head
1
20261
snd
1
0
cons
2
0
natsFrom
1
0
active
1
1
3
snd
1
25472
tt
0
2
pair
2
0
and
2
0
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
pair
active
X1
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
cons
active
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
head
mark
X
head
X
and
X1
mark
X2
and
X1
X2
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
snd
mark
X
snd
X
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
and
X1
active
X2
and
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
s
mark
X
s
X
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
and
active
X1
X2
and
X1
X2
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
pair
X1
mark
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
and
mark
X1
X2
and
X1
X2
take
active
X1
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
tail
active
X
tail
X
head
active
X
head
X
splitAt
X1
mark
X2
splitAt
X1
X2
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
natsFrom
mark
X
natsFrom
X
sel
active
X1
X2
sel
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
pair
X1
active
X2
pair
X1
X2
U12
mark
X1
X2
U12
X1
X2
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
snd
active
X
snd
X
afterNth
active
X1
X2
afterNth
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
pair
mark
X1
X2
pair
X1
X2
natsFrom
active
X
natsFrom
X
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
s
active
X
s
X
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
fst
mark
X
fst
X
take
X1
active
X2
take
X1
X2
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U12
X1
active
X2
U12
X1
X2
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
true
head
1
1
fst
1
1
mark
1
1
mark
1
1
afterNth
2
1
active
1
1
active
1
1
U11
4
6
2
3
cons
2
0
s
1
0
1
take
2
0
2
take
2
2
and
2
4
2
1
pair
2
1
2
1
fst
1
4
natsFrom
1
5
splitAt
2
6
1
U12
2
2
1
U12
2
0
tail
1
4
0
0
0
sel
2
0
1
sel
2
4
1
2
s
1
0
afterNth
2
4
2
1
nil
0
7
tail
1
0
splitAt
2
0
2
1
U11
4
0
1
4
2
3
head
1
3
snd
1
0
cons
2
4
natsFrom
1
0
snd
1
2
tt
0
8
pair
2
0
1
2
and
2
0
1
2
U11
4
1
69708
2
0
3
69708
4
69708
0
cons
2
1
0
0
s
1
1
0
take
2
2
1
take
2
1
2
95995
and
2
1
2
21656
pair
2
1
34854
2
34853
0
fst
1
1
26286
natsFrom
1
1
2998
splitAt
2
1
0
2
69708
0
U12
2
1
0
2
34855
0
U12
2
2
1
0
tail
1
1
14681
0
0
34852
sel
2
1
1
sel
2
1
2
141036
s
1
1
afterNth
2
1
2
101601
nil
0
34853
tail
1
1
splitAt
2
1
1
2
1
0
U11
4
1
1
2
1
3
1
4
1
0
head
1
1
39434
snd
1
1
cons
2
1
0
2
0
0
natsFrom
1
1
snd
1
1
31892
tt
0
0
pair
2
1
1
2
1
0
and
2
1
2
1
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
pair
active
X1
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
active
and
tt
X
mark
X
mark
tt
active
tt
active
sel
N
XS
mark
head
afterNth
N
XS
cons
active
X1
X2
cons
X1
X2
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
sel
X1
active
X2
sel
X1
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
snd
X
active
snd
mark
X
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
head
mark
X
head
X
mark
s
X
active
s
mark
X
and
X1
mark
X2
and
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
snd
mark
X
snd
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
mark
and
X1
X2
active
and
mark
X1
X2
mark
0
active
0
and
X1
active
X2
and
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
fst
pair
X
Y
mark
X
s
mark
X
s
X
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
and
active
X1
X2
and
X1
X2
active
splitAt
0
XS
mark
pair
nil
XS
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
natsFrom
X
active
natsFrom
mark
X
pair
X1
mark
X2
pair
X1
X2
cons
mark
X1
X2
cons
X1
X2
mark
tail
X
active
tail
mark
X
and
mark
X1
X2
and
X1
X2
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
tail
active
X
tail
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
tail
cons
N
XS
mark
XS
head
active
X
head
X
splitAt
X1
mark
X2
splitAt
X1
X2
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
mark
fst
X
active
fst
mark
X
natsFrom
mark
X
natsFrom
X
mark
head
X
active
head
mark
X
sel
active
X1
X2
sel
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
snd
pair
X
Y
mark
Y
active
take
N
XS
mark
fst
splitAt
N
XS
pair
X1
active
X2
pair
X1
X2
U12
mark
X1
X2
U12
X1
X2
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
active
head
cons
N
XS
mark
N
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
snd
active
X
snd
X
afterNth
active
X1
X2
afterNth
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
pair
mark
X1
X2
pair
X1
X2
natsFrom
active
X
natsFrom
X
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
s
active
X
s
X
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
fst
mark
X
fst
X
take
X1
active
X2
take
X1
X2
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
mark
nil
active
nil
U12
X1
active
X2
U12
X1
X2
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
mark
U12
X1
X2
active
U12
mark
X1
X2
false
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
false
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
false
mark
nil
active
nil
false
mark
head
X
head
mark
X
false
mark
fst
X
fst
mark
X
false
active
U12
pair
YS
ZS
X
cons
X
YS
false
mark
take
X1
X2
take
mark
X1
mark
X2
false
take
mark
X1
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
true
U11
4
1
3
4
9999
cons
2
0
s
1
21331
take
2
1
2
0
take
2
1
2
52739
and
2
35083
pair
2
23726
fst
1
1
29021
natsFrom
1
8136
head
1
0
splitAt
2
23720
fst
1
0
U12
2
23724
U12
2
0
tail
1
21220
mark
1
3
0
0
1
sel
2
0
sel
2
1
62118
s
1
0
afterNth
2
1
2
38885
nil
0
7193
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
1
23235
snd
1
0
cons
2
1
8138
natsFrom
1
0
active
1
3
snd
1
1
15167
tt
0
13723
pair
2
0
and
2
0
s
mark
X
s
X
s
active
X
s
X
mark
U11
X1
X2
X3
X4
U11
mark
X1
X2
X3
X4
false
active
take
N
XS
fst
splitAt
N
XS
false
fst
mark
X
fst
X
fst
active
X
fst
X
true
U11
4
1
3
4
1327
cons
2
0
s
1
28587
take
2
0
take
2
1
2
36987
and
2
22267
pair
2
23726
fst
1
1
31437
natsFrom
1
31852
head
1
0
splitAt
2
5552
fst
1
1
0
U12
2
5556
U12
2
0
tail
1
40582
mark
1
3
0
0
33242
sel
2
0
sel
2
1
50410
s
1
0
afterNth
2
1
2
49097
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
1
1315
snd
1
0
cons
2
1
31854
natsFrom
1
0
active
1
3
snd
1
1
43547
tt
0
4227
pair
2
0
and
2
0
s
mark
X
s
X
s
active
X
s
X
active
take
N
XS
splitAt
N
XS
false
mark
tail
X
tail
mark
X
false
tail
mark
X
tail
X
tail
active
X
tail
X
true
U11
4
1
3
4
592
cons
2
0
s
1
23743
take
2
0
take
2
1
2
37950
and
2
42802
pair
2
3961
fst
1
1
33997
natsFrom
1
23296
head
1
0
splitAt
2
3955
fst
1
0
U12
2
3959
U12
2
0
tail
1
24542
mark
1
3
0
0
19049
sel
2
0
sel
2
1
9481
s
1
0
afterNth
2
1
2
4000
nil
0
1
tail
1
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
1
5483
snd
1
0
cons
2
1
23298
natsFrom
1
0
active
1
3
snd
1
1
47
tt
0
3365
pair
2
0
and
2
0
s
mark
X
s
X
s
active
X
s
X
mark
natsFrom
X
natsFrom
mark
X
false
active
splitAt
s
N
cons
X
XS
U11
tt
N
X
XS
false
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
true
U11
4
1
3
4
2
cons
2
0
s
1
1
take
2
0
take
2
1
2
1
and
2
39784
pair
2
8
fst
1
1
1
natsFrom
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
6
U12
2
0
tail
1
1
mark
1
3
0
0
1
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
1
2
16422
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
1
2
3
4
0
active
1
1
2
head
1
1
13963
snd
1
0
cons
2
1
3752
natsFrom
1
0
active
1
3
snd
1
1
16422
tt
0
2
pair
2
0
and
2
0
s
mark
X
s
X
s
active
X
s
X
mark
afterNth
X1
X2
afterNth
mark
X1
mark
X2
false
mark
0
active
0
false
mark
and
X1
X2
and
mark
X1
X2
false
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
true
U11
4
1
3
4
3
cons
2
0
s
1
1
take
2
0
take
2
1
2
1
and
2
1
pair
2
8
fst
1
1
8785
natsFrom
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
6
U12
2
0
tail
1
1
mark
1
3
0
0
35361
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
1
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
1
30300
snd
1
0
cons
2
1
23709
natsFrom
1
0
active
1
3
snd
1
1
1
tt
0
1
pair
2
0
and
2
1
2
0
s
mark
X
s
X
s
active
X
s
X
active
natsFrom
N
cons
N
natsFrom
s
N
false
active
natsFrom
N
natsFrom
s
N
false
natsFrom
active
X
natsFrom
X
natsFrom
mark
X
natsFrom
X
true
U11
4
1
3
4
1327
cons
2
0
s
1
1
take
2
0
take
2
1
2
53157
and
2
1
pair
2
23038
fst
1
1
30127
natsFrom
1
21965
head
1
0
splitAt
2
23032
fst
1
0
U12
2
23036
U12
2
0
tail
1
1
mark
1
3
0
0
33775
sel
2
0
sel
2
1
53817
s
1
0
afterNth
2
1
2
44521
nil
0
25971
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
1
9298
snd
1
0
cons
2
1
21967
natsFrom
1
1
0
active
1
3
snd
1
1
21491
tt
0
21707
pair
2
0
and
2
0
s
mark
X
s
X
s
active
X
s
X
active
natsFrom
N
s
N
false
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
sel
X1
mark
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
U11
4
1
65024
cons
2
0
s
1
1
31408
take
2
0
take
2
24649
and
2
1
2
7847
pair
2
1
2
296
fst
1
24651
natsFrom
1
1
26610
head
1
0
splitAt
2
1
2
692
fst
1
0
U12
2
1
69706
U12
2
0
tail
1
43866
mark
1
3
0
0
1
sel
2
2
0
sel
2
46833
s
1
0
afterNth
2
1
26696
nil
0
399
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
1
20139
snd
1
0
cons
2
1
2
38294
natsFrom
1
0
active
1
3
snd
1
1
26006
tt
0
5372
pair
2
0
and
2
0
sel
mark
X1
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
cons
active
X1
X2
cons
X1
X2
s
mark
X
s
X
cons
mark
X1
X2
cons
X1
X2
natsFrom
mark
X
natsFrom
X
cons
X1
active
X2
cons
X1
X2
natsFrom
active
X
natsFrom
X
cons
X1
mark
X2
cons
X1
X2
s
active
X
s
X
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
U11
4
1
2
4
1995
cons
2
0
s
1
27727
take
2
0
take
2
23485
and
2
45942
pair
2
2
4715
fst
1
1
18778
natsFrom
1
40346
head
1
0
splitAt
2
4709
fst
1
0
U12
2
2
4713
U12
2
0
tail
1
1
38367
mark
1
3
0
0
1836
sel
2
1
0
sel
2
1
55375
s
1
0
afterNth
2
32962
nil
0
52245
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
55377
snd
1
0
cons
2
1
2
10596
natsFrom
1
0
active
1
3
snd
1
1
28255
tt
0
2716
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
active
splitAt
0
XS
pair
nil
XS
false
mark
splitAt
X1
X2
splitAt
mark
X1
mark
X2
false
mark
cons
X1
X2
cons
mark
X1
X2
false
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
U11
4
1
2
4
1
cons
2
1
2
0
s
1
15114
take
2
0
take
2
1
and
2
1
pair
2
2
7
fst
1
1
4634
natsFrom
1
36200
head
1
0
splitAt
2
1
fst
1
0
U12
2
2
5
U12
2
0
tail
1
1
1
mark
1
3
0
0
1
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
30322
nil
0
37535
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
3
snd
1
0
cons
2
1
2
2
natsFrom
1
0
active
1
3
snd
1
1
30323
tt
0
2
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
active
afterNth
N
XS
snd
splitAt
N
XS
false
active
afterNth
N
XS
splitAt
N
XS
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
U11
4
1
2
4
122
cons
2
0
s
1
30389
take
2
0
take
2
30746
and
2
23357
pair
2
2
10028
fst
1
1
20726
natsFrom
1
31754
head
1
0
splitAt
2
10022
fst
1
0
U12
2
2
10026
U12
2
0
tail
1
1
38435
mark
1
3
0
0
1
sel
2
0
sel
2
1
42827
s
1
1
0
afterNth
2
18015
nil
0
51347
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
42829
snd
1
0
cons
2
1
2
27298
natsFrom
1
0
active
1
3
snd
1
1
7995
tt
0
9902
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
active
U11
tt
N
X
XS
U12
splitAt
N
XS
X
false
active
U11
tt
N
X
XS
splitAt
N
XS
false
splitAt
X1
active
X2
splitAt
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
true
U11
4
1
2
4
3
cons
2
0
s
1
1
take
2
0
take
2
27114
and
2
32810
pair
2
2
8
fst
1
1
27114
natsFrom
1
32615
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
6
U12
2
0
tail
1
1
1
mark
1
3
0
0
1
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
1
nil
0
51347
tail
1
0
splitAt
2
1
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
3
snd
1
0
cons
2
1
2
22135
natsFrom
1
0
active
1
3
snd
1
1
12699
tt
0
1
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
mark
snd
X
snd
mark
X
false
snd
mark
X
snd
X
snd
active
X
snd
X
true
U11
4
1
2
4
458
cons
2
0
s
1
28631
take
2
0
take
2
14114
and
2
61300
pair
2
2
464
fst
1
1
13658
natsFrom
1
26378
head
1
0
splitAt
2
458
fst
1
0
U12
2
2
462
U12
2
0
tail
1
1
51797
mark
1
3
0
0
13507
sel
2
0
sel
2
1
39676
s
1
0
afterNth
2
12473
nil
0
20153
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
39678
snd
1
1
0
cons
2
1
2
12146
natsFrom
1
0
active
1
3
snd
1
1
12017
tt
0
2
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
active
sel
N
XS
head
afterNth
N
XS
false
head
mark
X
head
X
head
active
X
head
X
true
U11
4
1
2
4
2
cons
2
0
s
1
13314
take
2
0
take
2
35607
and
2
36329
pair
2
2
7
fst
1
1
35608
natsFrom
1
26058
head
1
1
0
splitAt
2
1
fst
1
0
U12
2
2
5
U12
2
0
tail
1
1
43359
mark
1
3
0
0
11654
sel
2
0
sel
2
1
52904
s
1
0
afterNth
2
38641
nil
0
27829
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
52906
snd
1
0
cons
2
1
2
27366
natsFrom
1
0
active
1
3
snd
1
1
38642
tt
0
1
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
active
sel
N
XS
afterNth
N
XS
false
mark
U12
X1
X2
U12
mark
X1
X2
false
U12
X1
active
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
U12
mark
X1
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
true
U11
4
1
2
4
30427
cons
2
0
s
1
1
take
2
0
take
2
20719
and
2
1
pair
2
2
32027
fst
1
1
20720
natsFrom
1
20992
head
1
0
splitAt
2
1
fst
1
0
U12
2
2
32025
U12
2
1
2
0
tail
1
1
20966
mark
1
3
0
0
11654
sel
2
0
sel
2
1
49250
s
1
0
afterNth
2
28072
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
49252
snd
1
0
cons
2
1
2
32224
natsFrom
1
0
active
1
3
snd
1
1
28073
tt
0
1596
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
mark
tt
active
tt
false
mark
pair
X1
X2
pair
mark
X1
mark
X2
false
active
U12
pair
YS
ZS
X
pair
cons
X
YS
ZS
false
pair
active
X1
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
true
U11
4
1
2
4
1
cons
2
0
s
1
1
take
2
0
take
2
1
and
2
1
pair
2
2
7
fst
1
1
2
natsFrom
1
40158
head
1
0
splitAt
2
1
fst
1
0
U12
2
2
5
U12
2
0
tail
1
1
4115
mark
1
3
0
0
11654
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
U11
4
0
active
1
1
2
head
1
3
snd
1
0
cons
2
1
2
28110
natsFrom
1
0
active
1
3
snd
1
1
2
tt
0
2
pair
2
1
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
active
X1
X2
afterNth
X1
X2
true
U11
4
1
2
4
1
cons
2
0
s
1
9542
take
2
0
take
2
1
and
2
24764
pair
2
2
7
fst
1
1
15687
natsFrom
1
30500
head
1
0
splitAt
2
1
fst
1
0
U12
2
2
5
U12
2
0
tail
1
1
1
mark
1
3
0
0
11654
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
1
nil
0
43654
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
1
2
0
U11
4
0
active
1
1
2
head
1
3
snd
1
0
cons
2
1
2
2
natsFrom
1
0
active
1
3
snd
1
1
2
tt
0
2
pair
2
0
and
2
0
pair
active
X1
X2
pair
X1
X2
s
mark
X
s
X
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
s
active
X
s
X
NaTT
certifiable-1.6