active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
fst
pair
XS
YS
mark
XS
active
snd
pair
XS
YS
mark
YS
active
splitAt
0
XS
mark
pair
nil
XS
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
head
cons
N
XS
mark
N
active
tail
cons
N
XS
mark
XS
active
sel
N
XS
mark
head
afterNth
N
XS
active
take
N
XS
mark
fst
splitAt
N
XS
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
natsFrom
X
active
natsFrom
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
fst
X
active
fst
mark
X
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
snd
X
active
snd
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
head
X
active
head
mark
X
mark
tail
X
active
tail
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
natsFrom
mark
X
natsFrom
X
natsFrom
active
X
natsFrom
X
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
s
mark
X
s
X
s
active
X
s
X
fst
mark
X
fst
X
fst
active
X
fst
X
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
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
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
head
mark
X
head
X
head
active
X
head
X
tail
mark
X
tail
X
tail
active
X
tail
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
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
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
splitAt
mark
X1
X2
splitAt
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
take
active
X1
X2
take
X1
X2
active
sel
N
XS
afterNth
N
XS
mark
sel
X1
X2
sel
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
mark
natsFrom
X
mark
X
splitAt
active
X1
X2
splitAt
X1
X2
mark
splitAt
X1
X2
mark
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
tail
X
mark
X
mark
sel
X1
X2
mark
X2
mark
splitAt
X1
X2
mark
X1
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
mark
X1
fst
active
X
fst
X
natsFrom
active
X
natsFrom
X
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
head
active
X
head
X
mark
head
X
head
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
head
X
active
head
mark
X
mark
afterNth
X1
X2
mark
X1
mark
splitAt
X1
X2
splitAt
mark
X1
mark
X2
active
head
cons
N
XS
mark
N
take
X1
active
X2
take
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
mark
afterNth
X1
X2
mark
X2
active
splitAt
0
XS
pair
nil
XS
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
s
mark
X
s
X
mark
tail
X
tail
mark
X
take
X1
mark
X2
take
X1
X2
mark
fst
X
fst
mark
X
mark
s
X
mark
X
tail
active
X
tail
X
pair
mark
X1
X2
pair
X1
X2
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
mark
pair
X1
X2
mark
X2
mark
afterNth
X1
X2
afterNth
mark
X1
mark
X2
mark
head
X
mark
X
active
splitAt
0
XS
mark
pair
nil
XS
mark
u
X1
X2
X3
X4
mark
X1
mark
cons
X1
X2
active
cons
mark
X1
X2
active
splitAt
s
N
cons
X
XS
splitAt
N
XS
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
mark
snd
X
snd
mark
X
natsFrom
mark
X
natsFrom
X
mark
natsFrom
X
natsFrom
mark
X
mark
pair
X1
X2
pair
mark
X1
mark
X2
active
splitAt
s
N
cons
X
XS
u
splitAt
N
XS
N
X
XS
active
natsFrom
N
cons
N
natsFrom
s
N
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
active
afterNth
N
XS
snd
splitAt
N
XS
sel
X1
mark
X2
sel
X1
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
take
X1
X2
mark
X2
mark
snd
X
mark
X
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
sel
active
X1
X2
sel
X1
X2
mark
fst
X
active
fst
mark
X
pair
active
X1
X2
pair
X1
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
sel
X1
active
X2
sel
X1
X2
mark
s
X
active
s
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
fst
X
mark
X
head
mark
X
head
X
mark
take
X1
X2
mark
X1
snd
active
X
snd
X
mark
tail
X
active
tail
mark
X
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
active
take
N
XS
fst
splitAt
N
XS
tail
mark
X
tail
X
afterNth
active
X1
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
active
take
N
XS
splitAt
N
XS
active
sel
N
XS
head
afterNth
N
XS
pair
X1
active
X2
pair
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
mark
take
X1
X2
take
mark
X1
mark
X2
active
sel
N
XS
mark
head
afterNth
N
XS
mark
nil
active
nil
active
u
pair
YS
ZS
N
X
XS
pair
cons
X
YS
ZS
active
afterNth
N
XS
splitAt
N
XS
sel
mark
X1
X2
sel
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
active
tail
cons
N
XS
mark
XS
mark
cons
X1
X2
mark
X1
active
natsFrom
N
mark
cons
N
natsFrom
s
N
afterNth
mark
X1
X2
afterNth
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
sel
X1
X2
mark
X1
take
mark
X1
X2
take
X1
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
active
fst
pair
XS
YS
mark
XS
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
snd
mark
X
snd
X
pair
X1
mark
X2
pair
X1
X2
active
natsFrom
N
natsFrom
s
N
active
natsFrom
N
s
N
fst
mark
X
fst
X
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
mark
snd
X
active
snd
mark
X
mark
s
X
s
mark
X
active
u
pair
YS
ZS
N
X
XS
cons
X
YS
true
mark
fst
X
mark
X
mark
snd
X
active
snd
mark
X
mark
s
X
active
s
mark
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
fst
X
active
fst
mark
X
mark
snd
X
mark
X
mark
take
X1
X2
mark
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
active
fst
pair
XS
YS
mark
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
splitAt
0
XS
mark
pair
nil
XS
mark
u
X1
X2
X3
X4
mark
X1
mark
head
X
mark
X
mark
sel
X1
X2
mark
X1
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
pair
X1
X2
mark
X2
active
tail
cons
N
XS
mark
XS
mark
cons
X1
X2
mark
X1
active
take
N
XS
mark
fst
splitAt
N
XS
mark
s
X
mark
X
mark
afterNth
X1
X2
mark
X2
active
sel
N
XS
mark
head
afterNth
N
XS
active
head
cons
N
XS
mark
N
mark
afterNth
X1
X2
mark
X1
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
head
X
active
head
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
natsFrom
X
active
natsFrom
mark
X
mark
pair
X1
X2
mark
X1
mark
splitAt
X1
X2
mark
X1
active
snd
pair
XS
YS
mark
YS
mark
sel
X1
X2
mark
X2
mark
tail
X
mark
X
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
splitAt
X1
X2
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
natsFrom
X
mark
X
mark
tail
X
active
tail
mark
X
mark
take
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
true
cons
2
0
s
1
1
take
2
0
u
4
2
take
2
2
u
4
0
pair
2
1
fst
1
2
natsFrom
1
2
head
1
0
splitAt
2
2
fst
1
0
tail
1
2
mark
1
2
0
0
1
sel
2
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
afterNth
2
0
active
1
1
1
head
1
2
snd
1
0
cons
2
1
natsFrom
1
0
active
1
1
0
snd
1
2
pair
2
0
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
take
X1
X2
mark
X1
mark
tail
X
active
tail
mark
X
mark
natsFrom
X
mark
X
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
splitAt
X1
X2
mark
X2
mark
tail
X
mark
X
mark
sel
X1
X2
mark
X2
active
snd
pair
XS
YS
mark
YS
mark
splitAt
X1
X2
mark
X1
mark
pair
X1
X2
mark
X1
mark
natsFrom
X
active
natsFrom
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
head
X
active
head
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
afterNth
X1
X2
mark
X1
active
head
cons
N
XS
mark
N
active
sel
N
XS
mark
head
afterNth
N
XS
mark
afterNth
X1
X2
mark
X2
mark
s
X
mark
X
active
take
N
XS
mark
fst
splitAt
N
XS
mark
cons
X1
X2
mark
X1
active
tail
cons
N
XS
mark
XS
mark
pair
X1
X2
mark
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
sel
X1
X2
mark
X1
mark
head
X
mark
X
mark
u
X1
X2
X3
X4
mark
X1
active
splitAt
0
XS
mark
pair
nil
XS
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
fst
pair
XS
YS
mark
XS
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
take
X1
X2
mark
X2
mark
snd
X
mark
X
mark
fst
X
active
fst
mark
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
snd
X
active
snd
mark
X
mark
fst
X
mark
X
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
splitAt
X1
X2
mark
X2
mark
splitAt
X1
X2
mark
X1
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
active
splitAt
0
XS
mark
pair
nil
XS
mark
fst
X
mark
X
mark
fst
X
active
fst
mark
X
active
tail
cons
N
XS
mark
XS
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
mark
X2
mark
pair
X1
X2
mark
X1
mark
u
X1
X2
X3
X4
mark
X1
mark
u
X1
X2
X3
X4
active
u
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
mark
snd
X
mark
X
mark
snd
X
active
snd
mark
X
mark
head
X
mark
X
mark
head
X
active
head
mark
X
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
take
N
XS
mark
fst
splitAt
N
XS
active
head
cons
N
XS
mark
N
mark
afterNth
X1
X2
mark
X2
mark
afterNth
X1
X2
mark
X1
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
s
X
mark
X
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
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
cons
X1
X2
mark
X1
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
fst
pair
XS
YS
mark
XS
true
cons
2
0
s
1
1
0
take
2
0
u
4
1
0
2
8
3
6
4
5
0
take
2
1
12
2
11
0
u
4
0
pair
2
1
2
2
1
0
fst
1
1
1
natsFrom
1
1
3
head
1
0
splitAt
2
1
9
2
5
0
fst
1
0
tail
1
1
1
mark
1
1
0
0
0
23979
sel
2
0
sel
2
1
13
2
15
0
s
1
0
afterNth
2
1
11
2
13
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
0
afterNth
2
0
active
1
1
0
head
1
1
1
snd
1
0
cons
2
1
2
2
0
0
natsFrom
1
0
active
1
1
0
snd
1
1
1
pair
2
0
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
tail
X
active
tail
mark
X
mark
natsFrom
X
active
natsFrom
mark
X
mark
s
X
mark
X
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
head
X
active
head
mark
X
mark
snd
X
active
snd
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
mark
X1
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
fst
X
active
fst
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
active
splitAt
0
XS
mark
pair
nil
XS
mark
fst
X
active
fst
mark
X
active
tail
cons
N
XS
mark
XS
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
afterNth
mark
X1
X2
afterNth
X1
X2
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
mark
snd
X
active
snd
mark
X
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
mark
head
X
active
head
mark
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
pair
active
X1
X2
pair
X1
X2
active
head
cons
N
XS
mark
N
mark
nil
active
nil
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
mark
s
X
active
s
mark
X
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
mark
tail
X
active
tail
mark
X
take
X1
active
X2
take
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
tail
mark
X
tail
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
fst
pair
XS
YS
mark
XS
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
fst
X
active
fst
mark
X
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
u
X1
X2
X3
X4
mark
X1
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
snd
X
active
snd
mark
X
mark
head
X
active
head
mark
X
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
s
X
mark
X
mark
natsFrom
X
active
natsFrom
mark
X
mark
tail
X
active
tail
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
0
take
2
1
2
1
u
4
0
pair
2
0
fst
1
1
natsFrom
1
16674
head
1
0
splitAt
2
0
fst
1
0
tail
1
1
1
mark
1
1
1
0
0
15943
sel
2
0
sel
2
2
1
s
1
0
afterNth
2
1
2
2
nil
0
27376
tail
1
0
splitAt
2
0
mark
1
1
28874
afterNth
2
0
active
1
1
1
head
1
3153
snd
1
0
cons
2
0
natsFrom
1
0
active
1
1
snd
1
1
1
pair
2
0
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
mark
X1
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
cons
X1
active
X2
cons
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
head
mark
X
head
X
pair
X1
mark
X2
pair
X1
X2
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
mark
u
X1
X2
X3
X4
mark
X1
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
true
cons
2
0
s
1
1
take
2
0
u
4
25532
take
2
1
u
4
0
pair
2
1
fst
1
1
natsFrom
1
25533
head
1
0
splitAt
2
25532
fst
1
0
tail
1
1
mark
1
25532
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
afterNth
2
0
active
1
1
head
1
1
snd
1
0
cons
2
1
natsFrom
1
0
active
1
1
0
snd
1
1
pair
2
0
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
mark
X1
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
active
splitAt
0
XS
mark
pair
nil
XS
mark
fst
X
active
fst
mark
X
active
tail
cons
N
XS
mark
XS
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
afterNth
mark
X1
X2
afterNth
X1
X2
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
mark
snd
X
active
snd
mark
X
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
mark
head
X
active
head
mark
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
pair
active
X1
X2
pair
X1
X2
active
head
cons
N
XS
mark
N
mark
nil
active
nil
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
mark
s
X
active
s
mark
X
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
mark
tail
X
active
tail
mark
X
take
X1
active
X2
take
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
tail
mark
X
tail
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
fst
pair
XS
YS
mark
XS
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
mark
X1
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
true
cons
2
2
fst
1
1
sel
2
2
tail
1
1
splitAt
2
1
mark
1
1
afterNth
2
1
active
1
1
snd
1
1
snd
1
1
s
1
7
1
take
2
0
u
4
2
1
take
2
3
u
4
0
4
1
2
pair
2
0
2
natsFrom
1
7
head
1
0
splitAt
2
4
1
fst
1
0
tail
1
4
1
mark
1
1
1
0
0
3
sel
2
7
s
1
0
afterNth
2
3
1
nil
0
6
head
1
6
cons
2
6
natsFrom
1
0
active
1
1
1
pair
2
0
2
1
s
1
1
0
take
2
2
1
u
4
1
0
2
25534
3
102138
4
51069
0
take
2
1
2
76606
u
4
1
1
2
1
4
1
0
pair
2
1
76603
2
25532
0
natsFrom
1
1
25536
head
1
1
splitAt
2
1
2
76605
fst
1
1
tail
1
1
5969
mark
1
1
51070
0
0
0
sel
2
1
2
97709
s
1
1
afterNth
2
1
2
94130
nil
0
0
head
1
1
3578
cons
2
1
25535
2
0
0
natsFrom
1
1
active
1
1
51070
pair
2
1
1
2
1
0
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
active
splitAt
0
XS
mark
pair
nil
XS
mark
fst
X
active
fst
mark
X
active
tail
cons
N
XS
mark
XS
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
afterNth
mark
X1
X2
afterNth
X1
X2
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
mark
snd
X
active
snd
mark
X
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
mark
head
X
active
head
mark
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
pair
active
X1
X2
pair
X1
X2
active
head
cons
N
XS
mark
N
mark
nil
active
nil
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
mark
s
X
active
s
mark
X
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
mark
tail
X
active
tail
mark
X
take
X1
active
X2
take
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
tail
mark
X
tail
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
fst
pair
XS
YS
mark
XS
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
true
cons
2
0
s
1
1
take
2
0
u
4
31250
take
2
1
2
1
u
4
0
pair
2
31249
fst
1
1
natsFrom
1
1
head
1
0
splitAt
2
1
31251
fst
1
0
tail
1
1
mark
1
1
0
0
0
8855
sel
2
0
sel
2
1
2
1
s
1
0
afterNth
2
1
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
afterNth
2
0
active
1
1
head
1
1
snd
1
0
cons
2
1
natsFrom
1
0
active
1
31250
snd
1
1
pair
2
0
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
active
splitAt
0
XS
mark
pair
nil
XS
mark
fst
X
active
fst
mark
X
active
tail
cons
N
XS
mark
XS
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
fst
active
X
fst
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
mark
snd
X
active
snd
mark
X
mark
head
X
active
head
mark
X
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
take
N
XS
mark
fst
splitAt
N
XS
pair
active
X1
X2
pair
X1
X2
active
head
cons
N
XS
mark
N
mark
nil
active
nil
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
mark
s
X
active
s
mark
X
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
mark
tail
X
active
tail
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
head
mark
X
head
X
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
pair
X1
mark
X2
pair
X1
X2
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
active
fst
pair
XS
YS
mark
XS
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
true
cons
2
0
s
1
1
take
2
0
u
4
1
take
2
1
u
4
0
pair
2
1
fst
1
1
natsFrom
1
1
head
1
0
splitAt
2
3
fst
1
0
tail
1
1
mark
1
2
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
afterNth
2
0
active
1
1
head
1
1
snd
1
0
cons
2
1
natsFrom
1
0
active
1
1
0
snd
1
1
pair
2
0
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
active
splitAt
0
XS
mark
pair
nil
XS
mark
fst
X
active
fst
mark
X
active
tail
cons
N
XS
mark
XS
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
afterNth
mark
X1
X2
afterNth
X1
X2
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
mark
snd
X
active
snd
mark
X
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
mark
head
X
active
head
mark
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
pair
active
X1
X2
pair
X1
X2
active
head
cons
N
XS
mark
N
mark
nil
active
nil
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
mark
s
X
active
s
mark
X
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
mark
tail
X
active
tail
mark
X
take
X1
active
X2
take
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
tail
mark
X
tail
X
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
fst
pair
XS
YS
mark
XS
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
sel
X1
active
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
26980
take
2
0
u
4
2
3
4
26796
take
2
1
u
4
0
pair
2
26798
fst
1
30929
natsFrom
1
20694
head
1
0
splitAt
2
26794
fst
1
0
tail
1
42394
mark
1
2
0
0
60401
sel
2
1
2
0
sel
2
36347
s
1
0
afterNth
2
49619
nil
0
5082
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
36349
snd
1
0
cons
2
20696
natsFrom
1
0
active
1
1
0
snd
1
49621
pair
2
0
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
tail
X
tail
mark
X
false
tail
active
X
tail
X
tail
mark
X
tail
X
true
cons
2
0
s
1
32755
take
2
0
u
4
2
3
4
29193
take
2
38411
u
4
0
pair
2
29195
fst
1
38413
natsFrom
1
3010
head
1
0
splitAt
2
29191
fst
1
0
tail
1
36330
mark
1
2
0
0
60401
sel
2
0
sel
2
26538
s
1
0
afterNth
2
55531
nil
0
31354
tail
1
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
26540
snd
1
0
cons
2
3012
natsFrom
1
0
active
1
1
0
snd
1
55533
pair
2
0
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
active
u
pair
YS
ZS
N
X
XS
pair
cons
X
YS
ZS
false
active
u
pair
YS
ZS
N
X
XS
cons
X
YS
false
mark
natsFrom
X
natsFrom
mark
X
false
active
sel
N
XS
head
afterNth
N
XS
false
active
sel
N
XS
afterNth
N
XS
false
mark
s
X
s
mark
X
false
active
afterNth
N
XS
snd
splitAt
N
XS
false
active
afterNth
N
XS
splitAt
N
XS
false
mark
afterNth
X1
X2
afterNth
mark
X1
mark
X2
false
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
afterNth
active
X1
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
true
cons
2
0
s
1
63507
take
2
0
u
4
2
3
4
3
take
2
31797
u
4
0
pair
2
29195
fst
1
62525
natsFrom
1
1
head
1
0
splitAt
2
1
fst
1
0
tail
1
1
mark
1
2
0
0
46181
sel
2
0
sel
2
7362
s
1
0
afterNth
2
24194
nil
0
44051
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
1
0
active
1
1
2
head
1
26985
snd
1
0
cons
2
3
natsFrom
1
0
active
1
1
0
snd
1
24196
pair
2
0
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
true
cons
2
0
s
1
98239
take
2
0
u
4
2
3
4
33474
take
2
31797
u
4
0
pair
2
33476
fst
1
58870
natsFrom
1
11403
head
1
0
splitAt
2
33472
fst
1
0
tail
1
55220
mark
1
2
0
0
46181
sel
2
0
sel
2
31521
s
1
0
afterNth
2
50839
nil
0
37639
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
2
0
active
1
1
2
head
1
31523
snd
1
0
cons
2
11405
natsFrom
1
0
active
1
1
0
snd
1
50841
pair
2
0
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
nil
active
nil
false
mark
head
X
head
mark
X
false
active
take
N
XS
fst
splitAt
N
XS
false
active
take
N
XS
splitAt
N
XS
false
mark
snd
X
snd
mark
X
false
snd
mark
X
snd
X
snd
active
X
snd
X
true
cons
2
0
s
1
16688
take
2
0
u
4
2
3
4
43689
take
2
21358
u
4
0
pair
2
43691
fst
1
21360
natsFrom
1
29663
head
1
0
splitAt
2
43687
fst
1
0
tail
1
31161
mark
1
2
0
0
40562
sel
2
0
sel
2
1
s
1
0
afterNth
2
37698
nil
0
27514
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
31584
snd
1
1
0
cons
2
29665
natsFrom
1
0
active
1
1
0
snd
1
37700
pair
2
0
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
0
active
0
false
mark
take
X1
X2
take
mark
X1
mark
X2
false
active
splitAt
s
N
cons
X
XS
u
splitAt
N
XS
N
X
XS
false
active
splitAt
s
N
cons
X
XS
splitAt
N
XS
false
mark
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
false
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
true
cons
2
0
s
1
4685
take
2
0
u
4
2
3
4
24911
take
2
13701
u
4
1
2
0
pair
2
24913
fst
1
13703
natsFrom
1
1
head
1
0
splitAt
2
24909
fst
1
0
tail
1
1
mark
1
2
0
0
23539
sel
2
0
sel
2
1
s
1
0
afterNth
2
43242
nil
0
1315
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
3
snd
1
0
cons
2
3
natsFrom
1
0
active
1
1
0
snd
1
43244
pair
2
0
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
true
cons
2
0
s
1
13068
take
2
0
u
4
2
3
4
17039
take
2
47538
u
4
3
0
pair
2
46695
fst
1
47540
natsFrom
1
1
head
1
0
splitAt
2
1
fst
1
0
tail
1
1
mark
1
2
0
0
17412
sel
2
0
sel
2
1
s
1
0
afterNth
2
54392
nil
0
45153
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
19316
snd
1
0
cons
2
31826
natsFrom
1
0
active
1
1
0
snd
1
54394
pair
2
0
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
true
cons
2
0
s
1
34933
take
2
0
u
4
2
3
4
5105
take
2
35494
u
4
4
0
pair
2
5107
fst
1
35496
natsFrom
1
12760
head
1
0
splitAt
2
5103
fst
1
0
tail
1
1
mark
1
2
0
0
50256
sel
2
0
sel
2
31657
s
1
0
afterNth
2
28438
nil
0
29140
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
31659
snd
1
0
cons
2
12762
natsFrom
1
0
active
1
1
0
snd
1
28440
pair
2
0
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
fst
active
X
fst
X
take
X1
mark
X2
take
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
natsFrom
mark
X
natsFrom
X
s
active
X
s
X
natsFrom
active
X
natsFrom
X
afterNth
active
X1
X2
afterNth
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
s
mark
X
s
X
afterNth
X1
mark
X2
afterNth
X1
X2
pair
active
X1
X2
pair
X1
X2
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
head
active
X
head
X
cons
active
X1
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
take
X1
active
X2
take
X1
X2
tail
mark
X
tail
X
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
X1
active
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
head
mark
X
head
X
sel
mark
X1
X2
sel
X1
X2
pair
X1
mark
X2
pair
X1
X2
sel
active
X1
X2
sel
X1
X2
tail
active
X
tail
X
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
pair
mark
X1
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
X1
active
X2
splitAt
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
fst
mark
X
fst
X
cons
mark
X1
X2
cons
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
mark
pair
X1
X2
pair
mark
X1
mark
X2
false
active
natsFrom
N
cons
N
natsFrom
s
N
false
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
true
cons
2
1
2
0
s
1
29350
take
2
0
u
4
1
2
4
31327
take
2
43096
u
4
0
pair
2
1
1
fst
1
74423
natsFrom
1
1
30470
head
1
0
splitAt
2
20374
fst
1
0
tail
1
54753
mark
1
2
0
0
42507
sel
2
0
sel
2
1
2
42351
s
1
0
afterNth
2
12770
nil
0
51700
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
31327
head
1
1
60908
snd
1
0
cons
2
1
2
62654
natsFrom
1
0
active
1
0
snd
1
1
23723
pair
2
0
active
natsFrom
N
natsFrom
s
N
false
natsFrom
mark
X
natsFrom
X
natsFrom
active
X
natsFrom
X
true
cons
2
0
s
1
1
27667
take
2
0
u
4
2
4
82012
take
2
31241
u
4
0
pair
2
82014
fst
1
1
24327
natsFrom
1
23691
head
1
0
splitAt
2
1
2
30650
fst
1
0
tail
1
40630
mark
1
2
0
0
1602
sel
2
0
sel
2
1
42117
s
1
0
afterNth
2
33810
nil
0
61135
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
42119
snd
1
0
cons
2
1
23693
natsFrom
1
1
0
active
1
0
snd
1
1
3162
pair
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
active
natsFrom
N
s
N
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
2
4
7
take
2
44866
u
4
0
pair
2
9
fst
1
1
44867
natsFrom
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
28766
mark
1
2
0
0
6
sel
2
0
sel
2
1
13772
s
1
1
0
afterNth
2
1
nil
0
43546
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
13774
snd
1
0
cons
2
1
3
natsFrom
1
0
active
1
0
snd
1
1
2
pair
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
mark
fst
X
fst
mark
X
false
fst
mark
X
fst
X
fst
active
X
fst
X
true
cons
2
0
s
1
1
14258
take
2
0
u
4
2
4
20230
take
2
7282
u
4
0
pair
2
20232
fst
1
1
7283
natsFrom
1
5967
head
1
0
splitAt
2
1
2
1
fst
1
1
0
tail
1
48234
mark
1
2
0
0
1
sel
2
0
sel
2
1
54044
s
1
0
afterNth
2
31370
nil
0
48123
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
54046
snd
1
0
cons
2
1
5969
natsFrom
1
0
active
1
0
snd
1
1
31371
pair
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
mark
splitAt
X1
X2
splitAt
mark
X1
mark
X2
false
active
splitAt
0
XS
pair
nil
XS
false
pair
active
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
true
cons
2
0
s
1
1
1
take
2
0
u
4
2
4
7
take
2
37051
u
4
0
pair
2
9
fst
1
1
37052
natsFrom
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
mark
1
2
0
0
6
sel
2
0
sel
2
1
31668
s
1
0
afterNth
2
25319
nil
0
22279
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
31670
snd
1
0
cons
2
1
3
natsFrom
1
0
active
1
0
snd
1
1
25320
pair
2
1
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
true
cons
2
0
s
1
1
1
take
2
2
0
u
4
2
4
10
take
2
48056
u
4
0
pair
2
12
fst
1
1
48056
natsFrom
1
3
head
1
0
splitAt
2
1
2
2
fst
1
0
tail
1
1
mark
1
2
0
0
3
sel
2
0
sel
2
1
29114
s
1
0
afterNth
2
2
nil
0
22279
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
29116
snd
1
0
cons
2
1
5
natsFrom
1
0
active
1
0
snd
1
1
2
pair
2
0
take
active
X1
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
take
active
X1
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
true
cons
2
0
s
1
1
1
take
2
1
0
u
4
2
4
15821
take
2
1
u
4
0
pair
2
15823
fst
1
1
8092
natsFrom
1
15815
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
24841
mark
1
2
0
0
14469
sel
2
0
sel
2
1
36730
s
1
0
afterNth
2
48336
nil
0
14426
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
36732
snd
1
0
cons
2
1
15817
natsFrom
1
0
active
1
0
snd
1
1
48337
pair
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
true
cons
2
0
s
1
1
1
take
2
0
u
4
2
4
35739
take
2
12606
u
4
0
pair
2
35741
fst
1
1
3031
natsFrom
1
1
head
1
0
splitAt
2
1
2
9577
fst
1
0
tail
1
1
mark
1
2
0
0
4029
sel
2
0
sel
2
1
1
s
1
0
afterNth
2
37294
nil
0
1
tail
1
0
splitAt
2
1
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
31000
snd
1
0
cons
2
1
26159
natsFrom
1
0
active
1
0
snd
1
1
27719
pair
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
head
active
X
head
X
head
mark
X
head
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
2
4
49835
take
2
33741
u
4
0
pair
2
49837
fst
1
1
25137
natsFrom
1
41224
head
1
1
0
splitAt
2
1
2
8606
fst
1
0
tail
1
3362
mark
1
2
0
0
1
sel
2
0
sel
2
1
15026
s
1
0
afterNth
2
52823
nil
0
26641
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
active
1
1
2
head
1
15028
snd
1
0
cons
2
1
41226
natsFrom
1
0
active
1
0
snd
1
1
44219
pair
2
0
s
active
X
s
X
s
mark
X
s
X
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
NaTT
certifiable-1.6