U11
tt
N
XS
U12
tt
activate
N
activate
XS
U12
tt
N
XS
snd
splitAt
activate
N
activate
XS
U21
tt
X
U22
tt
activate
X
U22
tt
X
activate
X
U31
tt
N
U32
tt
activate
N
U32
tt
N
activate
N
U41
tt
N
XS
U42
tt
activate
N
activate
XS
U42
tt
N
XS
head
afterNth
activate
N
activate
XS
U51
tt
Y
U52
tt
activate
Y
U52
tt
Y
activate
Y
U61
tt
N
X
XS
U62
tt
activate
N
activate
X
activate
XS
U62
tt
N
X
XS
U63
tt
activate
N
activate
X
activate
XS
U63
tt
N
X
XS
U64
splitAt
activate
N
activate
XS
activate
X
U64
pair
YS
ZS
X
pair
cons
activate
X
YS
ZS
U71
tt
XS
U72
tt
activate
XS
U72
tt
XS
activate
XS
U81
tt
N
XS
U82
tt
activate
N
activate
XS
U82
tt
N
XS
fst
splitAt
activate
N
activate
XS
afterNth
N
XS
U11
tt
N
XS
fst
pair
X
Y
U21
tt
X
head
cons
N
XS
U31
tt
N
natsFrom
N
cons
N
n__natsFrom
s
N
sel
N
XS
U41
tt
N
XS
snd
pair
X
Y
U51
tt
Y
splitAt
0
XS
pair
nil
XS
splitAt
s
N
cons
X
XS
U61
tt
N
X
activate
XS
tail
cons
N
XS
U71
tt
activate
XS
take
N
XS
U81
tt
N
XS
natsFrom
X
n__natsFrom
X
activate
n__natsFrom
X
natsFrom
X
activate
X
X
2.2
U12
tt
N
XS
splitAt
activate
N
activate
XS
U21
tt
X
U22
tt
activate
X
U52
tt
Y
activate
Y
U81
tt
N
XS
U82
tt
activate
N
activate
XS
U11
tt
N
XS
activate
N
U72
tt
XS
activate
XS
head
cons
N
XS
U31
tt
N
U81
tt
N
XS
activate
XS
U11
tt
N
XS
activate
XS
U71
tt
XS
activate
XS
U42
tt
N
XS
head
afterNth
activate
N
activate
XS
U82
tt
N
XS
activate
XS
afterNth
N
XS
U11
tt
N
XS
U63
tt
N
X
XS
U64
splitAt
activate
N
activate
XS
activate
X
U82
tt
N
XS
fst
splitAt
activate
N
activate
XS
splitAt
s
N
cons
X
XS
activate
XS
U42
tt
N
XS
activate
XS
U61
tt
N
X
XS
U62
tt
activate
N
activate
X
activate
XS
U63
tt
N
X
XS
activate
XS
U51
tt
Y
U52
tt
activate
Y
U82
tt
N
XS
activate
N
activate
n__natsFrom
X
natsFrom
X
U64
pair
YS
ZS
X
activate
X
U11
tt
N
XS
U12
tt
activate
N
activate
XS
U51
tt
Y
activate
Y
U31
tt
N
activate
N
U82
tt
N
XS
splitAt
activate
N
activate
XS
U61
tt
N
X
XS
activate
N
U31
tt
N
U32
tt
activate
N
U71
tt
XS
U72
tt
activate
XS
U42
tt
N
XS
afterNth
activate
N
activate
XS
fst
pair
X
Y
U21
tt
X
U62
tt
N
X
XS
activate
N
U63
tt
N
X
XS
splitAt
activate
N
activate
XS
splitAt
s
N
cons
X
XS
U61
tt
N
X
activate
XS
U63
tt
N
X
XS
activate
X
tail
cons
N
XS
U71
tt
activate
XS
U32
tt
N
activate
N
U21
tt
X
activate
X
U41
tt
N
XS
activate
XS
U62
tt
N
X
XS
activate
XS
tail
cons
N
XS
activate
XS
U41
tt
N
XS
activate
N
snd
pair
X
Y
U51
tt
Y
take
N
XS
U81
tt
N
XS
U62
tt
N
X
XS
U63
tt
activate
N
activate
X
activate
XS
U41
tt
N
XS
U42
tt
activate
N
activate
XS
U81
tt
N
XS
activate
N
U62
tt
N
X
XS
activate
X
U61
tt
N
X
XS
activate
XS
U12
tt
N
XS
activate
N
U12
tt
N
XS
snd
splitAt
activate
N
activate
XS
U22
tt
X
activate
X
U63
tt
N
X
XS
activate
N
U61
tt
N
X
XS
activate
X
U12
tt
N
XS
activate
XS
U42
tt
N
XS
activate
N
sel
N
XS
U41
tt
N
XS
true
sel
N
XS
U41
tt
N
XS
false
U41
tt
N
XS
U42
tt
activate
N
activate
XS
false
U42
tt
N
XS
afterNth
activate
N
activate
XS
false
U42
tt
N
XS
activate
N
false
U42
tt
N
XS
activate
XS
false
take
N
XS
U81
tt
N
XS
false
U81
tt
N
XS
activate
N
false
U41
tt
N
XS
activate
N
false
afterNth
N
XS
U11
tt
N
XS
false
U11
tt
N
XS
U12
tt
activate
N
activate
XS
false
U12
tt
N
XS
snd
splitAt
activate
N
activate
XS
false
snd
pair
X
Y
U51
tt
Y
false
U51
tt
Y
U52
tt
activate
Y
false
U51
tt
Y
activate
Y
false
U12
tt
N
XS
activate
N
false
U12
tt
N
XS
activate
XS
false
tail
cons
N
XS
activate
XS
false
U42
tt
N
XS
head
afterNth
activate
N
activate
XS
false
U41
tt
N
XS
activate
XS
false
U11
tt
N
XS
activate
XS
false
U81
tt
N
XS
activate
XS
false
tail
cons
N
XS
U71
tt
activate
XS
false
U71
tt
XS
U72
tt
activate
XS
false
U71
tt
XS
activate
XS
false
head
cons
N
XS
U31
tt
N
false
U31
tt
N
U32
tt
activate
N
false
U32
tt
N
activate
N
false
U31
tt
N
activate
N
false
U72
tt
XS
activate
XS
false
U11
tt
N
XS
activate
N
false
U81
tt
N
XS
U82
tt
activate
N
activate
XS
false
U82
tt
N
XS
fst
splitAt
activate
N
activate
XS
false
fst
pair
X
Y
U21
tt
X
false
U21
tt
X
activate
X
false
U82
tt
N
XS
splitAt
activate
N
activate
XS
false
U82
tt
N
XS
activate
N
false
U82
tt
N
XS
activate
XS
false
U52
tt
Y
activate
Y
false
U21
tt
X
U22
tt
activate
X
false
U22
tt
X
activate
X
false
U12
tt
N
XS
splitAt
activate
N
activate
XS
false
U61
tt
N
X
XS
U62
tt
activate
N
activate
X
activate
XS
U62
tt
N
X
XS
U63
tt
activate
N
activate
X
activate
XS
splitAt
s
N
cons
X
XS
U61
tt
N
X
activate
XS
U63
tt
N
X
XS
splitAt
activate
N
activate
XS
true
U72
2
0
U32
2
0
U21
2
0
U11
3
0
U64
2
0
s
1
1
10
take
2
0
U42
3
0
activate
1
1
1
U82
3
0
take
2
0
U71
2
0
U81
3
0
pair
2
0
fst
1
0
activate
1
0
natsFrom
1
35496
head
1
0
U63
4
0
splitAt
2
0
U72
2
0
fst
1
0
U52
2
0
U12
3
0
n__natsFrom
1
35495
U42
3
0
U12
3
0
tail
1
0
U62
4
1
2
4
3
0
0
0
sel
2
0
sel
2
0
afterNth
2
0
nil
0
0
U62
4
0
tail
1
0
U63
4
1
2
4
0
splitAt
2
1
2
5
afterNth
2
0
U32
2
0
U52
2
0
U61
4
0
U51
2
0
U11
3
0
U64
2
0
U31
2
0
head
1
0
snd
1
0
U41
3
0
cons
2
2
1
natsFrom
1
0
snd
1
0
U21
2
0
U81
3
0
U82
3
0
U22
2
0
tt
0
8
U71
2
0
U22
2
0
U51
2
0
U41
3
0
U31
2
0
U61
4
1
2
4
6
natsFrom
N
cons
N
n__natsFrom
s
N
activate
n__natsFrom
X
natsFrom
X
activate
X
X
natsFrom
X
n__natsFrom
X
U63
tt
N
X
XS
U64
splitAt
activate
N
activate
XS
activate
X
false
U64
pair
YS
ZS
X
activate
X
false
U63
tt
N
X
XS
activate
N
false
U63
tt
N
X
XS
activate
XS
false
U63
tt
N
X
XS
activate
X
false
U62
tt
N
X
XS
activate
X
false
U62
tt
N
X
XS
activate
XS
false
U61
tt
N
X
XS
activate
N
false
U61
tt
N
X
XS
activate
X
false
U61
tt
N
X
XS
activate
XS
false
splitAt
s
N
cons
X
XS
activate
XS
false
U62
tt
N
X
XS
activate
N
false
activate
n__natsFrom
X
natsFrom
X
false
NaTT
certifiable-1.6