active natsFrom X mark cons X natsFrom s X active fst pair Y U mark Y active snd pair V W mark W active splitAt 0 P mark pair nil P active splitAt s X1 cons Y1 U1 mark u splitAt X1 U1 X1 Y1 U1 active u pair V1 W1 P1 X2 Y2 mark pair cons X2 V1 W1 active head cons U2 V2 mark U2 active tail cons W2 P2 mark P2 active sel X3 Y3 mark head afterNth X3 Y3 active take U3 V3 mark fst splitAt U3 V3 active afterNth W3 P3 mark snd splitAt W3 P3 mark natsFrom X4 active natsFrom mark X4 mark cons Y4 U4 active cons mark Y4 U4 mark s V4 active s mark V4 mark fst W4 active fst mark W4 mark pair P4 X5 active pair mark P4 mark X5 mark snd Y5 active snd mark Y5 mark splitAt U5 V5 active splitAt mark U5 mark V5 mark 0 active 0 mark nil active nil mark u W5 P5 X6 Y6 active u mark W5 P5 X6 Y6 mark head U6 active head mark U6 mark tail V6 active tail mark V6 mark sel W6 P6 active sel mark W6 mark P6 mark afterNth X7 Y7 active afterNth mark X7 mark Y7 mark take U7 V7 active take mark U7 mark V7 natsFrom mark W7 natsFrom W7 natsFrom active P7 natsFrom P7 cons mark X8 Y8 cons X8 Y8 cons U8 mark V8 cons U8 V8 cons active W8 P8 cons W8 P8 cons X9 active Y9 cons X9 Y9 s mark U9 s U9 s active V9 s V9 fst mark W9 fst W9 fst active P9 fst P9 pair mark X10 Y10 pair X10 Y10 pair U10 mark V10 pair U10 V10 pair active W10 P10 pair W10 P10 pair X11 active Y11 pair X11 Y11 snd mark U11 snd U11 snd active V11 snd V11 splitAt mark W11 P11 splitAt W11 P11 splitAt X12 mark Y12 splitAt X12 Y12 splitAt active U12 V12 splitAt U12 V12 splitAt W12 active P12 splitAt W12 P12 u mark X13 Y13 U13 V13 u X13 Y13 U13 V13 u W13 mark P13 X14 Y14 u W13 P13 X14 Y14 u U14 V14 mark W14 P14 u U14 V14 W14 P14 u X15 Y15 U15 mark V15 u X15 Y15 U15 V15 u active W15 P15 X16 Y16 u W15 P15 X16 Y16 u U16 active V16 W16 P16 u U16 V16 W16 P16 u X17 Y17 active U17 V17 u X17 Y17 U17 V17 u W17 P17 X18 active Y18 u W17 P17 X18 Y18 head mark U18 head U18 head active V18 head V18 tail mark W18 tail W18 tail active P18 tail P18 sel mark X19 Y19 sel X19 Y19 sel U19 mark V19 sel U19 V19 sel active W19 P19 sel W19 P19 sel X20 active Y20 sel X20 Y20 afterNth mark U20 V20 afterNth U20 V20 afterNth W20 mark P20 afterNth W20 P20 afterNth active X21 Y21 afterNth X21 Y21 afterNth U21 active V21 afterNth U21 V21 take mark W21 P21 take W21 P21 take X22 mark Y22 take X22 Y22 take active U22 V22 take U22 V22 take W22 active P22 take W22 P22 map %X A F23 %X nil nil app %Y A Z23 %Y U23 Z23 U23 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 F23 A A Z23 A A U23 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 u A A A A A FULL /tmp/tmpfile.afsm