axxu101
tt
X
axxu102
axxisLNat
X
axxu102
tt
tt
axxu11
tt
Y
U
axxu12
axxisLNat
U
Y
U
axxu111
tt
tt
axxu12
tt
V
W
axxsnd
axxsplitAt
mark
V
mark
W
axxu121
tt
tt
axxu131
tt
P
axxu132
axxisLNat
P
axxu132
tt
tt
axxu141
tt
X1
axxu142
axxisLNat
X1
axxu142
tt
tt
axxu151
tt
Y1
axxu152
axxisLNat
Y1
axxu152
tt
tt
axxu161
tt
U1
cons
mark
U1
natsFrom
s
U1
axxu171
tt
V1
W1
axxu172
axxisLNat
W1
V1
W1
axxu172
tt
P1
X2
axxhead
axxafterNth
mark
P1
mark
X2
axxu181
tt
Y2
axxu182
axxisLNat
Y2
Y2
axxu182
tt
U2
mark
U2
axxu191
tt
V2
pair
nil
mark
V2
axxu201
tt
W2
P2
X3
axxu202
axxisNatural
P2
W2
P2
X3
axxu202
tt
Y3
U3
V3
axxu203
axxisLNat
V3
Y3
U3
V3
axxu203
tt
W3
P3
X4
axxu204
axxsplitAt
mark
W3
mark
X4
P3
axxu204
pair
Y4
U4
V4
pair
cons
mark
V4
Y4
mark
U4
axxu21
tt
W4
P4
axxu22
axxisLNat
P4
W4
axxu211
tt
X5
axxu212
axxisLNat
X5
X5
axxu212
tt
Y5
mark
Y5
axxu22
tt
U5
mark
U5
axxu221
tt
V5
W5
axxu222
axxisLNat
W5
V5
W5
axxu222
tt
P5
X6
axxfst
axxsplitAt
mark
P5
mark
X6
axxu31
tt
Y6
U6
axxu32
axxisLNat
U6
Y6
axxu32
tt
V6
mark
V6
axxu41
tt
W6
axxu42
axxisLNat
W6
axxu42
tt
tt
axxu51
tt
P6
axxu52
axxisLNat
P6
axxu52
tt
tt
axxu61
tt
tt
axxu71
tt
tt
axxu81
tt
tt
axxu91
tt
tt
axxafterNth
X7
Y7
axxu11
axxisNatural
X7
X7
Y7
axxfst
pair
U7
V7
axxu21
axxisLNat
U7
U7
V7
axxhead
cons
W7
P7
axxu31
axxisNatural
W7
W7
P7
axxisLNat
nil
tt
axxisLNat
afterNth
X8
Y8
axxu41
axxisNatural
X8
Y8
axxisLNat
cons
U8
V8
axxu51
axxisNatural
U8
V8
axxisLNat
fst
W8
axxu61
axxisPLNat
W8
axxisLNat
natsFrom
P8
axxu71
axxisNatural
P8
axxisLNat
snd
X9
axxu81
axxisPLNat
X9
axxisLNat
tail
Y9
axxu91
axxisLNat
Y9
axxisLNat
take
U9
V9
axxu101
axxisNatural
U9
V9
axxisNatural
0
tt
axxisNatural
head
W9
axxu111
axxisLNat
W9
axxisNatural
s
P9
axxu121
axxisNatural
P9
axxisNatural
sel
X10
Y10
axxu131
axxisNatural
X10
Y10
axxisPLNat
pair
U10
V10
axxu141
axxisLNat
U10
V10
axxisPLNat
splitAt
W10
P10
axxu151
axxisNatural
W10
P10
axxnatsFrom
X11
axxu161
axxisNatural
X11
X11
axxsel
Y11
U11
axxu171
axxisNatural
Y11
Y11
U11
axxsnd
pair
V11
W11
axxu181
axxisLNat
V11
W11
axxsplitAt
0
P11
axxu191
axxisLNat
P11
P11
axxsplitAt
s
X12
cons
Y12
U12
axxu201
axxisNatural
X12
X12
Y12
U12
axxtail
cons
V12
W12
axxu211
axxisNatural
V12
W12
axxtake
P12
X13
axxu221
axxisNatural
P12
P12
X13
mark
u101
Y13
U13
axxu101
mark
Y13
U13
mark
u102
V13
axxu102
mark
V13
mark
isLNat
W13
axxisLNat
W13
mark
u11
P13
X14
Y14
axxu11
mark
P13
X14
Y14
mark
u12
U14
V14
W14
axxu12
mark
U14
V14
W14
mark
u111
P14
axxu111
mark
P14
mark
snd
X15
axxsnd
mark
X15
mark
splitAt
Y15
U15
axxsplitAt
mark
Y15
mark
U15
mark
u121
V15
axxu121
mark
V15
mark
u131
W15
P15
axxu131
mark
W15
P15
mark
u132
X16
axxu132
mark
X16
mark
u141
Y16
U16
axxu141
mark
Y16
U16
mark
u142
V16
axxu142
mark
V16
mark
u151
W16
P16
axxu151
mark
W16
P16
mark
u152
X17
axxu152
mark
X17
mark
u161
Y17
U17
axxu161
mark
Y17
U17
mark
natsFrom
V17
axxnatsFrom
mark
V17
mark
u171
W17
P17
X18
axxu171
mark
W17
P17
X18
mark
u172
Y18
U18
V18
axxu172
mark
Y18
U18
V18
mark
head
W18
axxhead
mark
W18
mark
afterNth
P18
X19
axxafterNth
mark
P18
mark
X19
mark
u181
Y19
U19
axxu181
mark
Y19
U19
mark
u182
V19
W19
axxu182
mark
V19
W19
mark
u191
P19
X20
axxu191
mark
P19
X20
mark
u201
Y20
U20
V20
W20
axxu201
mark
Y20
U20
V20
W20
mark
u202
P20
X21
Y21
U21
axxu202
mark
P20
X21
Y21
U21
mark
isNatural
V21
axxisNatural
V21
mark
u203
W21
P21
X22
Y22
axxu203
mark
W21
P21
X22
Y22
mark
u204
U22
V22
axxu204
mark
U22
V22
mark
u21
W22
P22
X23
axxu21
mark
W22
P22
X23
mark
u22
Y23
U23
axxu22
mark
Y23
U23
mark
u211
V23
W23
axxu211
mark
V23
W23
mark
u212
P23
X24
axxu212
mark
P23
X24
mark
u221
Y24
U24
V24
axxu221
mark
Y24
U24
V24
mark
u222
W24
P24
X25
axxu222
mark
W24
P24
X25
mark
fst
Y25
axxfst
mark
Y25
mark
u31
U25
V25
W25
axxu31
mark
U25
V25
W25
mark
u32
P25
X26
axxu32
mark
P25
X26
mark
u41
Y26
U26
axxu41
mark
Y26
U26
mark
u42
V26
axxu42
mark
V26
mark
u51
W26
P26
axxu51
mark
W26
P26
mark
u52
X27
axxu52
mark
X27
mark
u61
Y27
axxu61
mark
Y27
mark
u71
U27
axxu71
mark
U27
mark
u81
V27
axxu81
mark
V27
mark
u91
W27
axxu91
mark
W27
mark
isPLNat
P27
axxisPLNat
P27
mark
tail
X28
axxtail
mark
X28
mark
take
Y28
U28
axxtake
mark
Y28
mark
U28
mark
sel
V28
W28
axxsel
mark
V28
mark
W28
mark
tt
tt
mark
cons
P28
X29
cons
mark
P28
X29
mark
s
Y29
s
mark
Y29
mark
pair
U29
V29
pair
mark
U29
mark
V29
mark
nil
nil
mark
0
0
axxu101
W29
P29
u101
W29
P29
axxu102
X30
u102
X30
axxisLNat
Y30
isLNat
Y30
axxu11
U30
V30
W30
u11
U30
V30
W30
axxu12
P30
X31
Y31
u12
P30
X31
Y31
axxu111
U31
u111
U31
axxsnd
V31
snd
V31
axxsplitAt
W31
P31
splitAt
W31
P31
axxu121
X32
u121
X32
axxu131
Y32
U32
u131
Y32
U32
axxu132
V32
u132
V32
axxu141
W32
P32
u141
W32
P32
axxu142
X33
u142
X33
axxu151
Y33
U33
u151
Y33
U33
axxu152
V33
u152
V33
axxu161
W33
P33
u161
W33
P33
axxnatsFrom
X34
natsFrom
X34
axxu171
Y34
U34
V34
u171
Y34
U34
V34
axxu172
W34
P34
X35
u172
W34
P34
X35
axxhead
Y35
head
Y35
axxafterNth
U35
V35
afterNth
U35
V35
axxu181
W35
P35
u181
W35
P35
axxu182
X36
Y36
u182
X36
Y36
axxu191
U36
V36
u191
U36
V36
axxu201
W36
P36
X37
Y37
u201
W36
P36
X37
Y37
axxu202
U37
V37
W37
P37
u202
U37
V37
W37
P37
axxisNatural
X38
isNatural
X38
axxu203
Y38
U38
V38
W38
u203
Y38
U38
V38
W38
axxu204
P38
X39
u204
P38
X39
axxu21
Y39
U39
V39
u21
Y39
U39
V39
axxu22
W39
P39
u22
W39
P39
axxu211
X40
Y40
u211
X40
Y40
axxu212
U40
V40
u212
U40
V40
axxu221
W40
P40
X41
u221
W40
P40
X41
axxu222
Y41
U41
V41
u222
Y41
U41
V41
axxfst
W41
fst
W41
axxu31
P41
X42
Y42
u31
P41
X42
Y42
axxu32
U42
V42
u32
U42
V42
axxu41
W42
P42
u41
W42
P42
axxu42
X43
u42
X43
axxu51
Y43
U43
u51
Y43
U43
axxu52
V43
u52
V43
axxu61
W43
u61
W43
axxu71
P43
u71
P43
axxu81
X44
u81
X44
axxu91
Y44
u91
Y44
axxisPLNat
U44
isPLNat
U44
axxtail
V44
tail
V44
axxtake
W44
P44
take
W44
P44
axxsel
X45
Y45
sel
X45
Y45
map
%X
A
G45
%X
nil
nil
app
%Y
A
H45
%Y
W45
H45
W45
X
A
Y
A
U
A
V
A
W
A
P
A
X1
A
Y1
A
U1
A
V1
A
W1
A
P1
A
X2
A
Y2
A
U2
A
V2
A
W2
A
P2
A
X3
A
Y3
A
U3
A
V3
A
W3
A
P3
A
X4
A
Y4
A
U4
A
V4
A
W4
A
P4
A
X5
A
Y5
A
U5
A
V5
A
W5
A
P5
A
X6
A
Y6
A
U6
A
V6
A
W6
A
P6
A
X7
A
Y7
A
U7
A
V7
A
W7
A
P7
A
X8
A
Y8
A
U8
A
V8
A
W8
A
P8
A
X9
A
Y9
A
U9
A
V9
A
W9
A
P9
A
X10
A
Y10
A
U10
A
V10
A
W10
A
P10
A
X11
A
Y11
A
U11
A
V11
A
W11
A
P11
A
X12
A
Y12
A
U12
A
V12
A
W12
A
P12
A
X13
A
Y13
A
U13
A
V13
A
W13
A
P13
A
X14
A
Y14
A
U14
A
V14
A
W14
A
P14
A
X15
A
Y15
A
U15
A
V15
A
W15
A
P15
A
X16
A
Y16
A
U16
A
V16
A
W16
A
P16
A
X17
A
Y17
A
U17
A
V17
A
W17
A
P17
A
X18
A
Y18
A
U18
A
V18
A
W18
A
P18
A
X19
A
Y19
A
U19
A
V19
A
W19
A
P19
A
X20
A
Y20
A
U20
A
V20
A
W20
A
P20
A
X21
A
Y21
A
U21
A
V21
A
W21
A
P21
A
X22
A
Y22
A
U22
A
V22
A
W22
A
P22
A
X23
A
Y23
A
U23
A
V23
A
W23
A
P23
A
X24
A
Y24
A
U24
A
V24
A
W24
A
P24
A
X25
A
Y25
A
U25
A
V25
A
W25
A
P25
A
X26
A
Y26
A
U26
A
V26
A
W26
A
P26
A
X27
A
Y27
A
U27
A
V27
A
W27
A
P27
A
X28
A
Y28
A
U28
A
V28
A
W28
A
P28
A
X29
A
Y29
A
U29
A
V29
A
W29
A
P29
A
X30
A
Y30
A
U30
A
V30
A
W30
A
P30
A
X31
A
Y31
A
U31
A
V31
A
W31
A
P31
A
X32
A
Y32
A
U32
A
V32
A
W32
A
P32
A
X33
A
Y33
A
U33
A
V33
A
W33
A
P33
A
X34
A
Y34
A
U34
A
V34
A
W34
A
P34
A
X35
A
Y35
A
U35
A
V35
A
W35
A
P35
A
X36
A
Y36
A
U36
A
V36
A
W36
A
P36
A
X37
A
Y37
A
U37
A
V37
A
W37
A
P37
A
X38
A
Y38
A
U38
A
V38
A
W38
A
P38
A
X39
A
Y39
A
U39
A
V39
A
W39
A
P39
A
X40
A
Y40
A
U40
A
V40
A
W40
A
P40
A
X41
A
Y41
A
U41
A
V41
A
W41
A
P41
A
X42
A
Y42
A
U42
A
V42
A
W42
A
P42
A
X43
A
Y43
A
U43
A
V43
A
W43
A
P43
A
X44
A
Y44
A
U44
A
V44
A
W44
A
P44
A
X45
A
Y45
A
G45
A
A
H45
A
A
W45
A
0
A
afterNth
A
A
A
app
A
A
A
A
axxafterNth
A
A
A
axxfst
A
A
axxhead
A
A
axxisLNat
A
A
axxisNatural
A
A
axxisPLNat
A
A
axxnatsFrom
A
A
axxsel
A
A
A
axxsnd
A
A
axxsplitAt
A
A
A
axxtail
A
A
axxtake
A
A
A
axxu101
A
A
A
axxu102
A
A
axxu11
A
A
A
A
axxu111
A
A
axxu12
A
A
A
A
axxu121
A
A
axxu131
A
A
A
axxu132
A
A
axxu141
A
A
A
axxu142
A
A
axxu151
A
A
A
axxu152
A
A
axxu161
A
A
A
axxu171
A
A
A
A
axxu172
A
A
A
A
axxu181
A
A
A
axxu182
A
A
A
axxu191
A
A
A
axxu201
A
A
A
A
A
axxu202
A
A
A
A
A
axxu203
A
A
A
A
A
axxu204
A
A
A
axxu21
A
A
A
A
axxu211
A
A
A
axxu212
A
A
A
axxu22
A
A
A
axxu221
A
A
A
A
axxu222
A
A
A
A
axxu31
A
A
A
A
axxu32
A
A
A
axxu41
A
A
A
axxu42
A
A
axxu51
A
A
A
axxu52
A
A
axxu61
A
A
axxu71
A
A
axxu81
A
A
axxu91
A
A
cons
A
A
A
fst
A
A
head
A
A
isLNat
A
A
isNatural
A
A
isPLNat
A
A
map
A
A
A
A
mark
A
A
natsFrom
A
A
nil
A
pair
A
A
A
s
A
A
sel
A
A
A
snd
A
A
splitAt
A
A
A
tail
A
A
take
A
A
A
tt
A
u101
A
A
A
u102
A
A
u11
A
A
A
A
u111
A
A
u12
A
A
A
A
u121
A
A
u131
A
A
A
u132
A
A
u141
A
A
A
u142
A
A
u151
A
A
A
u152
A
A
u161
A
A
A
u171
A
A
A
A
u172
A
A
A
A
u181
A
A
A
u182
A
A
A
u191
A
A
A
u201
A
A
A
A
A
u202
A
A
A
A
A
u203
A
A
A
A
A
u204
A
A
A
u21
A
A
A
A
u211
A
A
A
u212
A
A
A
u22
A
A
A
u221
A
A
A
A
u222
A
A
A
A
u31
A
A
A
A
u32
A
A
A
u41
A
A
A
u42
A
A
u51
A
A
A
u52
A
A
u61
A
A
u71
A
A
u81
A
A
u91
A
A
FULL
/tmp/tmpfile.afsm