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