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
active
natsFrom
X
natsFrom
active
X
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
fst
X
fst
active
X
active
pair
X1
X2
pair
active
X1
X2
active
pair
X1
X2
pair
X1
active
X2
active
snd
X
snd
active
X
active
splitAt
X1
X2
splitAt
active
X1
X2
active
splitAt
X1
X2
splitAt
X1
active
X2
active
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
active
head
X
head
active
X
active
tail
X
tail
active
X
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
active
afterNth
X1
X2
afterNth
active
X1
X2
active
afterNth
X1
X2
afterNth
X1
active
X2
active
take
X1
X2
take
active
X1
X2
active
take
X1
X2
take
X1
active
X2
natsFrom
mark
X
mark
natsFrom
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
fst
mark
X
mark
fst
X
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
snd
mark
X
mark
snd
X
splitAt
mark
X1
X2
mark
splitAt
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
head
mark
X
mark
head
X
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
take
mark
X1
X2
mark
take
X1
X2
take
X1
mark
X2
mark
take
X1
X2
proper
natsFrom
X
natsFrom
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
fst
X
fst
proper
X
proper
pair
X1
X2
pair
proper
X1
proper
X2
proper
snd
X
snd
proper
X
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
proper
0
ok
0
proper
nil
ok
nil
proper
u
X1
X2
X3
X4
u
proper
X1
proper
X2
proper
X3
proper
X4
proper
head
X
head
proper
X
proper
tail
X
tail
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
proper
take
X1
X2
take
proper
X1
proper
X2
natsFrom
ok
X
ok
natsFrom
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
s
ok
X
ok
s
X
fst
ok
X
ok
fst
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
snd
ok
X
ok
snd
X
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
ok
X
ok
head
X
tail
ok
X
ok
tail
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
take
X1
X2
take
X1
active
X2
pair
mark
X1
X2
pair
X1
X2
proper
u
X1
X2
X3
X4
proper
X4
pair
ok
X1
ok
X2
pair
X1
X2
active
sel
N
XS
head
afterNth
N
XS
active
take
X1
X2
active
X1
proper
cons
X1
X2
proper
X1
active
sel
X1
X2
sel
active
X1
X2
proper
u
X1
X2
X3
X4
proper
X3
active
fst
X
active
X
active
splitAt
X1
X2
splitAt
active
X1
X2
proper
u
X1
X2
X3
X4
proper
X2
active
afterNth
N
XS
snd
splitAt
N
XS
active
fst
X
fst
active
X
active
afterNth
X1
X2
active
X1
natsFrom
ok
X
natsFrom
X
proper
sel
X1
X2
proper
X2
active
take
N
XS
fst
splitAt
N
XS
active
sel
X1
X2
active
X1
active
natsFrom
X
natsFrom
active
X
active
splitAt
X1
X2
active
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
u
X1
X2
X3
X4
cons
ok
X1
ok
X2
cons
X1
X2
proper
splitAt
X1
X2
proper
X1
active
take
N
XS
splitAt
N
XS
proper
take
X1
X2
take
proper
X1
proper
X2
proper
splitAt
X1
X2
proper
X2
natsFrom
mark
X
natsFrom
X
active
afterNth
N
XS
splitAt
N
XS
active
splitAt
0
XS
pair
nil
XS
take
mark
X1
X2
take
X1
X2
proper
take
X1
X2
proper
X1
active
natsFrom
N
s
N
cons
mark
X1
X2
cons
X1
X2
proper
cons
X1
X2
proper
X2
proper
u
X1
X2
X3
X4
proper
X1
proper
sel
X1
X2
proper
X1
top
ok
X
active
X
afterNth
X1
mark
X2
afterNth
X1
X2
proper
snd
X
proper
X
splitAt
mark
X1
X2
splitAt
X1
X2
take
X1
mark
X2
take
X1
X2
active
afterNth
X1
X2
afterNth
active
X1
X2
active
s
X
active
X
fst
mark
X
fst
X
active
natsFrom
N
natsFrom
s
N
s
mark
X
s
X
splitAt
X1
mark
X2
splitAt
X1
X2
active
splitAt
X1
X2
splitAt
X1
active
X2
proper
afterNth
X1
X2
proper
X2
s
ok
X
s
X
proper
s
X
proper
X
active
splitAt
s
N
cons
X
XS
u
splitAt
N
XS
N
X
XS
top
mark
X
proper
X
active
splitAt
X1
X2
active
X1
active
sel
X1
X2
active
X2
snd
mark
X
snd
X
proper
snd
X
snd
proper
X
proper
fst
X
fst
proper
X
active
splitAt
s
N
cons
X
XS
splitAt
N
XS
active
s
X
s
active
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
take
X1
X2
take
active
X1
X2
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
head
ok
X
head
X
top
ok
X
top
active
X
proper
pair
X1
X2
pair
proper
X1
proper
X2
head
mark
X
head
X
splitAt
ok
X1
ok
X2
splitAt
X1
X2
active
tail
X
tail
active
X
active
u
pair
YS
ZS
N
X
XS
pair
cons
X
YS
ZS
active
natsFrom
N
cons
N
natsFrom
s
N
proper
head
X
proper
X
active
afterNth
X1
X2
active
X2
sel
mark
X1
X2
sel
X1
X2
proper
u
X1
X2
X3
X4
u
proper
X1
proper
X2
proper
X3
proper
X4
sel
ok
X1
ok
X2
sel
X1
X2
active
pair
X1
X2
pair
X1
active
X2
active
snd
X
snd
active
X
active
pair
X1
X2
active
X2
proper
pair
X1
X2
proper
X2
active
cons
X1
X2
cons
active
X1
X2
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
active
snd
X
active
X
fst
ok
X
fst
X
top
mark
X
top
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
tail
X
proper
X
proper
afterNth
X1
X2
proper
X1
active
cons
X1
X2
active
X1
active
head
X
head
active
X
active
afterNth
X1
X2
afterNth
X1
active
X2
proper
tail
X
tail
proper
X
proper
take
X1
X2
proper
X2
proper
s
X
s
proper
X
take
ok
X1
ok
X2
take
X1
X2
proper
fst
X
proper
X
proper
head
X
head
proper
X
proper
pair
X1
X2
proper
X1
active
pair
X1
X2
active
X1
active
u
pair
YS
ZS
N
X
XS
cons
X
YS
snd
ok
X
snd
X
active
head
X
active
X
active
sel
X1
X2
sel
X1
active
X2
active
sel
N
XS
afterNth
N
XS
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
proper
natsFrom
X
proper
X
active
take
X1
X2
active
X2
tail
ok
X
tail
X
sel
X1
mark
X2
sel
X1
X2
active
natsFrom
X
active
X
tail
mark
X
tail
X
proper
natsFrom
X
natsFrom
proper
X
active
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
active
u
X1
X2
X3
X4
active
X1
pair
X1
mark
X2
pair
X1
X2
active
pair
X1
X2
pair
active
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
active
tail
X
active
X
afterNth
ok
X1
ok
X2
afterNth
X1
X2
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
cons
2
2
proper
1
1
ok
1
1
sel
2
2
afterNth
2
2
proper
1
1
active
1
1
head
1
1
snd
1
1
s
1
4
1
take
2
0
u
4
6
3
2
4
1
take
2
3
1
2
top
1
0
u
4
0
4
1
pair
2
4
1
2
fst
1
6
1
top
1
0
1
natsFrom
1
4
1
head
1
0
splitAt
2
7
1
2
fst
1
0
tail
1
2
1
0
0
3
sel
2
1
2
1
s
1
0
afterNth
2
3
1
2
nil
0
3
tail
1
0
splitAt
2
0
mark
1
0
1
cons
2
2
1
natsFrom
1
0
active
1
0
snd
1
4
1
pair
2
0
1
2
s
1
1
0
take
2
2
1
u
4
1
0
2
16674
3
33354
4
0
0
take
2
1
2
36534
top
1
1
u
4
1
1
2
1
4
1
0
pair
2
1
16675
2
16676
0
fst
1
1
19856
top
1
1
1
natsFrom
1
1
31939
head
1
1
splitAt
2
1
2
16677
fst
1
1
tail
1
1
15943
0
0
1
sel
2
1
2
72926
s
1
1
afterNth
2
1
2
72925
nil
0
1
tail
1
1
splitAt
2
1
mark
1
1
0
cons
2
1
16678
2
0
0
natsFrom
1
1
active
1
1
snd
1
1
28872
pair
2
1
1
2
1
0
top
ok
X
top
active
X
active
snd
X
snd
active
X
proper
s
X
s
proper
X
active
splitAt
0
XS
mark
pair
nil
XS
active
fst
X
fst
active
X
active
tail
cons
N
XS
mark
XS
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
active
pair
X1
X2
pair
active
X1
X2
active
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
active
afterNth
X1
X2
afterNth
active
X1
X2
natsFrom
ok
X
ok
natsFrom
X
active
splitAt
X1
X2
splitAt
active
X1
X2
s
mark
X
mark
s
X
active
pair
X1
X2
pair
X1
active
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
afterNth
X1
X2
afterNth
X1
active
X2
pair
mark
X1
X2
mark
pair
X1
X2
active
head
X
head
active
X
active
take
X1
X2
take
active
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
active
head
cons
N
XS
mark
N
active
splitAt
X1
X2
splitAt
X1
active
X2
active
sel
X1
X2
sel
X1
active
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
natsFrom
mark
X
mark
natsFrom
X
proper
take
X1
X2
take
proper
X1
proper
X2
active
s
X
s
active
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
active
natsFrom
X
natsFrom
active
X
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
active
tail
X
tail
active
X
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
active
sel
X1
X2
sel
active
X1
X2
proper
u
X1
X2
X3
X4
u
proper
X1
proper
X2
proper
X3
proper
X4
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
active
cons
X1
X2
cons
active
X1
X2
proper
fst
X
fst
proper
X
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
proper
tail
X
tail
proper
X
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
splitAt
X1
mark
X2
mark
splitAt
X1
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
proper
head
X
head
proper
X
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
proper
natsFrom
X
natsFrom
proper
X
head
ok
X
ok
head
X
proper
snd
X
snd
proper
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
active
take
X1
X2
take
X1
active
X2
sel
X1
mark
X2
mark
sel
X1
X2
active
fst
pair
XS
YS
mark
XS
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
take
2
0
u
4
3
0
take
2
2
0
top
1
0
u
4
0
pair
2
1
0
fst
1
1
0
top
1
1
0
natsFrom
1
1
0
head
1
0
splitAt
2
1
0
fst
1
0
tail
1
1
0
proper
1
3
ok
1
1
2
0
0
1
sel
2
0
sel
2
1
0
s
1
0
afterNth
2
2
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
0
afterNth
2
0
proper
1
0
active
1
1
1
head
1
1
0
snd
1
0
cons
2
2
0
natsFrom
1
0
active
1
0
snd
1
1
0
pair
2
0
active
snd
X
snd
active
X
proper
s
X
s
proper
X
active
splitAt
0
XS
mark
pair
nil
XS
active
fst
X
fst
active
X
active
tail
cons
N
XS
mark
XS
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
snd
pair
XS
YS
mark
YS
active
pair
X1
X2
pair
active
X1
X2
active
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
active
afterNth
X1
X2
afterNth
active
X1
X2
natsFrom
ok
X
ok
natsFrom
X
active
splitAt
X1
X2
splitAt
active
X1
X2
s
mark
X
mark
s
X
active
pair
X1
X2
pair
X1
active
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
afterNth
X1
X2
afterNth
X1
active
X2
pair
mark
X1
X2
mark
pair
X1
X2
active
head
X
head
active
X
active
take
X1
X2
take
active
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
take
N
XS
mark
fst
splitAt
N
XS
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
active
head
cons
N
XS
mark
N
active
splitAt
X1
X2
splitAt
X1
active
X2
active
sel
X1
X2
sel
X1
active
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
natsFrom
mark
X
mark
natsFrom
X
proper
take
X1
X2
take
proper
X1
proper
X2
active
s
X
s
active
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
active
natsFrom
X
natsFrom
active
X
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
active
tail
X
tail
active
X
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
active
sel
X1
X2
sel
active
X1
X2
proper
u
X1
X2
X3
X4
u
proper
X1
proper
X2
proper
X3
proper
X4
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
sel
N
XS
mark
head
afterNth
N
XS
active
cons
X1
X2
cons
active
X1
X2
proper
fst
X
fst
proper
X
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
proper
tail
X
tail
proper
X
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
splitAt
X1
mark
X2
mark
splitAt
X1
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
proper
head
X
head
proper
X
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
proper
natsFrom
X
natsFrom
proper
X
head
ok
X
ok
head
X
proper
snd
X
snd
proper
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
active
take
X1
X2
take
X1
active
X2
sel
X1
mark
X2
mark
sel
X1
X2
active
fst
pair
XS
YS
mark
XS
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
tail
X
active
X
active
u
X1
X2
X3
X4
active
X1
active
sel
X1
X2
active
X2
active
splitAt
X1
X2
active
X1
active
natsFrom
X
active
X
active
take
X1
X2
active
X2
active
s
X
active
X
active
head
X
active
X
active
pair
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
splitAt
X1
X2
active
X2
active
sel
X1
X2
active
X1
active
snd
X
active
X
active
afterNth
X1
X2
active
X1
active
pair
X1
X2
active
X2
active
fst
X
active
X
active
take
X1
X2
active
X1
active
afterNth
X1
X2
active
X2
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
3
1
take
2
1
2
1
top
1
0
u
4
0
pair
2
1
2
1
fst
1
1
1
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
32002
proper
1
1
5928
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
30215
s
1
0
afterNth
2
1
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
0
afterNth
2
0
proper
1
0
active
1
3
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
1
0
snd
1
1
1
pair
2
0
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
natsFrom
ok
X
ok
natsFrom
X
s
mark
X
mark
s
X
pair
mark
X1
X2
mark
pair
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
natsFrom
mark
X
mark
natsFrom
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
head
ok
X
ok
head
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
sel
X1
mark
X2
mark
sel
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
active
cons
X1
X2
cons
active
X1
X2
false
active
sel
N
XS
afterNth
N
XS
false
active
afterNth
N
XS
snd
splitAt
N
XS
false
active
afterNth
N
XS
splitAt
N
XS
false
active
sel
X1
X2
sel
active
X1
X2
false
active
tail
X
tail
active
X
false
active
natsFrom
X
natsFrom
active
X
false
active
s
X
s
active
X
false
active
sel
X1
X2
sel
X1
active
X2
false
active
splitAt
X1
X2
splitAt
X1
active
X2
false
active
take
N
XS
fst
splitAt
N
XS
false
active
take
N
XS
splitAt
N
XS
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
active
take
X1
X2
take
active
X1
X2
false
active
head
X
head
active
X
false
active
afterNth
X1
X2
afterNth
X1
active
X2
false
active
pair
X1
X2
pair
X1
active
X2
false
active
splitAt
X1
X2
splitAt
active
X1
X2
false
active
afterNth
X1
X2
afterNth
active
X1
X2
false
active
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
false
active
pair
X1
X2
pair
active
X1
X2
false
active
natsFrom
N
cons
N
natsFrom
s
N
false
active
natsFrom
N
natsFrom
s
N
false
active
natsFrom
N
s
N
false
active
fst
X
fst
active
X
false
active
splitAt
0
XS
pair
nil
XS
false
active
snd
X
snd
active
X
false
active
sel
N
XS
head
afterNth
N
XS
false
active
take
X1
X2
take
X1
active
X2
false
proper
s
X
proper
X
proper
afterNth
X1
X2
proper
X2
proper
natsFrom
X
proper
X
proper
snd
X
proper
X
proper
pair
X1
X2
proper
X1
proper
fst
X
proper
X
proper
sel
X1
X2
proper
X1
proper
u
X1
X2
X3
X4
proper
X1
proper
cons
X1
X2
proper
X2
proper
take
X1
X2
proper
X2
proper
take
X1
X2
proper
X1
proper
splitAt
X1
X2
proper
X2
proper
splitAt
X1
X2
proper
X1
proper
afterNth
X1
X2
proper
X1
proper
tail
X
proper
X
proper
sel
X1
X2
proper
X2
proper
pair
X1
X2
proper
X2
proper
u
X1
X2
X3
X4
proper
X2
proper
u
X1
X2
X3
X4
proper
X3
proper
cons
X1
X2
proper
X1
proper
u
X1
X2
X3
X4
proper
X4
proper
head
X
proper
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
2
3
4
1
take
2
1
2
1
top
1
0
u
4
0
pair
2
1
2
1
fst
1
1
1
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
1
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
0
afterNth
2
1
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
0
afterNth
2
0
proper
1
1
0
active
1
3
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
pair
2
0
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
natsFrom
ok
X
ok
natsFrom
X
s
mark
X
mark
s
X
pair
mark
X1
X2
mark
pair
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
natsFrom
mark
X
mark
natsFrom
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
head
ok
X
ok
head
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
proper
snd
X
snd
proper
X
false
snd
mark
X
snd
X
snd
ok
X
snd
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
2
3
4
1
take
2
1
2
1
top
1
0
u
4
0
pair
2
1
2
1
fst
1
1
2
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
32613
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
10392
s
1
0
afterNth
2
1
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
0
afterNth
2
0
proper
1
0
active
1
3
head
1
1
2
snd
1
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
pair
2
0
snd
mark
X
snd
X
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
natsFrom
ok
X
ok
natsFrom
X
s
mark
X
mark
s
X
pair
mark
X1
X2
mark
pair
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
natsFrom
mark
X
mark
natsFrom
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
head
ok
X
ok
head
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
snd
mark
X
snd
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
2
3
4
2
take
2
1
2
1
top
1
0
u
4
0
pair
2
1
2
1
fst
1
1
1
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
1
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
28702
s
1
0
afterNth
2
1
2
1
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
proper
1
0
active
1
4
head
1
1
2
snd
1
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
pair
2
0
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
natsFrom
ok
X
ok
natsFrom
X
s
mark
X
mark
s
X
pair
mark
X1
X2
mark
pair
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
natsFrom
mark
X
mark
natsFrom
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
head
ok
X
ok
head
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
proper
natsFrom
X
natsFrom
proper
X
false
natsFrom
mark
X
natsFrom
X
natsFrom
ok
X
natsFrom
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
2
3
4
1
take
2
1
2
28312
top
1
0
u
4
0
pair
2
1
2
1
fst
1
1
1
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
31682
proper
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
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
proper
1
0
active
1
4
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
1
0
active
1
0
snd
1
1
1
pair
2
0
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
natsFrom
ok
X
ok
natsFrom
X
s
mark
X
mark
s
X
pair
mark
X1
X2
mark
pair
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
natsFrom
mark
X
mark
natsFrom
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
head
ok
X
ok
head
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
proper
head
X
head
proper
X
false
head
mark
X
head
X
head
ok
X
head
X
true
cons
2
0
s
1
1
1
take
2
0
u
4
1
2
3
4
2
take
2
1
2
1
top
1
0
u
4
0
pair
2
1
2
2
fst
1
1
1
top
1
0
natsFrom
1
1
1
head
1
1
0
splitAt
2
1
2
1
fst
1
0
tail
1
1
32299
proper
1
1
1
ok
1
1
1
0
0
29764
sel
2
0
sel
2
1
2
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
proper
1
0
active
1
4
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
pair
2
0
snd
mark
X
mark
snd
X
snd
ok
X
ok
snd
X
natsFrom
ok
X
ok
natsFrom
X
s
mark
X
mark
s
X
pair
mark
X1
X2
mark
pair
X1
X2
s
ok
X
ok
s
X
afterNth
mark
X1
X2
mark
afterNth
X1
X2
tail
ok
X
ok
tail
X
fst
mark
X
mark
fst
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
u
mark
X1
X2
X3
X4
mark
u
X1
X2
X3
X4
natsFrom
mark
X
mark
natsFrom
X
proper
nil
ok
nil
cons
mark
X1
X2
mark
cons
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
u
ok
X1
ok
X2
ok
X3
ok
X4
ok
u
X1
X2
X3
X4
head
mark
X
mark
head
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
0
ok
0
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
head
ok
X
ok
head
X
take
X1
mark
X2
mark
take
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
tail
mark
X
mark
tail
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
fst
ok
X
ok
fst
X
pair
X1
mark
X2
mark
pair
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
false
afterNth
ok
X1
ok
X2
afterNth
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
true
cons
2
0
s
1
2
take
2
0
u
4
26389
take
2
2
5553
top
1
0
u
4
0
pair
2
8094
fst
1
8518
top
1
0
natsFrom
1
23540
head
1
0
splitAt
2
1
21293
fst
1
0
tail
1
1316
proper
1
1
ok
1
1
3
0
0
16393
sel
2
0
sel
2
5610
s
1
0
afterNth
2
21952
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
1
2
0
proper
1
0
active
1
1
head
1
26405
snd
1
0
cons
2
1
2
3342
natsFrom
1
0
active
1
0
snd
1
8753
pair
2
0
proper
tail
X
tail
proper
X
false
tail
mark
X
tail
X
tail
ok
X
tail
X
true
cons
2
0
s
1
2
take
2
0
u
4
14044
take
2
593
top
1
0
u
4
0
pair
2
22297
fst
1
3902
top
1
0
natsFrom
1
28550
head
1
0
splitAt
2
21294
fst
1
0
tail
1
28661
proper
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
6275
s
1
0
afterNth
2
21952
nil
0
1
tail
1
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
14397
snd
1
0
cons
2
2062
natsFrom
1
0
active
1
0
snd
1
23049
pair
2
0
proper
fst
X
fst
proper
X
false
fst
mark
X
fst
X
fst
ok
X
fst
X
true
cons
2
0
s
1
2
take
2
0
u
4
12064
take
2
593
top
1
0
u
4
0
pair
2
3751
fst
1
19213
top
1
0
natsFrom
1
32601
head
1
0
splitAt
2
30384
fst
1
1
0
tail
1
8683
proper
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
17066
s
1
0
afterNth
2
21952
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
13964
snd
1
0
cons
2
24635
natsFrom
1
0
active
1
0
snd
1
31772
pair
2
0
proper
u
X1
X2
X3
X4
u
proper
X1
proper
X2
proper
X3
proper
X4
false
u
ok
X1
ok
X2
ok
X3
ok
X4
u
X1
X2
X3
X4
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
true
cons
2
0
s
1
2
take
2
0
u
4
8922
take
2
2
top
1
0
u
4
1
2
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
12268
head
1
0
splitAt
2
29572
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
23622
sel
2
0
sel
2
2
s
1
0
afterNth
2
21952
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
27531
natsFrom
1
0
active
1
0
snd
1
29829
pair
2
0
proper
take
X1
X2
take
proper
X1
proper
X2
false
take
X1
mark
X2
take
X1
X2
take
ok
X1
ok
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
true
cons
2
0
s
1
2
take
2
1
0
u
4
3289
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
21541
head
1
0
splitAt
2
13021
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
12820
sel
2
0
sel
2
2
s
1
0
afterNth
2
21952
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
27531
natsFrom
1
0
active
1
0
snd
1
29899
pair
2
0
take
X1
mark
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
true
cons
2
0
s
1
2
take
2
2
0
u
4
616
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
21541
head
1
0
splitAt
2
2
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
2
s
1
0
afterNth
2
21952
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
24124
snd
1
0
cons
2
40328
natsFrom
1
0
active
1
0
snd
1
31048
pair
2
0
proper
pair
X1
X2
pair
proper
X1
proper
X2
false
pair
X1
mark
X2
pair
X1
X2
pair
ok
X1
ok
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
true
cons
2
0
s
1
2
take
2
0
u
4
2
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
23724
head
1
0
splitAt
2
2
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
12770
sel
2
0
sel
2
2
s
1
0
afterNth
2
21952
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
29351
pair
2
1
2
0
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
mark
X1
X2
cons
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
2
0
s
1
2
take
2
0
u
4
879
take
2
2
top
1
0
u
4
0
pair
2
13421
fst
1
2
top
1
0
natsFrom
1
6754
head
1
0
splitAt
2
21796
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
29999
sel
2
0
sel
2
2
s
1
0
afterNth
2
1464
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
7915
pair
2
0
cons
mark
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
2
take
2
0
u
4
2
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
22027
head
1
0
splitAt
2
21796
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
29999
sel
2
0
sel
2
2
s
1
0
afterNth
2
1464
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
31583
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
31242
pair
2
0
proper
sel
X1
X2
sel
proper
X1
proper
X2
false
sel
X1
mark
X2
sel
X1
X2
sel
ok
X1
ok
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
2
take
2
0
u
4
2
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
27668
head
1
0
splitAt
2
21796
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
3
sel
2
1
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
2
pair
2
0
sel
X1
mark
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
true
cons
2
0
s
1
2
take
2
0
u
4
2
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
12974
top
1
0
natsFrom
1
24328
head
1
0
splitAt
2
21796
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
3
sel
2
2
0
sel
2
16873
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
2
pair
2
0
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
false
splitAt
ok
X1
ok
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
true
cons
2
0
s
1
2
take
2
0
u
4
2
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
24328
head
1
0
splitAt
2
21796
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
2953
sel
2
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
1
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
2
pair
2
0
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
true
cons
2
0
s
1
2
take
2
0
u
4
17007
take
2
2
top
1
0
u
4
0
pair
2
2
fst
1
2
top
1
0
natsFrom
1
12110
head
1
0
splitAt
2
21796
fst
1
0
tail
1
2
proper
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
2
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
2
pair
2
0
proper
s
X
s
proper
X
false
s
ok
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
2
take
2
0
u
4
16517
take
2
2
top
1
0
u
4
0
pair
2
14259
fst
1
2
top
1
0
natsFrom
1
21654
head
1
0
splitAt
2
2
32662
fst
1
0
tail
1
2
proper
1
1
ok
1
1
5328
0
0
26694
sel
2
0
sel
2
31223
s
1
1
0
afterNth
2
29849
nil
0
2558
tail
1
0
splitAt
2
0
mark
1
1
4686
afterNth
2
0
proper
1
0
active
1
1
head
1
31061
snd
1
0
cons
2
2
natsFrom
1
0
active
1
0
snd
1
18839
pair
2
0
NaTT
certifiable-1.6