axxu101 tt X Y axxu102 axxisNatural X Y axxu102 tt U axxu103 axxisLNat U axxu103 tt tt axxu11 tt V W axxsnd axxsplitAt mark V mark W axxu111 tt P axxu112 axxisLNat P axxu112 tt tt axxu121 tt X1 axxu122 axxisNatural X1 axxu122 tt tt axxu131 tt Y1 U1 axxu132 axxisNatural Y1 U1 axxu132 tt V1 axxu133 axxisLNat V1 axxu133 tt tt axxu141 tt W1 P1 axxu142 axxisLNat W1 P1 axxu142 tt X2 axxu143 axxisLNat X2 axxu143 tt tt axxu151 tt Y2 U2 axxu152 axxisNatural Y2 U2 axxu152 tt V2 axxu153 axxisLNat V2 axxu153 tt tt axxu161 tt W2 cons mark W2 natsFrom s W2 axxu171 tt P2 X3 axxhead axxafterNth mark P2 mark X3 axxu181 tt Y3 mark Y3 axxu191 tt U3 pair nil mark U3 axxu201 tt V3 W3 P3 axxu202 axxsplitAt mark V3 mark P3 W3 axxu202 pair X4 Y4 U4 pair cons mark U4 X4 mark Y4 axxu21 tt V4 mark V4 axxu211 tt W4 mark W4 axxu221 tt P4 X5 axxfst axxsplitAt mark P4 mark X5 axxu31 tt Y5 mark Y5 axxu41 tt U5 V5 axxu42 axxisNatural U5 V5 axxu42 tt W5 axxu43 axxisLNat W5 axxu43 tt tt axxu51 tt P5 X6 axxu52 axxisNatural P5 X6 axxu52 tt Y6 axxu53 axxisLNat Y6 axxu53 tt tt axxu61 tt U6 axxu62 axxisPLNat U6 axxu62 tt tt axxu71 tt V6 axxu72 axxisNatural V6 axxu72 tt tt axxu81 tt W6 axxu82 axxisPLNat W6 axxu82 tt tt axxu91 tt P6 axxu92 axxisLNat P6 axxu92 tt tt axxafterNth X7 Y7 axxu11 axxand axxand axxisNatural X7 isNaturalKind X7 and isLNat Y7 isLNatKind Y7 X7 Y7 axxand tt U7 mark U7 axxfst pair V7 W7 axxu21 axxand axxand axxisLNat V7 isLNatKind V7 and isLNat W7 isLNatKind W7 V7 axxhead cons P7 X8 axxu31 axxand axxand axxisNatural P7 isNaturalKind P7 and isLNat X8 isLNatKind X8 P7 axxisLNat nil tt axxisLNat afterNth Y8 U8 axxu41 axxand axxisNaturalKind Y8 isLNatKind U8 Y8 U8 axxisLNat cons V8 W8 axxu51 axxand axxisNaturalKind V8 isLNatKind W8 V8 W8 axxisLNat fst P8 axxu61 axxisPLNatKind P8 P8 axxisLNat natsFrom X9 axxu71 axxisNaturalKind X9 X9 axxisLNat snd Y9 axxu81 axxisPLNatKind Y9 Y9 axxisLNat tail U9 axxu91 axxisLNatKind U9 U9 axxisLNat take V9 W9 axxu101 axxand axxisNaturalKind V9 isLNatKind W9 V9 W9 axxisLNatKind nil tt axxisLNatKind afterNth P9 X10 axxand axxisNaturalKind P9 isLNatKind X10 axxisLNatKind cons Y10 U10 axxand axxisNaturalKind Y10 isLNatKind U10 axxisLNatKind fst V10 axxisPLNatKind V10 axxisLNatKind natsFrom W10 axxisNaturalKind W10 axxisLNatKind snd P10 axxisPLNatKind P10 axxisLNatKind tail X11 axxisLNatKind X11 axxisLNatKind take Y11 U11 axxand axxisNaturalKind Y11 isLNatKind U11 axxisNatural 0 tt axxisNatural head V11 axxu111 axxisLNatKind V11 V11 axxisNatural s W11 axxu121 axxisNaturalKind W11 W11 axxisNatural sel P11 X12 axxu131 axxand axxisNaturalKind P11 isLNatKind X12 P11 X12 axxisNaturalKind 0 tt axxisNaturalKind head Y12 axxisLNatKind Y12 axxisNaturalKind s U12 axxisNaturalKind U12 axxisNaturalKind sel V12 W12 axxand axxisNaturalKind V12 isLNatKind W12 axxisPLNat pair P12 X13 axxu141 axxand axxisLNatKind P12 isLNatKind X13 P12 X13 axxisPLNat splitAt Y13 U13 axxu151 axxand axxisNaturalKind Y13 isLNatKind U13 Y13 U13 axxisPLNatKind pair V13 W13 axxand axxisLNatKind V13 isLNatKind W13 axxisPLNatKind splitAt P13 X14 axxand axxisNaturalKind P13 isLNatKind X14 axxnatsFrom Y14 axxu161 axxand axxisNatural Y14 isNaturalKind Y14 Y14 axxsel U14 V14 axxu171 axxand axxand axxisNatural U14 isNaturalKind U14 and isLNat V14 isLNatKind V14 U14 V14 axxsnd pair W14 P14 axxu181 axxand axxand axxisLNat W14 isLNatKind W14 and isLNat P14 isLNatKind P14 P14 axxsplitAt 0 X15 axxu191 axxand axxisLNat X15 isLNatKind X15 X15 axxsplitAt s Y15 cons U15 V15 axxu201 axxand axxand axxisNatural Y15 isNaturalKind Y15 and and isNatural U15 isNaturalKind U15 and isLNat V15 isLNatKind V15 Y15 U15 V15 axxtail cons W15 P15 axxu211 axxand axxand axxisNatural W15 isNaturalKind W15 and isLNat P15 isLNatKind P15 P15 axxtake X16 Y16 axxu221 axxand axxand axxisNatural X16 isNaturalKind X16 and isLNat Y16 isLNatKind Y16 X16 Y16 mark u101 U16 V16 W16 axxu101 mark U16 V16 W16 mark u102 P16 X17 axxu102 mark P16 X17 mark isNatural Y17 axxisNatural Y17 mark u103 U17 axxu103 mark U17 mark isLNat V17 axxisLNat V17 mark u11 W17 P17 X18 axxu11 mark W17 P17 X18 mark snd Y18 axxsnd mark Y18 mark splitAt U18 V18 axxsplitAt mark U18 mark V18 mark u111 W18 P18 axxu111 mark W18 P18 mark u112 X19 axxu112 mark X19 mark u121 Y19 U19 axxu121 mark Y19 U19 mark u122 V19 axxu122 mark V19 mark u131 W19 P19 X20 axxu131 mark W19 P19 X20 mark u132 Y20 U20 axxu132 mark Y20 U20 mark u133 V20 axxu133 mark V20 mark u141 W20 P20 X21 axxu141 mark W20 P20 X21 mark u142 Y21 U21 axxu142 mark Y21 U21 mark u143 V21 axxu143 mark V21 mark u151 W21 P21 X22 axxu151 mark W21 P21 X22 mark u152 Y22 U22 axxu152 mark Y22 U22 mark u153 V22 axxu153 mark V22 mark u161 W22 P22 axxu161 mark W22 P22 mark natsFrom X23 axxnatsFrom mark X23 mark u171 Y23 U23 V23 axxu171 mark Y23 U23 V23 mark head W23 axxhead mark W23 mark afterNth P23 X24 axxafterNth mark P23 mark X24 mark u181 Y24 U24 axxu181 mark Y24 U24 mark u191 V24 W24 axxu191 mark V24 W24 mark u201 P24 X25 Y25 U25 axxu201 mark P24 X25 Y25 U25 mark u202 V25 W25 axxu202 mark V25 W25 mark u21 P25 X26 axxu21 mark P25 X26 mark u211 Y26 U26 axxu211 mark Y26 U26 mark u221 V26 W26 P26 axxu221 mark V26 W26 P26 mark fst X27 axxfst mark X27 mark u31 Y27 U27 axxu31 mark Y27 U27 mark u41 V27 W27 P27 axxu41 mark V27 W27 P27 mark u42 X28 Y28 axxu42 mark X28 Y28 mark u43 U28 axxu43 mark U28 mark u51 V28 W28 P28 axxu51 mark V28 W28 P28 mark u52 X29 Y29 axxu52 mark X29 Y29 mark u53 U29 axxu53 mark U29 mark u61 V29 W29 axxu61 mark V29 W29 mark u62 P29 axxu62 mark P29 mark isPLNat X30 axxisPLNat X30 mark u71 Y30 U30 axxu71 mark Y30 U30 mark u72 V30 axxu72 mark V30 mark u81 W30 P30 axxu81 mark W30 P30 mark u82 X31 axxu82 mark X31 mark u91 Y31 U31 axxu91 mark Y31 U31 mark u92 V31 axxu92 mark V31 mark and W31 P31 axxand mark W31 P31 mark isNaturalKind X32 axxisNaturalKind X32 mark isLNatKind Y32 axxisLNatKind Y32 mark isPLNatKind U32 axxisPLNatKind U32 mark tail V32 axxtail mark V32 mark take W32 P32 axxtake mark W32 mark P32 mark sel X33 Y33 axxsel mark X33 mark Y33 mark tt tt mark cons U33 V33 cons mark U33 V33 mark s W33 s mark W33 mark pair P33 X34 pair mark P33 mark X34 mark nil nil mark 0 0 axxu101 Y34 U34 V34 u101 Y34 U34 V34 axxu102 W34 P34 u102 W34 P34 axxisNatural X35 isNatural X35 axxu103 Y35 u103 Y35 axxisLNat U35 isLNat U35 axxu11 V35 W35 P35 u11 V35 W35 P35 axxsnd X36 snd X36 axxsplitAt Y36 U36 splitAt Y36 U36 axxu111 V36 W36 u111 V36 W36 axxu112 P36 u112 P36 axxu121 X37 Y37 u121 X37 Y37 axxu122 U37 u122 U37 axxu131 V37 W37 P37 u131 V37 W37 P37 axxu132 X38 Y38 u132 X38 Y38 axxu133 U38 u133 U38 axxu141 V38 W38 P38 u141 V38 W38 P38 axxu142 X39 Y39 u142 X39 Y39 axxu143 U39 u143 U39 axxu151 V39 W39 P39 u151 V39 W39 P39 axxu152 X40 Y40 u152 X40 Y40 axxu153 U40 u153 U40 axxu161 V40 W40 u161 V40 W40 axxnatsFrom P40 natsFrom P40 axxu171 X41 Y41 U41 u171 X41 Y41 U41 axxhead V41 head V41 axxafterNth W41 P41 afterNth W41 P41 axxu181 X42 Y42 u181 X42 Y42 axxu191 U42 V42 u191 U42 V42 axxu201 W42 P42 X43 Y43 u201 W42 P42 X43 Y43 axxu202 U43 V43 u202 U43 V43 axxu21 W43 P43 u21 W43 P43 axxu211 X44 Y44 u211 X44 Y44 axxu221 U44 V44 W44 u221 U44 V44 W44 axxfst P44 fst P44 axxu31 X45 Y45 u31 X45 Y45 axxu41 U45 V45 W45 u41 U45 V45 W45 axxu42 P45 X46 u42 P45 X46 axxu43 Y46 u43 Y46 axxu51 U46 V46 W46 u51 U46 V46 W46 axxu52 P46 X47 u52 P46 X47 axxu53 Y47 u53 Y47 axxu61 U47 V47 u61 U47 V47 axxu62 W47 u62 W47 axxisPLNat P47 isPLNat P47 axxu71 X48 Y48 u71 X48 Y48 axxu72 U48 u72 U48 axxu81 V48 W48 u81 V48 W48 axxu82 P48 u82 P48 axxu91 X49 Y49 u91 X49 Y49 axxu92 U49 u92 U49 axxand V49 W49 and V49 W49 axxisNaturalKind P49 isNaturalKind P49 axxisLNatKind X50 isLNatKind X50 axxisPLNatKind Y50 isPLNatKind Y50 axxtail U50 tail U50 axxtake V50 W50 take V50 W50 axxsel P50 X51 sel P50 X51 map %X A Z51 %X nil nil app %Y A G51 %Y V51 G51 V51 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 Z51 A A G51 A A V51 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 axxisLNatKind A A axxisNatural A A axxisNaturalKind A A axxisPLNat A A axxisPLNatKind 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 axxu102 A A A axxu103 A A axxu11 A A A A axxu111 A A A axxu112 A A axxu121 A A A axxu122 A A axxu131 A A A A axxu132 A A A axxu133 A A axxu141 A A A A axxu142 A A A axxu143 A A axxu151 A A A A axxu152 A A A axxu153 A A axxu161 A A A axxu171 A A A A axxu181 A A A axxu191 A A A axxu201 A A A A A axxu202 A A A axxu21 A A A axxu211 A A A axxu221 A A A A axxu31 A A A axxu41 A A A A axxu42 A A A axxu43 A A axxu51 A A A A axxu52 A A A axxu53 A A axxu61 A A A axxu62 A A axxu71 A A A axxu72 A A axxu81 A A A axxu82 A A axxu91 A A A axxu92 A A cons A A A fst A A head A A isLNat A A isLNatKind A A isNatural A A isNaturalKind A A isPLNat A A isPLNatKind 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 u102 A A A u103 A A u11 A A A A u111 A A A u112 A A u121 A A A u122 A A u131 A A A A u132 A A A u133 A A u141 A A A A u142 A A A u143 A A u151 A A A A u152 A A A u153 A A u161 A A A u171 A A A A u181 A A A u191 A A A u201 A A A A A u202 A A A u21 A A A u211 A A A u221 A A A A u31 A A A u41 A A A A u42 A A A u43 A A u51 A A A A u52 A A A u53 A A u61 A A A u62 A A u71 A A A u72 A A u81 A A A u82 A A u91 A A A u92 A A FULL /tmp/tmpfile.afsm