axxu11
tt
X
Y
U
axxu12
axxsplitAt
mark
X
mark
U
Y
axxu12
pair
V
W
P
pair
cons
mark
P
V
mark
W
axxafterNth
X1
Y1
axxsnd
axxsplitAt
mark
X1
mark
Y1
axxand
tt
U1
mark
U1
axxfst
pair
V1
W1
mark
V1
axxhead
cons
P1
X2
mark
P1
axxnatsFrom
Y2
cons
mark
Y2
natsFrom
s
Y2
axxsel
U2
V2
axxhead
axxafterNth
mark
U2
mark
V2
axxsnd
pair
W2
P2
mark
P2
axxsplitAt
0
X3
pair
nil
mark
X3
axxsplitAt
s
Y3
cons
U3
V3
axxu11
tt
Y3
U3
V3
axxtail
cons
W3
P3
mark
P3
axxtake
X4
Y4
axxfst
axxsplitAt
mark
X4
mark
Y4
mark
u11
U4
V4
W4
P4
axxu11
mark
U4
V4
W4
P4
mark
u12
X5
Y5
axxu12
mark
X5
Y5
mark
splitAt
U5
V5
axxsplitAt
mark
U5
mark
V5
mark
afterNth
W5
P5
axxafterNth
mark
W5
mark
P5
mark
snd
X6
axxsnd
mark
X6
mark
and
Y6
U6
axxand
mark
Y6
U6
mark
fst
V6
axxfst
mark
V6
mark
head
W6
axxhead
mark
W6
mark
natsFrom
P6
axxnatsFrom
mark
P6
mark
sel
X7
Y7
axxsel
mark
X7
mark
Y7
mark
tail
U7
axxtail
mark
U7
mark
take
V7
W7
axxtake
mark
V7
mark
W7
mark
tt
tt
mark
pair
P7
X8
pair
mark
P7
mark
X8
mark
cons
Y8
U8
cons
mark
Y8
U8
mark
s
V8
s
mark
V8
mark
0
0
mark
nil
nil
axxu11
W8
P8
X9
Y9
u11
W8
P8
X9
Y9
axxu12
U9
V9
u12
U9
V9
axxsplitAt
W9
P9
splitAt
W9
P9
axxafterNth
X10
Y10
afterNth
X10
Y10
axxsnd
U10
snd
U10
axxand
V10
W10
and
V10
W10
axxfst
P10
fst
P10
axxhead
X11
head
X11
axxnatsFrom
Y11
natsFrom
Y11
axxsel
U11
V11
sel
U11
V11
axxtail
W11
tail
W11
axxtake
P11
X12
take
P11
X12
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
0
A
afterNth
A
A
A
and
A
A
A
axxafterNth
A
A
A
axxand
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
A
axxu12
A
A
A
cons
A
A
A
fst
A
A
head
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
A
u12
A
A
A
FULL
/tmp/tmpfile.afsm