natsFrom
N
cons
N
n__natsFrom
n__s
N
fst
pair
XS
YS
XS
snd
pair
XS
YS
YS
splitAt
0
XS
pair
nil
XS
splitAt
s
N
cons
X
XS
u
splitAt
N
activate
XS
N
X
activate
XS
u
pair
YS
ZS
N
X
XS
pair
cons
activate
X
YS
ZS
head
cons
N
XS
N
tail
cons
N
XS
activate
XS
sel
N
XS
head
afterNth
N
XS
take
N
XS
fst
splitAt
N
XS
afterNth
N
XS
snd
splitAt
N
XS
natsFrom
X
n__natsFrom
X
s
X
n__s
X
activate
n__natsFrom
X
natsFrom
activate
X
activate
n__s
X
s
activate
X
activate
X
X
2.2
sel
N
XS
head
afterNth
N
XS
activate
n__natsFrom
X
natsFrom
activate
X
splitAt
s
N
cons
X
XS
activate
XS
take
N
XS
splitAt
N
XS
splitAt
s
N
cons
X
XS
splitAt
N
activate
XS
splitAt
s
N
cons
X
XS
activate
XS
tail
cons
N
XS
activate
XS
activate
n__natsFrom
X
activate
X
splitAt
s
N
cons
X
XS
u
splitAt
N
activate
XS
N
X
activate
XS
afterNth
N
XS
splitAt
N
XS
activate
n__s
X
activate
X
sel
N
XS
afterNth
N
XS
u
pair
YS
ZS
N
X
XS
activate
X
take
N
XS
fst
splitAt
N
XS
activate
n__s
X
s
activate
X
afterNth
N
XS
snd
splitAt
N
XS
true
tail
cons
N
XS
activate
XS
false
take
N
XS
fst
splitAt
N
XS
false
sel
N
XS
afterNth
N
XS
false
afterNth
N
XS
snd
splitAt
N
XS
false
take
N
XS
splitAt
N
XS
false
afterNth
N
XS
splitAt
N
XS
false
splitAt
s
N
cons
X
XS
splitAt
N
activate
XS
true
s
1
1
1
take
2
0
u
4
0
activate
1
1
10803
take
2
0
u
4
0
pair
2
0
fst
1
0
activate
1
0
natsFrom
1
31456
head
1
0
splitAt
2
0
fst
1
0
n__natsFrom
1
20653
n__s
1
1
1
tail
1
0
0
0
0
sel
2
0
sel
2
0
s
1
0
afterNth
2
0
nil
0
0
tail
1
0
splitAt
2
1
2
0
afterNth
2
0
head
1
0
snd
1
0
cons
2
2
10803
natsFrom
1
0
snd
1
0
activate
n__s
X
s
activate
X
natsFrom
N
cons
N
n__natsFrom
n__s
N
activate
X
X
activate
n__natsFrom
X
natsFrom
activate
X
natsFrom
X
n__natsFrom
X
s
X
n__s
X
splitAt
s
N
cons
X
XS
activate
XS
false
splitAt
s
N
cons
X
XS
activate
XS
false
splitAt
s
N
cons
X
XS
u
splitAt
N
activate
XS
N
X
activate
XS
false
u
pair
YS
ZS
N
X
XS
activate
X
false
activate
n__s
X
activate
X
activate
n__natsFrom
X
activate
X
true
s
1
1
0
take
2
0
u
4
0
activate
1
1
10803
take
2
0
u
4
0
pair
2
0
fst
1
0
activate
1
1
0
natsFrom
1
10804
head
1
0
splitAt
2
0
fst
1
0
n__natsFrom
1
1
1
n__s
1
1
0
tail
1
0
0
0
0
sel
2
0
sel
2
0
s
1
0
afterNth
2
0
nil
0
0
tail
1
0
splitAt
2
0
afterNth
2
0
head
1
0
snd
1
0
cons
2
10803
natsFrom
1
0
snd
1
0
activate
n__s
X
activate
X
natsFrom
N
cons
N
n__natsFrom
n__s
N
activate
X
X
s
X
n__s
X
activate
n__s
X
activate
X
true
s
1
1
1
take
2
0
u
4
0
activate
1
1
10803
take
2
0
u
4
0
pair
2
0
fst
1
0
activate
1
1
0
natsFrom
1
10804
head
1
0
splitAt
2
0
fst
1
0
n__natsFrom
1
1
1
n__s
1
1
1
tail
1
0
0
0
0
sel
2
0
sel
2
0
s
1
0
afterNth
2
0
nil
0
0
tail
1
0
splitAt
2
0
afterNth
2
0
head
1
0
snd
1
0
cons
2
10804
natsFrom
1
0
snd
1
0
natsFrom
N
cons
N
n__natsFrom
n__s
N
activate
X
X
s
X
n__s
X
activate
n__natsFrom
X
natsFrom
activate
X
false
activate
n__s
X
s
activate
X
false
sel
N
XS
head
afterNth
N
XS
false
NaTT
certifiable-1.6