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
active
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
active
U12
X1
X2
U12
active
X1
X2
active
splitAt
X1
X2
splitAt
active
X1
X2
active
splitAt
X1
X2
splitAt
X1
active
X2
active
pair
X1
X2
pair
active
X1
X2
active
pair
X1
X2
pair
X1
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
afterNth
X1
X2
afterNth
active
X1
X2
active
afterNth
X1
X2
afterNth
X1
active
X2
active
snd
X
snd
active
X
active
and
X1
X2
and
active
X1
X2
active
fst
X
fst
active
X
active
head
X
head
active
X
active
natsFrom
X
natsFrom
active
X
active
s
X
s
active
X
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
active
tail
X
tail
active
X
active
take
X1
X2
take
active
X1
X2
active
take
X1
X2
take
X1
active
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U12
mark
X1
X2
mark
U12
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
snd
mark
X
mark
snd
X
and
mark
X1
X2
mark
and
X1
X2
fst
mark
X
mark
fst
X
head
mark
X
mark
head
X
natsFrom
mark
X
mark
natsFrom
X
s
mark
X
mark
s
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
tail
mark
X
mark
tail
X
take
mark
X1
X2
mark
take
X1
X2
take
X1
mark
X2
mark
take
X1
X2
proper
U11
X1
X2
X3
X4
U11
proper
X1
proper
X2
proper
X3
proper
X4
proper
tt
ok
tt
proper
U12
X1
X2
U12
proper
X1
proper
X2
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
proper
snd
X
snd
proper
X
proper
and
X1
X2
and
proper
X1
proper
X2
proper
fst
X
fst
proper
X
proper
head
X
head
proper
X
proper
natsFrom
X
natsFrom
proper
X
proper
s
X
s
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
0
ok
0
proper
nil
ok
nil
proper
tail
X
tail
proper
X
proper
take
X1
X2
take
proper
X1
proper
X2
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
pair
ok
X1
ok
X2
ok
pair
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
snd
ok
X
ok
snd
X
and
ok
X1
ok
X2
ok
and
X1
X2
fst
ok
X
ok
fst
X
head
ok
X
ok
head
X
natsFrom
ok
X
ok
natsFrom
X
s
ok
X
ok
s
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
tail
ok
X
ok
tail
X
take
ok
X1
ok
X2
ok
take
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
U12
pair
YS
ZS
X
cons
X
YS
and
mark
X1
X2
and
X1
X2
proper
splitAt
X1
X2
proper
X2
pair
mark
X1
X2
pair
X1
X2
proper
sel
X1
X2
proper
X2
active
take
X1
X2
take
X1
active
X2
active
sel
X1
X2
sel
X1
active
X2
active
and
X1
X2
active
X1
proper
splitAt
X1
X2
proper
X1
active
afterNth
X1
X2
active
X1
top
mark
X
top
proper
X
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
tail
mark
X
tail
X
active
afterNth
X1
X2
afterNth
active
X1
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
active
natsFrom
X
natsFrom
active
X
active
afterNth
X1
X2
afterNth
X1
active
X2
active
cons
X1
X2
active
X1
proper
tail
X
tail
proper
X
fst
mark
X
fst
X
active
fst
X
active
X
proper
tail
X
proper
X
proper
U11
X1
X2
X3
X4
U11
proper
X1
proper
X2
proper
X3
proper
X4
top
ok
X
active
X
tail
ok
X
tail
X
top
ok
X
top
active
X
proper
U12
X1
X2
proper
X1
splitAt
mark
X1
X2
splitAt
X1
X2
active
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
active
take
N
XS
fst
splitAt
N
XS
active
splitAt
X1
X2
splitAt
active
X1
X2
active
sel
X1
X2
active
X1
proper
U12
X1
X2
proper
X2
active
head
X
head
active
X
fst
ok
X
fst
X
active
tail
X
active
X
active
sel
X1
X2
active
X2
active
splitAt
s
N
cons
X
XS
U11
tt
N
X
XS
active
s
X
active
X
active
pair
X1
X2
active
X2
head
ok
X
head
X
afterNth
mark
X1
X2
afterNth
X1
X2
proper
s
X
s
proper
X
head
mark
X
head
X
active
natsFrom
X
active
X
proper
U12
X1
X2
U12
proper
X1
proper
X2
active
natsFrom
N
cons
N
natsFrom
s
N
proper
fst
X
proper
X
sel
ok
X1
ok
X2
sel
X1
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
active
pair
X1
X2
pair
active
X1
X2
active
fst
X
fst
active
X
splitAt
ok
X1
ok
X2
splitAt
X1
X2
active
sel
N
XS
head
afterNth
N
XS
proper
head
X
head
proper
X
active
afterNth
N
XS
snd
splitAt
N
XS
active
natsFrom
N
s
N
active
and
X1
X2
and
active
X1
X2
top
mark
X
proper
X
sel
mark
X1
X2
sel
X1
X2
proper
afterNth
X1
X2
proper
X2
afterNth
X1
mark
X2
afterNth
X1
X2
proper
cons
X1
X2
proper
X1
pair
X1
mark
X2
pair
X1
X2
and
ok
X1
ok
X2
and
X1
X2
active
s
X
s
active
X
sel
X1
mark
X2
sel
X1
X2
proper
head
X
proper
X
active
head
X
active
X
splitAt
X1
mark
X2
splitAt
X1
X2
active
pair
X1
X2
pair
X1
active
X2
active
U11
X1
X2
X3
X4
active
X1
proper
cons
X1
X2
cons
proper
X1
proper
X2
snd
ok
X
snd
X
active
snd
X
snd
active
X
proper
pair
X1
X2
proper
X1
active
U12
X1
X2
U12
active
X1
X2
proper
fst
X
fst
proper
X
active
sel
N
XS
afterNth
N
XS
proper
take
X1
X2
proper
X2
proper
U11
X1
X2
X3
X4
proper
X3
proper
natsFrom
X
proper
X
U12
mark
X1
X2
U12
X1
X2
active
take
N
XS
splitAt
N
XS
proper
s
X
proper
X
active
afterNth
X1
X2
active
X2
active
afterNth
N
XS
splitAt
N
XS
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
proper
and
X1
X2
proper
X1
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
cons
X1
X2
cons
active
X1
X2
afterNth
ok
X1
ok
X2
afterNth
X1
X2
active
sel
X1
X2
sel
active
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
proper
and
X1
X2
proper
X2
proper
snd
X
proper
X
pair
ok
X1
ok
X2
pair
X1
X2
proper
U11
X1
X2
X3
X4
proper
X4
proper
sel
X1
X2
proper
X1
active
take
X1
X2
active
X2
proper
natsFrom
X
natsFrom
proper
X
proper
snd
X
snd
proper
X
natsFrom
ok
X
natsFrom
X
active
splitAt
X1
X2
active
X1
take
X1
mark
X2
take
X1
X2
proper
cons
X1
X2
proper
X2
proper
take
X1
X2
proper
X1
proper
U11
X1
X2
X3
X4
proper
X2
proper
and
X1
X2
and
proper
X1
proper
X2
active
pair
X1
X2
active
X1
active
take
X1
X2
active
X1
proper
pair
X1
X2
proper
X2
proper
afterNth
X1
X2
proper
X1
U11
ok
X1
ok
X2
ok
X3
ok
X4
U11
X1
X2
X3
X4
active
U11
tt
N
X
XS
splitAt
N
XS
take
mark
X1
X2
take
X1
X2
active
U12
X1
X2
active
X1
cons
mark
X1
X2
cons
X1
X2
s
mark
X
s
X
natsFrom
mark
X
natsFrom
X
take
ok
X1
ok
X2
take
X1
X2
active
natsFrom
N
natsFrom
s
N
active
U12
pair
YS
ZS
X
pair
cons
X
YS
ZS
proper
U11
X1
X2
X3
X4
proper
X1
active
tail
X
tail
active
X
s
ok
X
s
X
active
U11
tt
N
X
XS
U12
splitAt
N
XS
X
U12
ok
X1
ok
X2
U12
X1
X2
active
splitAt
X1
X2
splitAt
X1
active
X2
active
splitAt
X1
X2
active
X2
snd
mark
X
snd
X
active
take
X1
X2
take
active
X1
X2
active
splitAt
0
XS
pair
nil
XS
active
snd
X
active
X
proper
take
X1
X2
take
proper
X1
proper
X2
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
fst
1
1
top
1
1
proper
1
1
ok
1
1
tail
1
1
splitAt
2
1
proper
1
1
active
1
1
head
1
1
U11
4
5
2
4
3
1
cons
2
0
s
1
7
1
take
2
0
1
2
take
2
3
2
1
top
1
0
and
2
3
2
1
pair
2
2
1
2
natsFrom
1
7
1
head
1
0
splitAt
2
5
1
2
fst
1
0
U12
2
4
1
U12
2
0
2
1
tail
1
7
1
0
0
0
sel
2
0
1
2
sel
2
8
2
1
s
1
0
afterNth
2
5
2
1
nil
0
6
mark
1
1
1
afterNth
2
0
2
1
U11
4
0
4
3
2
1
snd
1
0
cons
2
3
1
natsFrom
1
0
active
1
0
snd
1
3
1
tt
0
8
pair
2
0
2
1
and
2
0
1
2
U11
4
1
58818
2
29411
3
29410
4
58817
0
cons
2
2
1
0
s
1
1
0
take
2
1
2
1
take
2
1
2
66447
top
1
1
and
2
1
2
11650
pair
2
1
29407
2
29407
0
natsFrom
1
1
12282
head
1
1
splitAt
2
1
29411
2
58817
0
fst
1
1
U12
2
1
0
2
29410
0
U12
2
1
1
2
1
0
tail
1
1
13506
0
0
29408
sel
2
1
2
1
sel
2
1
2
83208
s
1
1
afterNth
2
1
2
83207
nil
0
29409
mark
1
1
0
afterNth
2
1
2
1
U11
4
1
1
2
1
3
1
4
1
0
snd
1
1
cons
2
1
2
2
0
0
natsFrom
1
1
active
1
1
snd
1
1
24389
tt
0
1
pair
2
1
1
2
1
0
and
2
1
2
1
top
ok
X
top
active
X
active
pair
X1
X2
pair
active
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fst
ok
X
ok
fst
X
active
and
tt
X
mark
X
active
U12
X1
X2
U12
active
X1
X2
active
sel
N
XS
mark
head
afterNth
N
XS
proper
U11
X1
X2
X3
X4
U11
proper
X1
proper
X2
proper
X3
proper
X4
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
splitAt
X1
X2
splitAt
active
X1
X2
active
afterNth
X1
X2
afterNth
active
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
proper
0
ok
0
tail
ok
X
ok
tail
X
active
head
X
head
active
X
proper
fst
X
fst
proper
X
active
pair
X1
X2
pair
X1
active
X2
active
take
X1
X2
take
active
X1
X2
active
splitAt
X1
X2
splitAt
X1
active
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
active
natsFrom
X
natsFrom
active
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
active
afterNth
X1
X2
afterNth
X1
active
X2
active
s
X
s
active
X
proper
natsFrom
X
natsFrom
proper
X
and
mark
X1
X2
mark
and
X1
X2
active
fst
pair
X
Y
mark
X
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
active
take
X1
X2
take
X1
active
X2
proper
head
X
head
proper
X
active
splitAt
0
XS
mark
pair
nil
XS
pair
X1
mark
X2
mark
pair
X1
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
cons
X1
X2
cons
active
X1
X2
active
fst
X
fst
active
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
active
sel
X1
X2
sel
X1
active
X2
proper
and
X1
X2
and
proper
X1
proper
X2
active
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
natsFrom
ok
X
ok
natsFrom
X
proper
U12
X1
X2
U12
proper
X1
proper
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
tail
X
tail
active
X
active
tail
cons
N
XS
mark
XS
proper
nil
ok
nil
fst
mark
X
mark
fst
X
snd
ok
X
ok
snd
X
head
ok
X
ok
head
X
active
snd
X
snd
active
X
proper
tail
X
tail
proper
X
active
and
X1
X2
and
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
splitAt
X1
X2
splitAt
proper
X1
proper
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
tail
mark
X
mark
tail
X
cons
mark
X1
X2
mark
cons
X1
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
tt
ok
tt
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
head
cons
N
XS
mark
N
pair
mark
X1
X2
mark
pair
X1
X2
proper
snd
X
snd
proper
X
proper
pair
X1
X2
pair
proper
X1
proper
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
pair
ok
X1
ok
X2
ok
pair
X1
X2
s
mark
X
mark
s
X
proper
take
X1
X2
take
proper
X1
proper
X2
take
X1
mark
X2
mark
take
X1
X2
natsFrom
mark
X
mark
natsFrom
X
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
head
mark
X
mark
head
X
proper
s
X
s
proper
X
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
active
sel
X1
X2
sel
active
X1
X2
snd
mark
X
mark
snd
X
take
ok
X1
ok
X2
ok
take
X1
X2
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
top
ok
X
top
active
X
true
U11
4
3
0
cons
2
0
s
1
1
0
take
2
0
take
2
2
0
top
1
0
and
2
2
0
pair
2
1
0
fst
1
1
0
top
1
1
0
natsFrom
1
1
0
head
1
0
splitAt
2
2
0
fst
1
0
U12
2
1
0
U12
2
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
U11
4
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
tt
0
1
pair
2
0
and
2
0
active
pair
X1
X2
pair
active
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fst
ok
X
ok
fst
X
active
and
tt
X
mark
X
active
U12
X1
X2
U12
active
X1
X2
active
sel
N
XS
mark
head
afterNth
N
XS
proper
U11
X1
X2
X3
X4
U11
proper
X1
proper
X2
proper
X3
proper
X4
active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
splitAt
X1
X2
splitAt
active
X1
X2
active
afterNth
X1
X2
afterNth
active
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
proper
0
ok
0
tail
ok
X
ok
tail
X
active
head
X
head
active
X
proper
fst
X
fst
proper
X
active
pair
X1
X2
pair
X1
active
X2
active
take
X1
X2
take
active
X1
X2
active
splitAt
X1
X2
splitAt
X1
active
X2
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
active
natsFrom
X
natsFrom
active
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
active
afterNth
X1
X2
afterNth
X1
active
X2
active
s
X
s
active
X
proper
natsFrom
X
natsFrom
proper
X
and
mark
X1
X2
mark
and
X1
X2
active
fst
pair
X
Y
mark
X
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
active
take
X1
X2
take
X1
active
X2
proper
head
X
head
proper
X
active
splitAt
0
XS
mark
pair
nil
XS
pair
X1
mark
X2
mark
pair
X1
X2
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
cons
X1
X2
cons
active
X1
X2
active
fst
X
fst
active
X
sel
mark
X1
X2
mark
sel
X1
X2
take
mark
X1
X2
mark
take
X1
X2
active
sel
X1
X2
sel
X1
active
X2
proper
and
X1
X2
and
proper
X1
proper
X2
active
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
natsFrom
ok
X
ok
natsFrom
X
proper
U12
X1
X2
U12
proper
X1
proper
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
tail
X
tail
active
X
active
tail
cons
N
XS
mark
XS
proper
nil
ok
nil
fst
mark
X
mark
fst
X
snd
ok
X
ok
snd
X
head
ok
X
ok
head
X
active
snd
X
snd
active
X
proper
tail
X
tail
proper
X
active
and
X1
X2
and
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
splitAt
X1
X2
splitAt
proper
X1
proper
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
tail
mark
X
mark
tail
X
cons
mark
X1
X2
mark
cons
X1
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
tt
ok
tt
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
head
cons
N
XS
mark
N
pair
mark
X1
X2
mark
pair
X1
X2
proper
snd
X
snd
proper
X
proper
pair
X1
X2
pair
proper
X1
proper
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
pair
ok
X1
ok
X2
ok
pair
X1
X2
s
mark
X
mark
s
X
proper
take
X1
X2
take
proper
X1
proper
X2
take
X1
mark
X2
mark
take
X1
X2
natsFrom
mark
X
mark
natsFrom
X
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
head
mark
X
mark
head
X
proper
s
X
s
proper
X
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
active
sel
X1
X2
sel
active
X1
X2
snd
mark
X
mark
snd
X
take
ok
X1
ok
X2
ok
take
X1
X2
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
top
ok
X
active
X
false
top
mark
X
proper
X
false
active
snd
X
active
X
active
U11
X1
X2
X3
X4
active
X1
active
splitAt
X1
X2
active
X2
active
head
X
active
X
active
U12
X1
X2
active
X1
active
natsFrom
X
active
X
active
take
X1
X2
active
X1
active
pair
X1
X2
active
X1
active
pair
X1
X2
active
X2
active
s
X
active
X
active
sel
X1
X2
active
X2
active
tail
X
active
X
active
splitAt
X1
X2
active
X1
active
sel
X1
X2
active
X1
active
take
X1
X2
active
X2
active
fst
X
active
X
active
cons
X1
X2
active
X1
active
afterNth
X1
X2
active
X1
active
afterNth
X1
X2
active
X2
active
and
X1
X2
active
X1
true
U11
4
1
3
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
and
2
1
2
1
pair
2
1
2
1
fst
1
1
1
top
1
0
natsFrom
1
1
5082
head
1
0
splitAt
2
1
2
1
fst
1
0
U12
2
1
1
U12
2
0
tail
1
1
24897
proper
1
1
1
ok
1
3
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
0
U11
4
0
active
1
0
head
1
1
1
snd
1
0
cons
2
1
1
natsFrom
1
0
active
1
1
0
snd
1
1
1
tt
0
1
pair
2
0
and
2
0
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
take
mark
X1
X2
mark
take
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
s
mark
X
mark
s
X
take
X1
mark
X2
mark
take
X1
X2
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
active
U12
pair
YS
ZS
X
pair
cons
X
YS
ZS
false
active
sel
X1
X2
sel
active
X1
X2
false
active
take
N
XS
fst
splitAt
N
XS
false
active
splitAt
s
N
cons
X
XS
U11
tt
N
X
XS
false
active
and
X1
X2
and
active
X1
X2
false
active
snd
X
snd
active
X
false
active
tail
X
tail
active
X
false
active
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
false
active
fst
X
fst
active
X
false
active
cons
X1
X2
cons
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
splitAt
0
XS
pair
nil
XS
false
active
s
X
s
active
X
false
active
afterNth
X1
X2
afterNth
X1
active
X2
false
active
natsFrom
X
natsFrom
active
X
false
active
splitAt
X1
X2
splitAt
X1
active
X2
false
active
take
X1
X2
take
active
X1
X2
false
active
pair
X1
X2
pair
X1
active
X2
false
active
head
X
head
active
X
false
active
afterNth
X1
X2
afterNth
active
X1
X2
false
active
splitAt
X1
X2
splitAt
active
X1
X2
false
active
afterNth
N
XS
snd
splitAt
N
XS
false
active
afterNth
N
XS
splitAt
N
XS
false
active
U11
tt
N
X
XS
U12
splitAt
N
XS
X
false
active
U11
tt
N
X
XS
splitAt
N
XS
false
active
sel
N
XS
head
afterNth
N
XS
false
active
sel
N
XS
afterNth
N
XS
false
active
U12
X1
X2
U12
active
X1
X2
false
active
pair
X1
X2
pair
active
X1
X2
false
active
take
X1
X2
take
X1
active
X2
false
active
sel
X1
X2
sel
X1
active
X2
false
active
take
N
XS
splitAt
N
XS
false
active
U12
pair
YS
ZS
X
cons
X
YS
false
proper
pair
X1
X2
proper
X1
proper
head
X
proper
X
proper
cons
X1
X2
proper
X1
proper
afterNth
X1
X2
proper
X2
proper
U11
X1
X2
X3
X4
proper
X1
proper
fst
X
proper
X
proper
afterNth
X1
X2
proper
X1
proper
pair
X1
X2
proper
X2
proper
U11
X1
X2
X3
X4
proper
X2
proper
cons
X1
X2
proper
X2
proper
take
X1
X2
proper
X1
proper
U12
X1
X2
proper
X2
proper
U12
X1
X2
proper
X1
proper
sel
X1
X2
proper
X1
proper
tail
X
proper
X
proper
U11
X1
X2
X3
X4
proper
X4
proper
snd
X
proper
X
proper
and
X1
X2
proper
X2
proper
and
X1
X2
proper
X1
proper
splitAt
X1
X2
proper
X1
proper
s
X
proper
X
proper
natsFrom
X
proper
X
proper
sel
X1
X2
proper
X2
proper
U11
X1
X2
X3
X4
proper
X3
proper
splitAt
X1
X2
proper
X2
proper
take
X1
X2
proper
X2
true
U11
4
1
2
3
4
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
and
2
1
2
1
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
U12
2
1
2
1
U12
2
0
tail
1
1
24897
proper
1
1
0
ok
1
2
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
U11
4
0
active
1
0
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
tt
0
1
pair
2
0
and
2
0
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
take
mark
X1
X2
mark
take
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
s
mark
X
mark
s
X
take
X1
mark
X2
mark
take
X1
X2
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
proper
s
X
s
proper
X
false
s
ok
X
s
X
s
mark
X
s
X
true
U11
4
1
2
3
4
0
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
0
top
1
0
and
2
1
2
1
pair
2
1
2
1
fst
1
1
1
top
1
0
natsFrom
1
1
0
head
1
0
splitAt
2
1
2
1
fst
1
0
U12
2
1
2
1
U12
2
0
tail
1
1
1
proper
1
1
0
ok
1
1
2
0
0
1
sel
2
0
sel
2
1
2
1
s
1
1
0
afterNth
2
1
2
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
0
afterNth
2
0
proper
1
0
U11
4
0
active
1
0
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
tt
0
1
pair
2
0
and
2
0
s
mark
X
s
X
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
take
mark
X1
X2
mark
take
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
s
mark
X
mark
s
X
take
X1
mark
X2
mark
take
X1
X2
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
s
mark
X
s
X
true
U11
4
1
2
3
4
0
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
0
top
1
0
and
2
1
2
1
pair
2
1
2
21807
fst
1
4337
top
1
0
natsFrom
1
1
0
head
1
0
splitAt
2
2
2
fst
1
0
U12
2
1
2
6911
U12
2
0
tail
1
1
29094
proper
1
1
0
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
21208
s
1
1
0
afterNth
2
1
2
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
1
1
snd
1
0
cons
2
1
2
10113
natsFrom
1
0
active
1
0
snd
1
1
12620
tt
0
1
pair
2
0
and
2
0
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
take
mark
X1
X2
mark
take
X1
X2
s
mark
X
mark
s
X
take
X1
mark
X2
mark
take
X1
X2
U12
ok
X1
ok
X2
ok
U12
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
proper
take
X1
X2
take
proper
X1
proper
X2
false
take
ok
X1
ok
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
true
U11
4
1
2
3
4
0
cons
2
0
s
1
1
1
take
2
2
0
take
2
1
2
0
top
1
0
and
2
1
2
22305
pair
2
1
2
1
fst
1
28224
top
1
0
natsFrom
1
1
0
head
1
0
splitAt
2
2
2
fst
1
0
U12
2
1
2
1
U12
2
0
tail
1
1
34320
proper
1
1
0
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
0
afterNth
2
1
2
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
1
1
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
tt
0
1
pair
2
0
and
2
0
take
mark
X1
X2
take
X1
X2
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
take
mark
X1
X2
mark
take
X1
X2
s
mark
X
mark
s
X
take
X1
mark
X2
mark
take
X1
X2
U12
ok
X1
ok
X2
ok
U12
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
take
mark
X1
X2
take
X1
X2
true
U11
4
1
2
3
4
0
cons
2
0
s
1
1
1
take
2
1
0
take
2
1
2
0
top
1
0
and
2
1
2
1
pair
2
1
2
1
fst
1
5581
top
1
0
natsFrom
1
1
0
head
1
0
splitAt
2
1
2
25150
fst
1
0
U12
2
1
2
1
U12
2
0
tail
1
1
32467
proper
1
1
0
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
0
afterNth
2
1
2
0
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
1
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
1
24235
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
1
1
tt
0
1
pair
2
0
and
2
0
afterNth
ok
X1
ok
X2
ok
afterNth
X1
X2
splitAt
mark
X1
X2
mark
splitAt
X1
X2
U11
mark
X1
X2
X3
X4
mark
U11
X1
X2
X3
X4
U11
ok
X1
ok
X2
ok
X3
ok
X4
ok
U11
X1
X2
X3
X4
take
mark
X1
X2
mark
take
X1
X2
splitAt
ok
X1
ok
X2
ok
splitAt
X1
X2
s
mark
X
mark
s
X
take
X1
mark
X2
mark
take
X1
X2
U12
ok
X1
ok
X2
ok
U12
X1
X2
splitAt
X1
mark
X2
mark
splitAt
X1
X2
afterNth
mark
X1
X2
mark
afterNth
X1
X2
afterNth
X1
mark
X2
mark
afterNth
X1
X2
s
ok
X
ok
s
X
U12
mark
X1
X2
mark
U12
X1
X2
take
ok
X1
ok
X2
ok
take
X1
X2
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
U11
4
1
3
18698
cons
2
0
s
1
1
1
take
2
0
take
2
2
top
1
0
and
2
616
pair
2
2
24124
fst
1
31048
top
1
0
natsFrom
1
1
37157
head
1
0
splitAt
2
27127
fst
1
0
U12
2
23724
U12
2
0
tail
1
12771
proper
1
1
1
ok
1
1
29351
0
0
21965
sel
2
0
sel
2
18419
s
1
0
afterNth
2
15079
nil
0
52813
tail
1
0
splitAt
2
0
mark
1
1
7675
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
28473
snd
1
0
cons
2
2
24813
natsFrom
1
0
active
1
0
snd
1
23033
tt
0
1
pair
2
1
2
0
and
2
0
s
mark
X
mark
s
X
s
ok
X
ok
s
X
proper
snd
X
snd
proper
X
false
snd
ok
X
snd
X
snd
mark
X
snd
X
true
U11
4
25853
cons
2
0
s
1
1
1
take
2
0
take
2
15786
top
1
0
and
2
31849
pair
2
1
8927
fst
1
19784
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
25324
fst
1
0
U12
2
2
22742
U12
2
0
tail
1
12876
proper
1
1
ok
1
1
764
0
0
56785
sel
2
0
sel
2
17272
s
1
0
afterNth
2
16847
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
4
afterNth
2
0
proper
1
0
U11
4
0
active
1
3
head
1
12450
snd
1
1
0
cons
2
1
2
8930
natsFrom
1
0
active
1
0
snd
1
23381
tt
0
4673
pair
2
0
and
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
U11
4
25853
cons
2
1
0
s
1
1
1
take
2
0
take
2
2
2
top
1
0
and
2
12333
pair
2
1
2
fst
1
35596
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
16038
fst
1
0
U12
2
2
27469
U12
2
0
tail
1
12874
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
0
mark
1
1
5
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
34659
snd
1
0
cons
2
1
2
39590
natsFrom
1
0
active
1
0
snd
1
17083
tt
0
4673
pair
2
0
and
2
0
proper
sel
X1
X2
sel
proper
X1
proper
X2
false
sel
X1
mark
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
ok
X1
ok
X2
sel
X1
X2
true
U11
4
10310
cons
2
0
s
1
1
1
take
2
0
take
2
2
9623
top
1
0
and
2
32023
pair
2
1
2
fst
1
27135
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
17535
U12
2
0
tail
1
12874
proper
1
1
ok
1
1
1
0
0
1
sel
2
2
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
5
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
7943
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
2
tt
0
1
pair
2
0
and
2
0
sel
mark
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
U11
4
11794
cons
2
0
s
1
1
1
take
2
0
take
2
2
2
top
1
0
and
2
5599
pair
2
1
2
fst
1
4582
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
2
U12
2
0
tail
1
12874
proper
1
1
ok
1
1
28859
0
0
1
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
5
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
32359
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
2
tt
0
1
pair
2
0
and
2
0
proper
splitAt
X1
X2
splitAt
proper
X1
proper
X2
false
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
ok
X1
ok
X2
splitAt
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
true
U11
4
24036
cons
2
0
s
1
1
1
take
2
0
take
2
2
22135
top
1
0
and
2
16349
pair
2
1
2
fst
1
12700
top
1
0
natsFrom
1
1
3449
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
2
U12
2
0
tail
1
12874
proper
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
30145
s
1
0
afterNth
2
2
nil
0
52051
tail
1
0
splitAt
2
2
0
mark
1
1
5
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
22051
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
2
tt
0
18072
pair
2
0
and
2
0
splitAt
mark
X1
X2
splitAt
X1
X2
splitAt
mark
X1
X2
splitAt
X1
X2
true
U11
4
24036
cons
2
0
s
1
1
19734
take
2
0
take
2
2
2
top
1
0
and
2
30435
pair
2
1
6246
fst
1
890
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
2
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
13507
0
0
1
sel
2
0
sel
2
30145
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
1
0
mark
1
1
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
18407
natsFrom
1
0
active
1
0
snd
1
2
tt
0
18072
pair
2
0
and
2
0
proper
tail
X
tail
proper
X
false
tail
ok
X
tail
X
tail
mark
X
tail
X
true
U11
4
5152
cons
2
0
s
1
1
19734
take
2
0
take
2
2
25342
top
1
0
and
2
30435
pair
2
1
3190
fst
1
22295
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
5576
fst
1
0
U12
2
2
25320
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
27869
0
0
1090
sel
2
0
sel
2
1751
s
1
0
afterNth
2
29044
nil
0
19891
tail
1
1
0
splitAt
2
0
mark
1
1
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
18407
natsFrom
1
0
active
1
0
snd
1
4811
tt
0
10509
pair
2
0
and
2
0
proper
U12
X1
X2
U12
proper
X1
proper
X2
false
U12
ok
X1
ok
X2
U12
X1
X2
U12
mark
X1
X2
U12
X1
X2
true
U11
4
5152
cons
2
0
s
1
1
1
take
2
0
take
2
2
2
top
1
0
and
2
30435
pair
2
1
26107
fst
1
2
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
30352
U12
2
2
0
tail
1
27345
proper
1
1
ok
1
1
4004
0
0
9311
sel
2
0
sel
2
22786
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
4811
tt
0
1
pair
2
0
and
2
0
U12
mark
X1
X2
U12
X1
X2
U12
mark
X1
X2
U12
X1
X2
true
U11
4
2
cons
2
0
s
1
1
1
take
2
0
take
2
2
482
top
1
0
and
2
16560
pair
2
1
2
fst
1
2
top
1
0
natsFrom
1
1
24825
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
30895
U12
2
1
0
tail
1
27345
proper
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
23490
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
19177
tt
0
1
pair
2
0
and
2
0
proper
and
X1
X2
and
proper
X1
proper
X2
false
and
ok
X1
ok
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
true
U11
4
2
cons
2
0
s
1
1
1
take
2
0
take
2
2
11875
top
1
0
and
2
7531
pair
2
1
2
fst
1
2
top
1
0
natsFrom
1
1
13881
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
16387
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
21559
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
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
2
tt
0
1
pair
2
0
and
2
1
0
proper
head
X
head
proper
X
false
head
mark
X
head
X
head
ok
X
head
X
true
U11
4
17267
cons
2
0
s
1
1
32353
take
2
0
take
2
2
11875
top
1
0
and
2
8234
pair
2
1
9543
fst
1
10182
top
1
0
natsFrom
1
1
1
head
1
1
0
splitAt
2
11765
fst
1
0
U12
2
2
42654
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
21559
0
0
1
sel
2
0
sel
2
2
s
1
0
afterNth
2
26837
nil
0
11414
tail
1
0
splitAt
2
0
mark
1
1
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
11804
snd
1
0
cons
2
1
2
19214
natsFrom
1
0
active
1
0
snd
1
2
tt
0
26537
pair
2
0
and
2
0
proper
natsFrom
X
natsFrom
proper
X
false
natsFrom
mark
X
natsFrom
X
natsFrom
ok
X
natsFrom
X
true
U11
4
22101
cons
2
0
s
1
1
32353
take
2
0
take
2
2
30530
top
1
0
and
2
8234
pair
2
1
9607
fst
1
2
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
11765
fst
1
0
U12
2
2
64240
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
4418
0
0
196
sel
2
0
sel
2
13579
s
1
0
afterNth
2
26837
nil
0
57134
tail
1
0
splitAt
2
0
mark
1
1
10741
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
25054
snd
1
0
cons
2
1
2
32537
natsFrom
1
1
0
active
1
0
snd
1
2
tt
0
32207
pair
2
0
and
2
0
proper
afterNth
X1
X2
afterNth
proper
X1
proper
X2
false
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
ok
X1
ok
X2
afterNth
X1
X2
true
U11
4
23655
cons
2
0
s
1
1
1
take
2
0
take
2
2
2
top
1
0
and
2
2939
pair
2
1
8742
fst
1
2
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
2
fst
1
0
U12
2
2
64240
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
12881
0
0
1
sel
2
0
sel
2
13579
s
1
0
afterNth
2
2
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
20987
afterNth
2
1
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
2
tt
0
32207
pair
2
0
and
2
0
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
true
U11
4
2
cons
2
0
s
1
1
1
take
2
0
take
2
2
2
top
1
0
and
2
2939
pair
2
1
2
fst
1
2
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
16521
fst
1
0
U12
2
2
88366
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
9911
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
31992
afterNth
2
2
0
proper
1
0
U11
4
0
active
1
1
head
1
2
snd
1
0
cons
2
1
2
1
natsFrom
1
0
active
1
0
snd
1
2
tt
0
1
pair
2
0
and
2
0
proper
fst
X
fst
proper
X
false
fst
ok
X
fst
X
fst
mark
X
fst
X
true
U11
4
15214
cons
2
0
s
1
1
1
take
2
0
take
2
2
15343
top
1
0
and
2
20023
pair
2
1
15062
fst
1
17221
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
21762
fst
1
1
0
U12
2
2
117584
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
4390
0
0
20099
sel
2
0
sel
2
2
s
1
0
afterNth
2
2
nil
0
2998
tail
1
0
splitAt
2
0
mark
1
1
31992
afterNth
2
0
proper
1
0
U11
4
0
active
1
1
head
1
13135
snd
1
0
cons
2
1
2
32435
natsFrom
1
0
active
1
0
snd
1
2
tt
0
46716
pair
2
0
and
2
0
proper
U11
X1
X2
X3
X4
U11
proper
X1
proper
X2
proper
X3
proper
X4
false
U11
ok
X1
ok
X2
ok
X3
ok
X4
U11
X1
X2
X3
X4
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
true
U11
4
2
cons
2
0
s
1
1
1
take
2
0
take
2
2
23861
top
1
0
and
2
12572
pair
2
1
2
fst
1
47115
top
1
0
natsFrom
1
1
1
head
1
0
splitAt
2
26412
fst
1
0
U12
2
2
2
U12
2
0
tail
1
27345
proper
1
1
ok
1
1
834
0
0
94
sel
2
0
sel
2
2
s
1
0
afterNth
2
30824
nil
0
1
tail
1
0
splitAt
2
0
mark
1
1
2215
afterNth
2
0
proper
1
0
U11
4
2
0
active
1
1
head
1
25940
snd
1
0
cons
2
1
2
15781
natsFrom
1
0
active
1
0
snd
1
295
tt
0
16686
pair
2
0
and
2
0
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
true
U11
4
1
2
3
4
18486
cons
2
0
s
1
2
take
2
0
take
2
5795
top
1
0
and
2
1
2
47487
pair
2
2
24318
fst
1
7035
top
1
0
natsFrom
1
1
38236
head
1
0
splitAt
2
5823
fst
1
0
U12
2
17426
U12
2
0
tail
1
27631
proper
1
1
1
ok
1
1
18246
0
0
1
sel
2
0
sel
2
1
2
21797
s
1
0
afterNth
2
1
2
1
nil
0
25783
tail
1
0
splitAt
2
0
mark
1
1
5967
afterNth
2
0
proper
1
0
U11
4
1
0
active
1
1
head
1
1
1
snd
1
0
cons
2
1
1
natsFrom
1
0
active
1
0
snd
1
27114
tt
0
1
pair
2
0
and
2
0
sel
X1
mark
X2
mark
sel
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
NaTT
certifiable-1.6