axxu11
tt
X
Y
axxu12
tt
X
Y
axxu12
tt
U
V
axxsnd
axxsplitAt
mark
U
mark
V
axxu21
tt
W
axxu22
tt
W
axxu22
tt
P
mark
P
axxu31
tt
X1
axxu32
tt
X1
axxu32
tt
Y1
mark
Y1
axxu41
tt
U1
V1
axxu42
tt
U1
V1
axxu42
tt
W1
P1
axxhead
axxafterNth
mark
W1
mark
P1
axxu51
tt
X2
axxu52
tt
X2
axxu52
tt
Y2
mark
Y2
axxu61
tt
U2
V2
W2
axxu62
tt
U2
V2
W2
axxu62
tt
P2
X3
Y3
axxu63
tt
P2
X3
Y3
axxu63
tt
U3
V3
W3
axxu64
axxsplitAt
mark
U3
mark
W3
V3
axxu64
pair
P3
X4
Y4
pair
cons
mark
Y4
P3
mark
X4
axxu71
tt
U4
axxu72
tt
U4
axxu72
tt
V4
mark
V4
axxu81
tt
W4
P4
axxu82
tt
W4
P4
axxu82
tt
X5
Y5
axxfst
axxsplitAt
mark
X5
mark
Y5
axxafterNth
U5
V5
axxu11
tt
U5
V5
axxfst
pair
W5
P5
axxu21
tt
W5
axxhead
cons
X6
Y6
axxu31
tt
X6
axxnatsFrom
U6
cons
mark
U6
natsFrom
s
U6
axxsel
V6
W6
axxu41
tt
V6
W6
axxsnd
pair
P6
X7
axxu51
tt
X7
axxsplitAt
0
Y7
pair
nil
mark
Y7
axxsplitAt
s
U7
cons
V7
W7
axxu61
tt
U7
V7
W7
axxtail
cons
P7
X8
axxu71
tt
X8
axxtake
Y8
U8
axxu81
tt
Y8
U8
mark
u11
V8
W8
P8
axxu11
mark
V8
W8
P8
mark
u12
X9
Y9
U9
axxu12
mark
X9
Y9
U9
mark
snd
V9
axxsnd
mark
V9
mark
splitAt
W9
P9
axxsplitAt
mark
W9
mark
P9
mark
u21
X10
Y10
axxu21
mark
X10
Y10
mark
u22
U10
V10
axxu22
mark
U10
V10
mark
u31
W10
P10
axxu31
mark
W10
P10
mark
u32
X11
Y11
axxu32
mark
X11
Y11
mark
u41
U11
V11
W11
axxu41
mark
U11
V11
W11
mark
u42
P11
X12
Y12
axxu42
mark
P11
X12
Y12
mark
head
U12
axxhead
mark
U12
mark
afterNth
V12
W12
axxafterNth
mark
V12
mark
W12
mark
u51
P12
X13
axxu51
mark
P12
X13
mark
u52
Y13
U13
axxu52
mark
Y13
U13
mark
u61
V13
W13
P13
X14
axxu61
mark
V13
W13
P13
X14
mark
u62
Y14
U14
V14
W14
axxu62
mark
Y14
U14
V14
W14
mark
u63
P14
X15
Y15
U15
axxu63
mark
P14
X15
Y15
U15
mark
u64
V15
W15
axxu64
mark
V15
W15
mark
u71
P15
X16
axxu71
mark
P15
X16
mark
u72
Y16
U16
axxu72
mark
Y16
U16
mark
u81
V16
W16
P16
axxu81
mark
V16
W16
P16
mark
u82
X17
Y17
U17
axxu82
mark
X17
Y17
U17
mark
fst
V17
axxfst
mark
V17
mark
natsFrom
W17
axxnatsFrom
mark
W17
mark
sel
P17
X18
axxsel
mark
P17
mark
X18
mark
tail
Y18
axxtail
mark
Y18
mark
take
U18
V18
axxtake
mark
U18
mark
V18
mark
tt
tt
mark
pair
W18
P18
pair
mark
W18
mark
P18
mark
cons
X19
Y19
cons
mark
X19
Y19
mark
s
U19
s
mark
U19
mark
0
0
mark
nil
nil
axxu11
V19
W19
P19
u11
V19
W19
P19
axxu12
X20
Y20
U20
u12
X20
Y20
U20
axxsnd
V20
snd
V20
axxsplitAt
W20
P20
splitAt
W20
P20
axxu21
X21
Y21
u21
X21
Y21
axxu22
U21
V21
u22
U21
V21
axxu31
W21
P21
u31
W21
P21
axxu32
X22
Y22
u32
X22
Y22
axxu41
U22
V22
W22
u41
U22
V22
W22
axxu42
P22
X23
Y23
u42
P22
X23
Y23
axxhead
U23
head
U23
axxafterNth
V23
W23
afterNth
V23
W23
axxu51
P23
X24
u51
P23
X24
axxu52
Y24
U24
u52
Y24
U24
axxu61
V24
W24
P24
X25
u61
V24
W24
P24
X25
axxu62
Y25
U25
V25
W25
u62
Y25
U25
V25
W25
axxu63
P25
X26
Y26
U26
u63
P25
X26
Y26
U26
axxu64
V26
W26
u64
V26
W26
axxu71
P26
X27
u71
P26
X27
axxu72
Y27
U27
u72
Y27
U27
axxu81
V27
W27
P27
u81
V27
W27
P27
axxu82
X28
Y28
U28
u82
X28
Y28
U28
axxfst
V28
fst
V28
axxnatsFrom
W28
natsFrom
W28
axxsel
P28
X29
sel
P28
X29
axxtail
Y29
tail
Y29
axxtake
U29
V29
take
U29
V29
map
%X
A
I29
%X
nil
nil
map
%Y
A
J29
%Y
cons
X30
Y30
cons
J29
X30
map
%Z
A
J29
%Z
Y30
app
%U
A
G30
%U
V30
G30
V30
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
I29
A
A
J29
A
A
X30
A
Y30
A
G30
A
A
V30
A
0
A
afterNth
A
A
A
app
A
A
A
A
axxafterNth
A
A
A
axxfst
A
A
axxhead
A
A
axxnatsFrom
A
A
axxsel
A
A
A
axxsnd
A
A
axxsplitAt
A
A
A
axxtail
A
A
axxtake
A
A
A
axxu11
A
A
A
A
axxu12
A
A
A
A
axxu21
A
A
A
axxu22
A
A
A
axxu31
A
A
A
axxu32
A
A
A
axxu41
A
A
A
A
axxu42
A
A
A
A
axxu51
A
A
A
axxu52
A
A
A
axxu61
A
A
A
A
A
axxu62
A
A
A
A
A
axxu63
A
A
A
A
A
axxu64
A
A
A
axxu71
A
A
A
axxu72
A
A
A
axxu81
A
A
A
A
axxu82
A
A
A
A
cons
A
A
A
fst
A
A
head
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
u11
A
A
A
A
u12
A
A
A
A
u21
A
A
A
u22
A
A
A
u31
A
A
A
u32
A
A
A
u41
A
A
A
A
u42
A
A
A
A
u51
A
A
A
u52
A
A
A
u61
A
A
A
A
A
u62
A
A
A
A
A
u63
A
A
A
A
A
u64
A
A
A
u71
A
A
A
u72
A
A
A
u81
A
A
A
A
u82
A
A
A
A
FULL
/tmp/tmpfile.afsm