axxu101 tt X Y axxfst axxsplitAt mark X mark Y axxu11 tt U V axxsnd axxsplitAt mark U mark V axxu21 tt W mark W axxu31 tt P mark P axxu41 tt X1 cons mark X1 natsFrom s X1 axxu51 tt Y1 U1 axxhead axxafterNth mark Y1 mark U1 axxu61 tt V1 mark V1 axxu71 tt W1 pair nil mark W1 axxu81 tt P1 X2 Y2 axxu82 axxsplitAt mark P1 mark Y2 X2 axxu82 pair U2 V2 W2 pair cons mark W2 U2 mark V2 axxu91 tt P2 mark P2 axxafterNth X3 Y3 axxu11 axxand axxisNatural X3 isLNat Y3 X3 Y3 axxand tt U3 mark U3 axxfst pair V3 W3 axxu21 axxand axxisLNat V3 isLNat W3 V3 axxhead cons P3 X4 axxu31 axxand axxisNatural P3 isLNat X4 P3 axxisLNat nil tt axxisLNat afterNth Y4 U4 axxand axxisNatural Y4 isLNat U4 axxisLNat cons V4 W4 axxand axxisNatural V4 isLNat W4 axxisLNat fst P4 axxisPLNat P4 axxisLNat natsFrom X5 axxisNatural X5 axxisLNat snd Y5 axxisPLNat Y5 axxisLNat tail U5 axxisLNat U5 axxisLNat take V5 W5 axxand axxisNatural V5 isLNat W5 axxisNatural 0 tt axxisNatural head P5 axxisLNat P5 axxisNatural s X6 axxisNatural X6 axxisNatural sel Y6 U6 axxand axxisNatural Y6 isLNat U6 axxisPLNat pair V6 W6 axxand axxisLNat V6 isLNat W6 axxisPLNat splitAt P6 X7 axxand axxisNatural P6 isLNat X7 axxnatsFrom Y7 axxu41 axxisNatural Y7 Y7 axxsel U7 V7 axxu51 axxand axxisNatural U7 isLNat V7 U7 V7 axxsnd pair W7 P7 axxu61 axxand axxisLNat W7 isLNat P7 P7 axxsplitAt 0 X8 axxu71 axxisLNat X8 X8 axxsplitAt s Y8 cons U8 V8 axxu81 axxand axxisNatural Y8 and isNatural U8 isLNat V8 Y8 U8 V8 axxtail cons W8 P8 axxu91 axxand axxisNatural W8 isLNat P8 P8 axxtake X9 Y9 axxu101 axxand axxisNatural X9 isLNat Y9 X9 Y9 mark u101 U9 V9 W9 axxu101 mark U9 V9 W9 mark fst P9 axxfst mark P9 mark splitAt X10 Y10 axxsplitAt mark X10 mark Y10 mark u11 U10 V10 W10 axxu11 mark U10 V10 W10 mark snd P10 axxsnd mark P10 mark u21 X11 Y11 axxu21 mark X11 Y11 mark u31 U11 V11 axxu31 mark U11 V11 mark u41 W11 P11 axxu41 mark W11 P11 mark natsFrom X12 axxnatsFrom mark X12 mark u51 Y12 U12 V12 axxu51 mark Y12 U12 V12 mark head W12 axxhead mark W12 mark afterNth P12 X13 axxafterNth mark P12 mark X13 mark u61 Y13 U13 axxu61 mark Y13 U13 mark u71 V13 W13 axxu71 mark V13 W13 mark u81 P13 X14 Y14 U14 axxu81 mark P13 X14 Y14 U14 mark u82 V14 W14 axxu82 mark V14 W14 mark u91 P14 X15 axxu91 mark P14 X15 mark and Y15 U15 axxand mark Y15 U15 mark isNatural V15 axxisNatural V15 mark isLNat W15 axxisLNat W15 mark isPLNat P15 axxisPLNat P15 mark tail X16 axxtail mark X16 mark take Y16 U16 axxtake mark Y16 mark U16 mark sel V16 W16 axxsel mark V16 mark W16 mark tt tt mark cons P16 X17 cons mark P16 X17 mark s Y17 s mark Y17 mark pair U17 V17 pair mark U17 mark V17 mark nil nil mark 0 0 axxu101 W17 P17 X18 u101 W17 P17 X18 axxfst Y18 fst Y18 axxsplitAt U18 V18 splitAt U18 V18 axxu11 W18 P18 X19 u11 W18 P18 X19 axxsnd Y19 snd Y19 axxu21 U19 V19 u21 U19 V19 axxu31 W19 P19 u31 W19 P19 axxu41 X20 Y20 u41 X20 Y20 axxnatsFrom U20 natsFrom U20 axxu51 V20 W20 P20 u51 V20 W20 P20 axxhead X21 head X21 axxafterNth Y21 U21 afterNth Y21 U21 axxu61 V21 W21 u61 V21 W21 axxu71 P21 X22 u71 P21 X22 axxu81 Y22 U22 V22 W22 u81 Y22 U22 V22 W22 axxu82 P22 X23 u82 P22 X23 axxu91 Y23 U23 u91 Y23 U23 axxand V23 W23 and V23 W23 axxisNatural P23 isNatural P23 axxisLNat X24 isLNat X24 axxisPLNat Y24 isPLNat Y24 axxtail U24 tail U24 axxtake V24 W24 take V24 W24 axxsel P24 X25 sel P24 X25 map %X A Z25 %X nil nil app %Y A G25 %Y V25 G25 V25 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 Z25 A A G25 A A V25 A 0 A afterNth A A A and A A A app A A A A axxafterNth A A A axxand A A A axxfst A A axxhead A A axxisLNat A A axxisNatural A A axxisPLNat A A axxnatsFrom A A axxsel A A A axxsnd A A axxsplitAt A A A axxtail A A axxtake A A A axxu101 A A A A axxu11 A A A A axxu21 A A A axxu31 A A A axxu41 A A A axxu51 A A A A axxu61 A A A axxu71 A A A axxu81 A A A A A axxu82 A A A axxu91 A A A cons A A A fst A A head A A isLNat A A isNatural A A isPLNat 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 u101 A A A A u11 A A A A u21 A A A u31 A A A u41 A A A u51 A A A A u61 A A A u71 A A A u81 A A A A A u82 A A A u91 A A A FULL /tmp/tmpfile.afsm