axxnatsFrom X cons mark X natsFrom s X axxfst pair Y U mark Y axxsnd pair V W mark W axxsplitAt 0 P pair nil mark P axxsplitAt s X1 cons Y1 U1 axxu axxsplitAt mark X1 mark U1 X1 Y1 U1 axxu pair V1 W1 P1 X2 Y2 pair cons mark X2 V1 mark W1 axxhead cons U2 V2 mark U2 axxtail cons W2 P2 mark P2 axxsel X3 Y3 axxhead axxafterNth mark X3 mark Y3 axxtake U3 V3 axxfst axxsplitAt mark U3 mark V3 axxafterNth W3 P3 axxsnd axxsplitAt mark W3 mark P3 mark natsFrom X4 axxnatsFrom mark X4 mark fst Y4 axxfst mark Y4 mark snd U4 axxsnd mark U4 mark splitAt V4 W4 axxsplitAt mark V4 mark W4 mark u P4 X5 Y5 U5 axxu mark P4 X5 Y5 U5 mark head V5 axxhead mark V5 mark tail W5 axxtail mark W5 mark sel P5 X6 axxsel mark P5 mark X6 mark afterNth Y6 U6 axxafterNth mark Y6 mark U6 mark take V6 W6 axxtake mark V6 mark W6 mark cons P6 X7 cons mark P6 X7 mark s Y7 s mark Y7 mark pair U7 V7 pair mark U7 mark V7 mark 0 0 mark nil nil axxnatsFrom W7 natsFrom W7 axxfst P7 fst P7 axxsnd X8 snd X8 axxsplitAt Y8 U8 splitAt Y8 U8 axxu V8 W8 P8 X9 u V8 W8 P8 X9 axxhead Y9 head Y9 axxtail U9 tail U9 axxsel V9 W9 sel V9 W9 axxafterNth P9 X10 afterNth P9 X10 axxtake Y10 U10 take Y10 U10 map %X A H10 %X nil nil map %Y A I10 %Y cons P10 X11 cons I10 P10 map %Z A I10 %Z X11 app %U A Z11 %U U11 Z11 U11 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 H10 A A I10 A A P10 A X11 A Z11 A A U11 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 axxu A 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