a__U11
tt
N
XS
a__U12
tt
N
XS
a__U12
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U21
tt
X
a__U22
tt
X
a__U22
tt
X
mark
X
a__U31
tt
N
a__U32
tt
N
a__U32
tt
N
mark
N
a__U41
tt
N
XS
a__U42
tt
N
XS
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U51
tt
Y
a__U52
tt
Y
a__U52
tt
Y
mark
Y
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
a__U64
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U71
tt
XS
a__U72
tt
XS
a__U72
tt
XS
mark
XS
a__U81
tt
N
XS
a__U82
tt
N
XS
a__U82
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__afterNth
N
XS
a__U11
tt
N
XS
a__fst
pair
X
Y
a__U21
tt
X
a__head
cons
N
XS
a__U31
tt
N
a__natsFrom
N
cons
mark
N
natsFrom
s
N
a__sel
N
XS
a__U41
tt
N
XS
a__snd
pair
X
Y
a__U51
tt
Y
a__splitAt
0
XS
pair
nil
mark
XS
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
a__tail
cons
N
XS
a__U71
tt
XS
a__take
N
XS
a__U81
tt
N
XS
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
snd
X
a__snd
mark
X
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U22
X1
X2
a__U22
mark
X1
X2
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U32
X1
X2
a__U32
mark
X1
X2
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
head
X
a__head
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
U61
X1
X2
X3
X4
a__U61
mark
X1
X2
X3
X4
mark
U62
X1
X2
X3
X4
a__U62
mark
X1
X2
X3
X4
mark
U63
X1
X2
X3
X4
a__U63
mark
X1
X2
X3
X4
mark
U64
X1
X2
a__U64
mark
X1
X2
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
mark
fst
X
a__fst
mark
X
mark
natsFrom
X
a__natsFrom
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
tail
X
a__tail
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
tt
tt
mark
pair
X1
X2
pair
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
0
0
mark
nil
nil
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
a__snd
X
snd
X
a__splitAt
X1
X2
splitAt
X1
X2
a__U21
X1
X2
U21
X1
X2
a__U22
X1
X2
U22
X1
X2
a__U31
X1
X2
U31
X1
X2
a__U32
X1
X2
U32
X1
X2
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U42
X1
X2
X3
U42
X1
X2
X3
a__head
X
head
X
a__afterNth
X1
X2
afterNth
X1
X2
a__U51
X1
X2
U51
X1
X2
a__U52
X1
X2
U52
X1
X2
a__U61
X1
X2
X3
X4
U61
X1
X2
X3
X4
a__U62
X1
X2
X3
X4
U62
X1
X2
X3
X4
a__U63
X1
X2
X3
X4
U63
X1
X2
X3
X4
a__U64
X1
X2
U64
X1
X2
a__U71
X1
X2
U71
X1
X2
a__U72
X1
X2
U72
X1
X2
a__U81
X1
X2
X3
U81
X1
X2
X3
a__U82
X1
X2
X3
U82
X1
X2
X3
a__fst
X
fst
X
a__natsFrom
X
natsFrom
X
a__sel
X1
X2
sel
X1
X2
a__tail
X
tail
X
a__take
X1
X2
take
X1
X2
2.2
a__U12
tt
N
XS
a__splitAt
mark
N
mark
XS
a__head
cons
N
XS
a__U31
tt
N
a__U51
tt
Y
a__U52
tt
Y
a__U32
tt
N
mark
N
mark
afterNth
X1
X2
mark
X1
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
mark
head
X
mark
X
mark
pair
X1
X2
mark
X2
a__U63
tt
N
X
XS
mark
XS
a__U42
tt
N
XS
mark
XS
a__U63
tt
N
X
XS
mark
N
mark
fst
X
a__fst
mark
X
mark
U82
X1
X2
X3
mark
X1
a__U22
tt
X
mark
X
mark
tail
X
mark
X
a__take
N
XS
a__U81
tt
N
XS
a__snd
pair
X
Y
a__U51
tt
Y
mark
snd
X
mark
X
mark
U62
X1
X2
X3
X4
a__U62
mark
X1
X2
X3
X4
a__sel
N
XS
a__U41
tt
N
XS
mark
U22
X1
X2
a__U22
mark
X1
X2
a__natsFrom
N
mark
N
mark
natsFrom
X
a__natsFrom
mark
X
mark
U81
X1
X2
X3
mark
X1
mark
fst
X
mark
X
mark
U61
X1
X2
X3
X4
mark
X1
mark
natsFrom
X
mark
X
a__U64
pair
YS
ZS
X
mark
ZS
a__U52
tt
Y
mark
Y
a__U63
tt
N
X
XS
a__splitAt
mark
N
mark
XS
mark
tail
X
a__tail
mark
X
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U64
X1
X2
a__U64
mark
X1
X2
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
mark
U12
X1
X2
X3
mark
X1
mark
U22
X1
X2
mark
X1
a__U42
tt
N
XS
mark
N
mark
U72
X1
X2
a__U72
mark
X1
X2
a__U31
tt
N
a__U32
tt
N
mark
sel
X1
X2
mark
X2
mark
splitAt
X1
X2
mark
X2
a__U81
tt
N
XS
a__U82
tt
N
XS
mark
pair
X1
X2
mark
X1
a__U71
tt
XS
a__U72
tt
XS
mark
U21
X1
X2
mark
X1
a__U82
tt
N
XS
a__splitAt
mark
N
mark
XS
mark
U64
X1
X2
mark
X1
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__U11
tt
N
XS
a__U12
tt
N
XS
a__afterNth
N
XS
a__U11
tt
N
XS
mark
U52
X1
X2
mark
X1
a__splitAt
0
XS
mark
XS
mark
s
X
mark
X
mark
snd
X
a__snd
mark
X
mark
U63
X1
X2
X3
X4
a__U63
mark
X1
X2
X3
X4
mark
U72
X1
X2
mark
X1
mark
U71
X1
X2
mark
X1
a__U21
tt
X
a__U22
tt
X
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
mark
U31
X1
X2
mark
X1
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U42
tt
N
XS
a__afterNth
mark
N
mark
XS
a__U41
tt
N
XS
a__U42
tt
N
XS
mark
take
X1
X2
mark
X2
mark
U62
X1
X2
X3
X4
mark
X1
mark
U61
X1
X2
X3
X4
a__U61
mark
X1
X2
X3
X4
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
mark
head
X
a__head
mark
X
mark
U42
X1
X2
X3
mark
X1
mark
sel
X1
X2
mark
X1
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U32
X1
X2
a__U32
mark
X1
X2
a__U72
tt
XS
mark
XS
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
take
X1
X2
mark
X1
mark
U71
X1
X2
a__U71
mark
X1
X2
a__fst
pair
X
Y
a__U21
tt
X
mark
cons
X1
X2
mark
X1
a__U82
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
mark
U32
X1
X2
mark
X1
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
afterNth
X1
X2
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
U51
X1
X2
mark
X1
a__U12
tt
N
XS
mark
N
a__tail
cons
N
XS
a__U71
tt
XS
a__U12
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U64
pair
YS
ZS
X
mark
X
mark
U11
X1
X2
X3
mark
X1
mark
U51
X1
X2
a__U51
mark
X1
X2
a__U82
tt
N
XS
mark
N
a__U82
tt
N
XS
mark
XS
a__U12
tt
N
XS
mark
XS
mark
splitAt
X1
X2
mark
X1
mark
U63
X1
X2
X3
X4
mark
X1
mark
U41
X1
X2
X3
mark
X1
true
mark
U41
X1
X2
X3
mark
X1
mark
splitAt
X1
X2
mark
X1
mark
U63
X1
X2
X3
X4
mark
X1
mark
U72
X1
X2
mark
X1
mark
snd
X
a__snd
mark
X
mark
U63
X1
X2
X3
X4
a__U63
mark
X1
X2
X3
X4
a__U12
tt
N
XS
mark
XS
a__splitAt
0
XS
mark
XS
mark
s
X
mark
X
a__U82
tt
N
XS
mark
XS
a__U82
tt
N
XS
mark
N
mark
U52
X1
X2
mark
X1
a__afterNth
N
XS
a__U11
tt
N
XS
mark
U51
X1
X2
a__U51
mark
X1
X2
a__U11
tt
N
XS
a__U12
tt
N
XS
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
U64
X1
X2
mark
X1
a__U82
tt
N
XS
a__splitAt
mark
N
mark
XS
mark
U21
X1
X2
mark
X1
mark
U11
X1
X2
X3
mark
X1
a__U71
tt
XS
a__U72
tt
XS
mark
pair
X1
X2
mark
X1
a__U64
pair
YS
ZS
X
mark
X
a__U81
tt
N
XS
a__U82
tt
N
XS
mark
splitAt
X1
X2
mark
X2
a__U12
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
mark
sel
X1
X2
mark
X2
a__tail
cons
N
XS
a__U71
tt
XS
a__U31
tt
N
a__U32
tt
N
a__U12
tt
N
XS
mark
N
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
U51
X1
X2
mark
X1
a__U42
tt
N
XS
mark
N
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
U22
X1
X2
mark
X1
mark
afterNth
X1
X2
mark
X2
mark
U12
X1
X2
X3
mark
X1
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U32
X1
X2
mark
X1
a__U82
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
mark
cons
X1
X2
mark
X1
mark
U64
X1
X2
a__U64
mark
X1
X2
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U52
X1
X2
a__U52
mark
X1
X2
a__fst
pair
X
Y
a__U21
tt
X
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
mark
take
X1
X2
mark
X1
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
tail
X
a__tail
mark
X
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
a__U63
tt
N
X
XS
a__splitAt
mark
N
mark
XS
a__U52
tt
Y
mark
Y
a__U64
pair
YS
ZS
X
mark
ZS
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
mark
natsFrom
X
mark
X
mark
U61
X1
X2
X3
X4
mark
X1
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U81
X1
X2
X3
mark
X1
mark
fst
X
mark
X
a__U72
tt
XS
mark
XS
mark
natsFrom
X
a__natsFrom
mark
X
mark
U32
X1
X2
a__U32
mark
X1
X2
a__natsFrom
N
mark
N
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U22
X1
X2
a__U22
mark
X1
X2
a__sel
N
XS
a__U41
tt
N
XS
mark
U62
X1
X2
X3
X4
a__U62
mark
X1
X2
X3
X4
mark
sel
X1
X2
mark
X1
mark
snd
X
mark
X
mark
U42
X1
X2
X3
mark
X1
mark
head
X
a__head
mark
X
a__take
N
XS
a__U81
tt
N
XS
a__snd
pair
X
Y
a__U51
tt
Y
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
mark
tail
X
mark
X
mark
U61
X1
X2
X3
X4
a__U61
mark
X1
X2
X3
X4
a__U22
tt
X
mark
X
mark
U82
X1
X2
X3
mark
X1
mark
U62
X1
X2
X3
X4
mark
X1
mark
fst
X
a__fst
mark
X
a__U41
tt
N
XS
a__U42
tt
N
XS
mark
take
X1
X2
mark
X2
a__U42
tt
N
XS
a__afterNth
mark
N
mark
XS
a__U63
tt
N
X
XS
mark
N
a__U42
tt
N
XS
mark
XS
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U63
tt
N
X
XS
mark
XS
mark
U31
X1
X2
mark
X1
mark
pair
X1
X2
mark
X2
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
mark
head
X
mark
X
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
a__U21
tt
X
a__U22
tt
X
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
afterNth
X1
X2
mark
X1
a__U32
tt
N
mark
N
a__head
cons
N
XS
a__U31
tt
N
a__U51
tt
Y
a__U52
tt
Y
a__U12
tt
N
XS
a__splitAt
mark
N
mark
XS
mark
U71
X1
X2
mark
X1
true
a__U63
4
1
16
2
22
3
23
4
35
0
U21
2
1
17
2
18
0
a__U82
3
1
61
2
60
3
59
0
a__U72
2
1
26
2
23
0
a__U71
2
1
26
2
24
0
U11
3
1
43
2
42
3
45
0
U64
2
1
0
2
23
0
s
1
1
0
a__U31
2
1
21
2
24
0
a__head
1
1
26
a__natsFrom
1
1
22
a__snd
1
1
5
a__afterNth
2
1
42
2
48
0
U42
3
1
62
2
61
3
63
0
a__U82
3
1
39
2
38
3
37
0
take
2
1
48
2
25586
0
U71
2
1
4
2
3
0
a__U62
4
1
29
2
22
3
29
4
35
0
pair
2
1
20
2
27
0
fst
1
1
1
natsFrom
1
1
18005
a__snd
1
1
6
a__U51
2
1
19
2
24
0
U63
4
1
16
2
22
3
23
4
35
0
a__U22
2
1
14
2
1
0
splitAt
2
1
22
2
35
0
a__U64
2
1
0
2
23
0
U72
2
1
4
2
3
0
a__U11
3
2
51
3
42
0
a__U31
2
1
7
2
3
0
a__U51
2
1
23
2
29
0
a__U81
3
1
44
2
46
3
45
0
a__take
2
1
69
2
14033
0
U12
3
1
22
2
42
3
41
0
a__U62
4
1
34
2
39
3
23
4
37
0
a__U42
3
1
72
2
76
3
74
0
a__U41
3
1
55
2
3090
3
63
0
a__U64
2
1
1
2
22
0
a__U12
3
1
16
2
43
3
41
0
a__U21
2
1
39
2
40
0
a__U81
3
1
66
2
68
3
67
0
a__U61
4
1
34
2
39
3
23
4
37
0
a__fst
1
1
1
a__natsFrom
1
1
18005
tail
1
1
10
mark
1
1
22
0
0
4
a__U21
2
1
17
2
18
0
a__U32
2
1
5
2
2
0
sel
2
1
3090
2
63
0
afterNth
2
1
42
2
48
0
nil
0
7
a__splitAt
2
1
22
2
35
0
U62
4
1
29
2
22
3
29
4
35
0
a__U52
2
2
23
0
a__sel
2
1
3112
2
85
0
mark
1
1
0
a__U72
2
1
4
2
3
0
a__U11
3
1
43
2
42
3
45
0
U32
2
1
5
2
2
0
a__sel
2
1
3090
2
63
0
a__U42
3
1
62
2
61
3
63
0
a__U52
2
1
24
2
1
0
a__U12
3
1
22
2
42
3
41
0
a__U63
4
1
34
2
39
3
22
4
37
0
U52
2
1
24
2
1
0
U61
4
1
23
2
22
3
30
4
35
0
a__U22
2
2
23
0
U31
2
1
7
2
3
0
a__U71
2
1
4
2
3
0
head
1
1
15
a__afterNth
2
1
51
2
69
0
a__splitAt
2
1
39
2
37
0
cons
2
1
0
2
0
0
a__U61
4
1
23
2
22
3
30
4
35
0
snd
1
1
6
a__take
2
1
48
2
25586
0
U81
3
1
44
2
46
3
45
0
a__U41
3
1
77
2
76
3
75
0
U82
3
1
39
2
38
3
37
0
tt
0
5
a__fst
1
1
23
U22
2
1
14
2
1
0
U51
2
1
23
2
29
0
a__tail
1
1
10
U41
3
1
55
2
3090
3
63
0
a__tail
1
1
32
a__U32
2
1
20
2
23
0
a__head
1
1
15
a__head
cons
N
XS
a__U31
tt
N
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U41
tt
N
XS
a__U42
tt
N
XS
mark
fst
X
a__fst
mark
X
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
mark
U22
X1
X2
a__U22
mark
X1
X2
a__natsFrom
N
mark
N
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
a__U63
tt
N
X
XS
a__splitAt
mark
N
mark
XS
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
tail
X
a__tail
mark
X
mark
U71
X1
X2
a__U71
mark
X1
X2
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
cons
X1
X2
mark
X1
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
U72
X1
X2
a__U72
mark
X1
X2
a__U64
pair
YS
ZS
X
mark
X
a__U71
tt
XS
a__U72
tt
XS
mark
U64
X1
X2
mark
X1
a__afterNth
N
XS
a__U11
tt
N
XS
mark
s
X
mark
X
a__U82
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
a__U71
X1
X2
U71
X1
X2
a__U22
tt
X
mark
X
a__U71
tt
XS
a__U72
tt
XS
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
mark
tail
X
a__tail
mark
X
a__U11
tt
N
XS
a__U12
tt
N
XS
a__U62
X1
X2
X3
X4
U62
X1
X2
X3
X4
a__U21
tt
X
a__U22
tt
X
a__U72
tt
XS
mark
XS
a__head
cons
N
XS
a__U31
tt
N
mark
U32
X1
X2
a__U32
mark
X1
X2
a__U31
X1
X2
U31
X1
X2
a__natsFrom
X
natsFrom
X
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
a__U12
X1
X2
X3
U12
X1
X2
X3
a__afterNth
N
XS
a__U11
tt
N
XS
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
a__U81
tt
N
XS
a__U82
tt
N
XS
mark
0
0
a__tail
cons
N
XS
a__U71
tt
XS
a__tail
X
tail
X
a__fst
X
fst
X
mark
U22
X1
X2
a__U22
mark
X1
X2
a__natsFrom
N
cons
mark
N
natsFrom
s
N
a__take
N
XS
a__U81
tt
N
XS
a__splitAt
X1
X2
splitAt
X1
X2
mark
U62
X1
X2
X3
X4
a__U62
mark
X1
X2
X3
X4
a__U31
tt
N
a__U32
tt
N
a__head
X
head
X
mark
U21
X1
X2
a__U21
mark
X1
X2
a__snd
X
snd
X
a__U52
tt
Y
mark
Y
mark
head
X
a__head
mark
X
a__U41
tt
N
XS
a__U42
tt
N
XS
a__take
X1
X2
take
X1
X2
a__fst
pair
X
Y
a__U21
tt
X
a__splitAt
0
XS
pair
nil
mark
XS
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
mark
natsFrom
X
a__natsFrom
mark
X
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U64
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U81
X1
X2
X3
U81
X1
X2
X3
mark
tt
tt
a__U64
X1
X2
U64
X1
X2
mark
snd
X
a__snd
mark
X
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__U32
X1
X2
U32
X1
X2
mark
U63
X1
X2
X3
X4
a__U63
mark
X1
X2
X3
X4
a__U63
X1
X2
X3
X4
U63
X1
X2
X3
X4
a__U72
X1
X2
U72
X1
X2
a__sel
N
XS
a__U41
tt
N
XS
a__U41
X1
X2
X3
U41
X1
X2
X3
a__snd
pair
X
Y
a__U51
tt
Y
a__U61
X1
X2
X3
X4
U61
X1
X2
X3
X4
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U51
tt
Y
a__U52
tt
Y
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
mark
fst
X
a__fst
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
a__U22
X1
X2
U22
X1
X2
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
s
X
s
mark
X
a__U32
tt
N
mark
N
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
nil
nil
mark
cons
X1
X2
cons
mark
X1
X2
a__U51
X1
X2
U51
X1
X2
a__U52
X1
X2
U52
X1
X2
mark
U72
X1
X2
a__U72
mark
X1
X2
a__U42
X1
X2
X3
U42
X1
X2
X3
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
U71
X1
X2
a__U71
mark
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
U64
X1
X2
a__U64
mark
X1
X2
a__U21
X1
X2
U21
X1
X2
a__U82
X1
X2
X3
U82
X1
X2
X3
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U61
X1
X2
X3
X4
a__U61
mark
X1
X2
X3
X4
a__sel
X1
X2
sel
X1
X2
a__U12
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__afterNth
N
XS
a__U11
tt
N
XS
false
a__natsFrom
N
mark
N
false
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__splitAt
mark
N
mark
XS
true
a__U71
2
2
a__U31
2
2
a__natsFrom
1
1
fst
1
1
a__U42
3
2
a__fst
1
1
mark
1
1
a__U63
4
2
2
3
U21
2
1
a__U82
3
0
1
2
3
a__U72
2
0
1
U11
3
8
U64
2
2
s
1
6
1
a__head
1
0
a__snd
1
0
a__afterNth
2
9
1
2
U42
3
1
a__U82
3
6
take
2
7
U71
2
7
a__U62
4
5
pair
2
2
natsFrom
1
5
a__snd
1
7
a__U51
2
0
U63
4
2
2
3
a__U22
2
1
splitAt
2
6
a__U64
2
2
U72
2
6
2
a__U11
3
0
1
a__U31
2
2
2
a__U51
2
7
a__U81
3
6
a__take
2
0
1
2
U12
3
7
2
3
a__U62
4
5
1
2
a__U41
3
2
2
a__U64
2
0
1
a__U12
3
0
2
1
3
a__U21
2
0
2
1
a__U81
3
0
2
3
1
a__U61
4
5
1
2
a__natsFrom
1
5
tail
1
7
mark
1
0
0
0
7
a__U21
2
1
a__U32
2
2
sel
2
7
2
1
afterNth
2
9
1
2
nil
0
7
a__splitAt
2
6
U62
4
5
a__U52
2
0
a__sel
2
0
a__U72
2
6
2
a__U11
3
8
U32
2
2
a__sel
2
7
2
1
a__U42
3
1
a__U52
2
5
2
1
a__U12
3
7
2
3
a__U63
4
5
1
2
U52
2
5
2
1
U61
4
6
a__U22
2
0
2
1
U31
2
2
2
a__U71
2
7
head
1
0
1
a__afterNth
2
0
a__splitAt
2
4
1
cons
2
4
1
a__U61
4
6
snd
1
7
a__take
2
7
U81
3
6
a__U41
3
0
2
3
1
U82
3
6
tt
0
3
a__fst
1
0
U22
2
1
U51
2
7
a__tail
1
7
U41
3
2
2
a__tail
1
0
a__U32
2
0
1
2
a__head
1
0
1
a__U63
4
1
44589
2
44589
3
44581
4
44586
0
U21
2
2
22290
a__U82
3
1
2
3
1
a__U72
2
1
1
U11
3
2
3
48041
U64
2
1
0
2
44581
0
s
1
1
0
a__head
1
1
a__snd
1
1
a__afterNth
2
1
2
48042
U42
3
2
3
62799
a__U82
3
2
3
44590
take
2
1
2
44592
U71
2
2
13436
a__U62
4
1
44585
2
44589
3
44582
4
44586
0
pair
2
1
22290
2
18842
0
natsFrom
1
1
22292
a__snd
1
1
3450
a__U51
2
1
1
U63
4
1
44589
2
44589
3
44581
4
44586
0
a__U22
2
2
3916
splitAt
2
1
44589
2
44586
0
a__U64
2
1
0
2
44581
0
U72
2
2
13435
a__U11
3
1
1
a__U31
2
2
14757
a__U51
2
1
2
22291
a__U81
3
2
3
44591
a__take
2
1
2
0
U12
3
2
3
48040
a__U62
4
1
0
2
0
0
a__U41
3
2
3
62800
a__U64
2
1
1
0
a__U12
3
1
2
3
1
a__U21
2
1
2
1
a__U81
3
1
2
3
1
a__U61
4
1
0
2
0
0
a__natsFrom
1
1
22292
tail
1
1
13437
mark
1
1
0
0
18841
a__U21
2
2
22290
a__U32
2
1
2
14757
sel
2
1
2
62801
afterNth
2
1
2
48042
nil
0
0
a__splitAt
2
1
44589
2
44586
0
U62
4
1
44585
2
44589
3
44582
4
44586
0
a__U52
2
1
a__sel
2
1
a__U72
2
2
13435
a__U11
3
2
3
48041
U32
2
1
2
14757
a__sel
2
1
2
62801
a__U42
3
2
3
62799
a__U52
2
1
2
1
a__U12
3
2
3
48040
a__U63
4
1
0
2
0
0
U52
2
1
2
1
U61
4
1
44583
2
44589
3
44584
4
44586
0
a__U22
2
1
2
1
U31
2
2
14757
a__U71
2
2
13436
head
1
1
14756
a__afterNth
2
2
0
a__splitAt
2
1
0
0
cons
2
1
22291
2
0
0
a__U61
4
1
44583
2
44589
3
44584
4
44586
0
snd
1
1
3450
a__take
2
1
2
44592
U81
3
2
3
44591
a__U41
3
1
2
3
0
U82
3
2
3
44590
tt
0
0
a__fst
1
1
U22
2
2
3916
U51
2
1
2
22291
a__tail
1
1
13437
U41
3
2
3
62800
a__tail
1
1
a__U32
2
1
2
1
a__head
1
1
14756
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__U82
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
a__U71
X1
X2
U71
X1
X2
a__U22
tt
X
mark
X
a__U71
tt
XS
a__U72
tt
XS
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
mark
tail
X
a__tail
mark
X
a__U11
tt
N
XS
a__U12
tt
N
XS
a__U62
X1
X2
X3
X4
U62
X1
X2
X3
X4
a__U21
tt
X
a__U22
tt
X
a__U72
tt
XS
mark
XS
a__head
cons
N
XS
a__U31
tt
N
mark
U32
X1
X2
a__U32
mark
X1
X2
a__U31
X1
X2
U31
X1
X2
a__natsFrom
X
natsFrom
X
a__splitAt
s
N
cons
X
XS
a__U61
tt
N
X
XS
a__U12
X1
X2
X3
U12
X1
X2
X3
a__afterNth
N
XS
a__U11
tt
N
XS
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
a__U81
tt
N
XS
a__U82
tt
N
XS
mark
0
0
a__tail
cons
N
XS
a__U71
tt
XS
a__tail
X
tail
X
a__fst
X
fst
X
mark
U22
X1
X2
a__U22
mark
X1
X2
a__natsFrom
N
cons
mark
N
natsFrom
s
N
a__take
N
XS
a__U81
tt
N
XS
a__splitAt
X1
X2
splitAt
X1
X2
mark
U62
X1
X2
X3
X4
a__U62
mark
X1
X2
X3
X4
a__U31
tt
N
a__U32
tt
N
a__head
X
head
X
mark
U21
X1
X2
a__U21
mark
X1
X2
a__snd
X
snd
X
a__U52
tt
Y
mark
Y
mark
head
X
a__head
mark
X
a__U41
tt
N
XS
a__U42
tt
N
XS
a__take
X1
X2
take
X1
X2
a__fst
pair
X
Y
a__U21
tt
X
a__splitAt
0
XS
pair
nil
mark
XS
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
mark
natsFrom
X
a__natsFrom
mark
X
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U64
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U81
X1
X2
X3
U81
X1
X2
X3
mark
tt
tt
a__U64
X1
X2
U64
X1
X2
mark
snd
X
a__snd
mark
X
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
a__U32
X1
X2
U32
X1
X2
mark
U63
X1
X2
X3
X4
a__U63
mark
X1
X2
X3
X4
a__U63
X1
X2
X3
X4
U63
X1
X2
X3
X4
a__U72
X1
X2
U72
X1
X2
a__sel
N
XS
a__U41
tt
N
XS
a__U41
X1
X2
X3
U41
X1
X2
X3
a__snd
pair
X
Y
a__U51
tt
Y
a__U61
X1
X2
X3
X4
U61
X1
X2
X3
X4
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
a__U51
tt
Y
a__U52
tt
Y
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
mark
fst
X
a__fst
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
a__U22
X1
X2
U22
X1
X2
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
s
X
s
mark
X
a__U32
tt
N
mark
N
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
nil
nil
mark
cons
X1
X2
cons
mark
X1
X2
a__U51
X1
X2
U51
X1
X2
a__U52
X1
X2
U52
X1
X2
mark
U72
X1
X2
a__U72
mark
X1
X2
a__U42
X1
X2
X3
U42
X1
X2
X3
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
U71
X1
X2
a__U71
mark
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U52
X1
X2
a__U52
mark
X1
X2
mark
U64
X1
X2
a__U64
mark
X1
X2
a__U21
X1
X2
U21
X1
X2
a__U82
X1
X2
X3
U82
X1
X2
X3
mark
U31
X1
X2
a__U31
mark
X1
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U61
X1
X2
X3
X4
a__U61
mark
X1
X2
X3
X4
a__sel
X1
X2
sel
X1
X2
a__U12
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U61
tt
N
X
XS
a__U62
tt
N
X
XS
false
a__U62
tt
N
X
XS
a__U63
tt
N
X
XS
false
a__U63
tt
N
X
XS
a__U64
a__splitAt
mark
N
mark
XS
X
false
a__U64
pair
YS
ZS
X
mark
X
false
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
U64
X1
X2
mark
X1
true
a__U63
4
1
4
3762
U21
2
2
1
a__U82
3
0
a__U72
2
0
a__U71
2
0
U11
3
1210
U64
2
1
1512
s
1
1
1
a__U31
2
0
a__head
1
0
a__natsFrom
1
0
a__snd
1
0
a__afterNth
2
1
2
0
U42
3
3
2248
a__U82
3
2
3
3136
take
2
3
U71
2
2
53433
a__U62
4
1
3
3761
pair
2
1
2
1
fst
1
23202
natsFrom
1
1
27018
a__snd
1
1
1162
a__U51
2
0
U63
4
3
4
3761
a__U22
2
1
3
splitAt
2
1
887
a__U64
2
2
3764
U72
2
1
2
28312
a__U11
3
0
a__U31
2
2249
a__U51
2
1
1163
a__U81
3
3135
a__take
2
0
U12
3
1214
a__U62
4
4
a__U42
3
0
a__U41
3
2
2246
a__U64
2
0
a__U12
3
0
a__U21
2
0
a__U81
3
0
a__U61
4
4
a__fst
1
1
0
a__natsFrom
1
1
27019
tail
1
1
51179
mark
1
1
0
0
0
1373
a__U21
2
1
2
a__U32
2
1
2249
sel
2
2246
afterNth
2
147
nil
0
25477
a__splitAt
2
2
886
U62
4
2
4
1898
a__U52
2
0
a__sel
2
0
mark
1
1
2251
a__U72
2
53433
a__U11
3
1
3
1211
U32
2
2
2250
a__sel
2
1
2
2245
a__U42
3
2
2247
a__U52
2
1
2
2150
a__U12
3
2
1213
a__U63
4
4
U52
2
2
2149
U61
4
1
3
4
1509
a__U22
2
0
U31
2
1
2250
a__U71
2
53432
head
1
1
2249
a__afterNth
2
0
a__splitAt
2
2
cons
2
1
2
1047
a__U61
4
2
3761
snd
1
1161
a__take
2
1
2
0
U81
3
1
883
a__U41
3
0
U82
3
1
3137
tt
0
1
a__fst
1
0
U22
2
2
2
U51
2
1162
a__tail
1
53431
U41
3
3
2247
a__tail
1
0
a__U32
2
0
a__head
1
2248
mark
U52
X1
X2
a__U52
mark
X1
X2
false
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
false
a__U41
tt
N
XS
a__U42
tt
N
XS
false
a__U42
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
false
a__head
cons
N
XS
a__U31
tt
N
false
mark
U71
X1
X2
a__U71
mark
X1
X2
false
a__U71
tt
XS
a__U72
tt
XS
false
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
false
mark
U72
X1
X2
a__U72
mark
X1
X2
false
mark
fst
X
a__fst
mark
X
false
mark
U81
X1
X2
X3
a__U81
mark
X1
X2
X3
false
mark
U21
X1
X2
a__U21
mark
X1
X2
false
mark
U22
X1
X2
a__U22
mark
X1
X2
false
mark
tail
X
a__tail
mark
X
false
mark
U82
X1
X2
X3
a__U82
mark
X1
X2
X3
false
NaTT
certifiable-1.6