active u11 tt X Y mark u12 tt X Y active u12 tt U V mark snd splitAt U V active u21 tt W mark u22 tt W active u22 tt P mark P active u31 tt X1 mark u32 tt X1 active u32 tt Y1 mark Y1 active u41 tt U1 V1 mark u42 tt U1 V1 active u42 tt W1 P1 mark head afterNth W1 P1 active u51 tt X2 mark u52 tt X2 active u52 tt Y2 mark Y2 active u61 tt U2 V2 W2 mark u62 tt U2 V2 W2 active u62 tt P2 X3 Y3 mark u63 tt P2 X3 Y3 active u63 tt U3 V3 W3 mark u64 splitAt U3 W3 V3 active u64 pair P3 X4 Y4 mark pair cons Y4 P3 X4 active u71 tt U4 mark u72 tt U4 active u72 tt V4 mark V4 active u81 tt W4 P4 mark u82 tt W4 P4 active u82 tt X5 Y5 mark fst splitAt X5 Y5 active afterNth U5 V5 mark u11 tt U5 V5 active fst pair W5 P5 mark u21 tt W5 active head cons X6 Y6 mark u31 tt X6 active natsFrom U6 mark cons U6 natsFrom s U6 active sel V6 W6 mark u41 tt V6 W6 active snd pair P6 X7 mark u51 tt X7 active splitAt 0 Y7 mark pair nil Y7 active splitAt s U7 cons V7 W7 mark u61 tt U7 V7 W7 active tail cons P7 X8 mark u71 tt X8 active take Y8 U8 mark u81 tt Y8 U8 mark u11 V8 W8 P8 active u11 mark V8 W8 P8 mark tt active tt mark u12 X9 Y9 U9 active u12 mark X9 Y9 U9 mark snd V9 active snd mark V9 mark splitAt W9 P9 active splitAt mark W9 mark P9 mark u21 X10 Y10 active u21 mark X10 Y10 mark u22 U10 V10 active u22 mark U10 V10 mark u31 W10 P10 active u31 mark W10 P10 mark u32 X11 Y11 active u32 mark X11 Y11 mark u41 U11 V11 W11 active u41 mark U11 V11 W11 mark u42 P11 X12 Y12 active u42 mark P11 X12 Y12 mark head U12 active head mark U12 mark afterNth V12 W12 active afterNth mark V12 mark W12 mark u51 P12 X13 active u51 mark P12 X13 mark u52 Y13 U13 active u52 mark Y13 U13 mark u61 V13 W13 P13 X14 active u61 mark V13 W13 P13 X14 mark u62 Y14 U14 V14 W14 active u62 mark Y14 U14 V14 W14 mark u63 P14 X15 Y15 U15 active u63 mark P14 X15 Y15 U15 mark u64 V15 W15 active u64 mark V15 W15 mark pair P15 X16 active pair mark P15 mark X16 mark cons Y16 U16 active cons mark Y16 U16 mark u71 V16 W16 active u71 mark V16 W16 mark u72 P16 X17 active u72 mark P16 X17 mark u81 Y17 U17 V17 active u81 mark Y17 U17 V17 mark u82 W17 P17 X18 active u82 mark W17 P17 X18 mark fst Y18 active fst mark Y18 mark natsFrom U18 active natsFrom mark U18 mark s V18 active s mark V18 mark sel W18 P18 active sel mark W18 mark P18 mark 0 active 0 mark nil active nil mark tail X19 active tail mark X19 mark take Y19 U19 active take mark Y19 mark U19 u11 mark V19 W19 P19 u11 V19 W19 P19 u11 X20 mark Y20 U20 u11 X20 Y20 U20 u11 V20 W20 mark P20 u11 V20 W20 P20 u11 active X21 Y21 U21 u11 X21 Y21 U21 u11 V21 active W21 P21 u11 V21 W21 P21 u11 X22 Y22 active U22 u11 X22 Y22 U22 u12 mark V22 W22 P22 u12 V22 W22 P22 u12 X23 mark Y23 U23 u12 X23 Y23 U23 u12 V23 W23 mark P23 u12 V23 W23 P23 u12 active X24 Y24 U24 u12 X24 Y24 U24 u12 V24 active W24 P24 u12 V24 W24 P24 u12 X25 Y25 active U25 u12 X25 Y25 U25 snd mark V25 snd V25 snd active W25 snd W25 splitAt mark P25 X26 splitAt P25 X26 splitAt Y26 mark U26 splitAt Y26 U26 splitAt active V26 W26 splitAt V26 W26 splitAt P26 active X27 splitAt P26 X27 u21 mark Y27 U27 u21 Y27 U27 u21 V27 mark W27 u21 V27 W27 u21 active P27 X28 u21 P27 X28 u21 Y28 active U28 u21 Y28 U28 u22 mark V28 W28 u22 V28 W28 u22 P28 mark X29 u22 P28 X29 u22 active Y29 U29 u22 Y29 U29 u22 V29 active W29 u22 V29 W29 u31 mark P29 X30 u31 P29 X30 u31 Y30 mark U30 u31 Y30 U30 u31 active V30 W30 u31 V30 W30 u31 P30 active X31 u31 P30 X31 u32 mark Y31 U31 u32 Y31 U31 u32 V31 mark W31 u32 V31 W31 u32 active P31 X32 u32 P31 X32 u32 Y32 active U32 u32 Y32 U32 u41 mark V32 W32 P32 u41 V32 W32 P32 u41 X33 mark Y33 U33 u41 X33 Y33 U33 u41 V33 W33 mark P33 u41 V33 W33 P33 u41 active X34 Y34 U34 u41 X34 Y34 U34 u41 V34 active W34 P34 u41 V34 W34 P34 u41 X35 Y35 active U35 u41 X35 Y35 U35 u42 mark V35 W35 P35 u42 V35 W35 P35 u42 X36 mark Y36 U36 u42 X36 Y36 U36 u42 V36 W36 mark P36 u42 V36 W36 P36 u42 active X37 Y37 U37 u42 X37 Y37 U37 u42 V37 active W37 P37 u42 V37 W37 P37 u42 X38 Y38 active U38 u42 X38 Y38 U38 head mark V38 head V38 head active W38 head W38 afterNth mark P38 X39 afterNth P38 X39 afterNth Y39 mark U39 afterNth Y39 U39 afterNth active V39 W39 afterNth V39 W39 afterNth P39 active X40 afterNth P39 X40 u51 mark Y40 U40 u51 Y40 U40 u51 V40 mark W40 u51 V40 W40 u51 active P40 X41 u51 P40 X41 u51 Y41 active U41 u51 Y41 U41 u52 mark V41 W41 u52 V41 W41 u52 P41 mark X42 u52 P41 X42 u52 active Y42 U42 u52 Y42 U42 u52 V42 active W42 u52 V42 W42 u61 mark P42 X43 Y43 U43 u61 P42 X43 Y43 U43 u61 V43 mark W43 P43 X44 u61 V43 W43 P43 X44 u61 Y44 U44 mark V44 W44 u61 Y44 U44 V44 W44 u61 P44 X45 Y45 mark U45 u61 P44 X45 Y45 U45 u61 active V45 W45 P45 X46 u61 V45 W45 P45 X46 u61 Y46 active U46 V46 W46 u61 Y46 U46 V46 W46 u61 P46 X47 active Y47 U47 u61 P46 X47 Y47 U47 u61 V47 W47 P47 active X48 u61 V47 W47 P47 X48 u62 mark Y48 U48 V48 W48 u62 Y48 U48 V48 W48 u62 P48 mark X49 Y49 U49 u62 P48 X49 Y49 U49 u62 V49 W49 mark P49 X50 u62 V49 W49 P49 X50 u62 Y50 U50 V50 mark W50 u62 Y50 U50 V50 W50 u62 active P50 X51 Y51 U51 u62 P50 X51 Y51 U51 u62 V51 active W51 P51 X52 u62 V51 W51 P51 X52 u62 Y52 U52 active V52 W52 u62 Y52 U52 V52 W52 u62 P52 X53 Y53 active U53 u62 P52 X53 Y53 U53 u63 mark V53 W53 P53 X54 u63 V53 W53 P53 X54 u63 Y54 mark U54 V54 W54 u63 Y54 U54 V54 W54 u63 P54 X55 mark Y55 U55 u63 P54 X55 Y55 U55 u63 V55 W55 P55 mark X56 u63 V55 W55 P55 X56 u63 active Y56 U56 V56 W56 u63 Y56 U56 V56 W56 u63 P56 active X57 Y57 U57 u63 P56 X57 Y57 U57 u63 V57 W57 active P57 X58 u63 V57 W57 P57 X58 u63 Y58 U58 V58 active W58 u63 Y58 U58 V58 W58 u64 mark P58 X59 u64 P58 X59 u64 Y59 mark U59 u64 Y59 U59 u64 active V59 W59 u64 V59 W59 u64 P59 active X60 u64 P59 X60 pair mark Y60 U60 pair Y60 U60 pair V60 mark W60 pair V60 W60 pair active P60 X61 pair P60 X61 pair Y61 active U61 pair Y61 U61 cons mark V61 W61 cons V61 W61 cons P61 mark X62 cons P61 X62 cons active Y62 U62 cons Y62 U62 cons V62 active W62 cons V62 W62 u71 mark P62 X63 u71 P62 X63 u71 Y63 mark U63 u71 Y63 U63 u71 active V63 W63 u71 V63 W63 u71 P63 active X64 u71 P63 X64 u72 mark Y64 U64 u72 Y64 U64 u72 V64 mark W64 u72 V64 W64 u72 active P64 X65 u72 P64 X65 u72 Y65 active U65 u72 Y65 U65 u81 mark V65 W65 P65 u81 V65 W65 P65 u81 X66 mark Y66 U66 u81 X66 Y66 U66 u81 V66 W66 mark P66 u81 V66 W66 P66 u81 active X67 Y67 U67 u81 X67 Y67 U67 u81 V67 active W67 P67 u81 V67 W67 P67 u81 X68 Y68 active U68 u81 X68 Y68 U68 u82 mark V68 W68 P68 u82 V68 W68 P68 u82 X69 mark Y69 U69 u82 X69 Y69 U69 u82 V69 W69 mark P69 u82 V69 W69 P69 u82 active X70 Y70 U70 u82 X70 Y70 U70 u82 V70 active W70 P70 u82 V70 W70 P70 u82 X71 Y71 active U71 u82 X71 Y71 U71 fst mark V71 fst V71 fst active W71 fst W71 natsFrom mark P71 natsFrom P71 natsFrom active X72 natsFrom X72 s mark Y72 s Y72 s active U72 s U72 sel mark V72 W72 sel V72 W72 sel P72 mark X73 sel P72 X73 sel active Y73 U73 sel Y73 U73 sel V73 active W73 sel V73 W73 tail mark P73 tail P73 tail active X74 tail X74 take mark Y74 U74 take Y74 U74 take V74 mark W74 take V74 W74 take active P74 X75 take P74 X75 take Y75 active U75 take Y75 U75 map %X A H75 %X nil nil map %Y A I75 %Y cons P75 X76 cons I75 P75 map %Z A I75 %Z X76 app %U A Z76 %U U76 Z76 U76 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 U45 A V45 A W45 A P45 A X46 A Y46 A U46 A V46 A W46 A P46 A X47 A Y47 A U47 A V47 A W47 A P47 A X48 A Y48 A U48 A V48 A W48 A P48 A X49 A Y49 A U49 A V49 A W49 A P49 A X50 A Y50 A U50 A V50 A W50 A P50 A X51 A Y51 A U51 A V51 A W51 A P51 A X52 A Y52 A U52 A V52 A W52 A P52 A X53 A Y53 A U53 A V53 A W53 A P53 A X54 A Y54 A U54 A V54 A W54 A P54 A X55 A Y55 A U55 A V55 A W55 A P55 A X56 A Y56 A U56 A V56 A W56 A P56 A X57 A Y57 A U57 A V57 A W57 A P57 A X58 A Y58 A U58 A V58 A W58 A P58 A X59 A Y59 A U59 A V59 A W59 A P59 A X60 A Y60 A U60 A V60 A W60 A P60 A X61 A Y61 A U61 A V61 A W61 A P61 A X62 A Y62 A U62 A V62 A W62 A P62 A X63 A Y63 A U63 A V63 A W63 A P63 A X64 A Y64 A U64 A V64 A W64 A P64 A X65 A Y65 A U65 A V65 A W65 A P65 A X66 A Y66 A U66 A V66 A W66 A P66 A X67 A Y67 A U67 A V67 A W67 A P67 A X68 A Y68 A U68 A V68 A W68 A P68 A X69 A Y69 A U69 A V69 A W69 A P69 A X70 A Y70 A U70 A V70 A W70 A P70 A X71 A Y71 A U71 A V71 A W71 A P71 A X72 A Y72 A U72 A V72 A W72 A P72 A X73 A Y73 A U73 A V73 A W73 A P73 A X74 A Y74 A U74 A V74 A W74 A P74 A X75 A Y75 A U75 A H75 A A I75 A A P75 A X76 A Z76 A A U76 A 0 A active A A afterNth A A A app 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