active u101 tt X mark u102 isLNat X active u102 tt mark tt active u11 tt Y U mark u12 isLNat U Y U active u111 tt mark tt active u12 tt V W mark snd splitAt V W active u121 tt mark tt active u131 tt P mark u132 isLNat P active u132 tt mark tt active u141 tt X1 mark u142 isLNat X1 active u142 tt mark tt active u151 tt Y1 mark u152 isLNat Y1 active u152 tt mark tt active u161 tt U1 mark cons U1 natsFrom s U1 active u171 tt V1 W1 mark u172 isLNat W1 V1 W1 active u172 tt P1 X2 mark head afterNth P1 X2 active u181 tt Y2 mark u182 isLNat Y2 Y2 active u182 tt U2 mark U2 active u191 tt V2 mark pair nil V2 active u201 tt W2 P2 X3 mark u202 isNatural P2 W2 P2 X3 active u202 tt Y3 U3 V3 mark u203 isLNat V3 Y3 U3 V3 active u203 tt W3 P3 X4 mark u204 splitAt W3 X4 P3 active u204 pair Y4 U4 V4 mark pair cons V4 Y4 U4 active u21 tt W4 P4 mark u22 isLNat P4 W4 active u211 tt X5 mark u212 isLNat X5 X5 active u212 tt Y5 mark Y5 active u22 tt U5 mark U5 active u221 tt V5 W5 mark u222 isLNat W5 V5 W5 active u222 tt P5 X6 mark fst splitAt P5 X6 active u31 tt Y6 U6 mark u32 isLNat U6 Y6 active u32 tt V6 mark V6 active u41 tt W6 mark u42 isLNat W6 active u42 tt mark tt active u51 tt P6 mark u52 isLNat P6 active u52 tt mark tt active u61 tt mark tt active u71 tt mark tt active u81 tt mark tt active u91 tt mark tt active afterNth X7 Y7 mark u11 isNatural X7 X7 Y7 active fst pair U7 V7 mark u21 isLNat U7 U7 V7 active head cons W7 P7 mark u31 isNatural W7 W7 P7 active isLNat nil mark tt active isLNat afterNth X8 Y8 mark u41 isNatural X8 Y8 active isLNat cons U8 V8 mark u51 isNatural U8 V8 active isLNat fst W8 mark u61 isPLNat W8 active isLNat natsFrom P8 mark u71 isNatural P8 active isLNat snd X9 mark u81 isPLNat X9 active isLNat tail Y9 mark u91 isLNat Y9 active isLNat take U9 V9 mark u101 isNatural U9 V9 active isNatural 0 mark tt active isNatural head W9 mark u111 isLNat W9 active isNatural s P9 mark u121 isNatural P9 active isNatural sel X10 Y10 mark u131 isNatural X10 Y10 active isPLNat pair U10 V10 mark u141 isLNat U10 V10 active isPLNat splitAt W10 P10 mark u151 isNatural W10 P10 active natsFrom X11 mark u161 isNatural X11 X11 active sel Y11 U11 mark u171 isNatural Y11 Y11 U11 active snd pair V11 W11 mark u181 isLNat V11 W11 active splitAt 0 P11 mark u191 isLNat P11 P11 active splitAt s X12 cons Y12 U12 mark u201 isNatural X12 X12 Y12 U12 active tail cons V12 W12 mark u211 isNatural V12 W12 active take P12 X13 mark u221 isNatural P12 P12 X13 mark u101 Y13 U13 active u101 mark Y13 U13 mark tt active tt mark u102 V13 active u102 mark V13 mark isLNat W13 active isLNat W13 mark u11 P13 X14 Y14 active u11 mark P13 X14 Y14 mark u12 U14 V14 W14 active u12 mark U14 V14 W14 mark u111 P14 active u111 mark P14 mark snd X15 active snd mark X15 mark splitAt Y15 U15 active splitAt mark Y15 mark U15 mark u121 V15 active u121 mark V15 mark u131 W15 P15 active u131 mark W15 P15 mark u132 X16 active u132 mark X16 mark u141 Y16 U16 active u141 mark Y16 U16 mark u142 V16 active u142 mark V16 mark u151 W16 P16 active u151 mark W16 P16 mark u152 X17 active u152 mark X17 mark u161 Y17 U17 active u161 mark Y17 U17 mark cons V17 W17 active cons mark V17 W17 mark natsFrom P17 active natsFrom mark P17 mark s X18 active s mark X18 mark u171 Y18 U18 V18 active u171 mark Y18 U18 V18 mark u172 W18 P18 X19 active u172 mark W18 P18 X19 mark head Y19 active head mark Y19 mark afterNth U19 V19 active afterNth mark U19 mark V19 mark u181 W19 P19 active u181 mark W19 P19 mark u182 X20 Y20 active u182 mark X20 Y20 mark u191 U20 V20 active u191 mark U20 V20 mark pair W20 P20 active pair mark W20 mark P20 mark nil active nil mark u201 X21 Y21 U21 V21 active u201 mark X21 Y21 U21 V21 mark u202 W21 P21 X22 Y22 active u202 mark W21 P21 X22 Y22 mark isNatural U22 active isNatural U22 mark u203 V22 W22 P22 X23 active u203 mark V22 W22 P22 X23 mark u204 Y23 U23 active u204 mark Y23 U23 mark u21 V23 W23 P23 active u21 mark V23 W23 P23 mark u22 X24 Y24 active u22 mark X24 Y24 mark u211 U24 V24 active u211 mark U24 V24 mark u212 W24 P24 active u212 mark W24 P24 mark u221 X25 Y25 U25 active u221 mark X25 Y25 U25 mark u222 V25 W25 P25 active u222 mark V25 W25 P25 mark fst X26 active fst mark X26 mark u31 Y26 U26 V26 active u31 mark Y26 U26 V26 mark u32 W26 P26 active u32 mark W26 P26 mark u41 X27 Y27 active u41 mark X27 Y27 mark u42 U27 active u42 mark U27 mark u51 V27 W27 active u51 mark V27 W27 mark u52 P27 active u52 mark P27 mark u61 X28 active u61 mark X28 mark u71 Y28 active u71 mark Y28 mark u81 U28 active u81 mark U28 mark u91 V28 active u91 mark V28 mark isPLNat W28 active isPLNat W28 mark tail P28 active tail mark P28 mark take X29 Y29 active take mark X29 mark Y29 mark 0 active 0 mark sel U29 V29 active sel mark U29 mark V29 u101 mark W29 P29 u101 W29 P29 u101 X30 mark Y30 u101 X30 Y30 u101 active U30 V30 u101 U30 V30 u101 W30 active P30 u101 W30 P30 u102 mark X31 u102 X31 u102 active Y31 u102 Y31 isLNat mark U31 isLNat U31 isLNat active V31 isLNat V31 u11 mark W31 P31 X32 u11 W31 P31 X32 u11 Y32 mark U32 V32 u11 Y32 U32 V32 u11 W32 P32 mark X33 u11 W32 P32 X33 u11 active Y33 U33 V33 u11 Y33 U33 V33 u11 W33 active P33 X34 u11 W33 P33 X34 u11 Y34 U34 active V34 u11 Y34 U34 V34 u12 mark W34 P34 X35 u12 W34 P34 X35 u12 Y35 mark U35 V35 u12 Y35 U35 V35 u12 W35 P35 mark X36 u12 W35 P35 X36 u12 active Y36 U36 V36 u12 Y36 U36 V36 u12 W36 active P36 X37 u12 W36 P36 X37 u12 Y37 U37 active V37 u12 Y37 U37 V37 u111 mark W37 u111 W37 u111 active P37 u111 P37 snd mark X38 snd X38 snd active Y38 snd Y38 splitAt mark U38 V38 splitAt U38 V38 splitAt W38 mark P38 splitAt W38 P38 splitAt active X39 Y39 splitAt X39 Y39 splitAt U39 active V39 splitAt U39 V39 u121 mark W39 u121 W39 u121 active P39 u121 P39 u131 mark X40 Y40 u131 X40 Y40 u131 U40 mark V40 u131 U40 V40 u131 active W40 P40 u131 W40 P40 u131 X41 active Y41 u131 X41 Y41 u132 mark U41 u132 U41 u132 active V41 u132 V41 u141 mark W41 P41 u141 W41 P41 u141 X42 mark Y42 u141 X42 Y42 u141 active U42 V42 u141 U42 V42 u141 W42 active P42 u141 W42 P42 u142 mark X43 u142 X43 u142 active Y43 u142 Y43 u151 mark U43 V43 u151 U43 V43 u151 W43 mark P43 u151 W43 P43 u151 active X44 Y44 u151 X44 Y44 u151 U44 active V44 u151 U44 V44 u152 mark W44 u152 W44 u152 active P44 u152 P44 u161 mark X45 Y45 u161 X45 Y45 u161 U45 mark V45 u161 U45 V45 u161 active W45 P45 u161 W45 P45 u161 X46 active Y46 u161 X46 Y46 cons mark U46 V46 cons U46 V46 cons W46 mark P46 cons W46 P46 cons active X47 Y47 cons X47 Y47 cons U47 active V47 cons U47 V47 natsFrom mark W47 natsFrom W47 natsFrom active P47 natsFrom P47 s mark X48 s X48 s active Y48 s Y48 u171 mark U48 V48 W48 u171 U48 V48 W48 u171 P48 mark X49 Y49 u171 P48 X49 Y49 u171 U49 V49 mark W49 u171 U49 V49 W49 u171 active P49 X50 Y50 u171 P49 X50 Y50 u171 U50 active V50 W50 u171 U50 V50 W50 u171 P50 X51 active Y51 u171 P50 X51 Y51 u172 mark U51 V51 W51 u172 U51 V51 W51 u172 P51 mark X52 Y52 u172 P51 X52 Y52 u172 U52 V52 mark W52 u172 U52 V52 W52 u172 active P52 X53 Y53 u172 P52 X53 Y53 u172 U53 active V53 W53 u172 U53 V53 W53 u172 P53 X54 active Y54 u172 P53 X54 Y54 head mark U54 head U54 head active V54 head V54 afterNth mark W54 P54 afterNth W54 P54 afterNth X55 mark Y55 afterNth X55 Y55 afterNth active U55 V55 afterNth U55 V55 afterNth W55 active P55 afterNth W55 P55 u181 mark X56 Y56 u181 X56 Y56 u181 U56 mark V56 u181 U56 V56 u181 active W56 P56 u181 W56 P56 u181 X57 active Y57 u181 X57 Y57 u182 mark U57 V57 u182 U57 V57 u182 W57 mark P57 u182 W57 P57 u182 active X58 Y58 u182 X58 Y58 u182 U58 active V58 u182 U58 V58 u191 mark W58 P58 u191 W58 P58 u191 X59 mark Y59 u191 X59 Y59 u191 active U59 V59 u191 U59 V59 u191 W59 active P59 u191 W59 P59 pair mark X60 Y60 pair X60 Y60 pair U60 mark V60 pair U60 V60 pair active W60 P60 pair W60 P60 pair X61 active Y61 pair X61 Y61 u201 mark U61 V61 W61 P61 u201 U61 V61 W61 P61 u201 X62 mark Y62 U62 V62 u201 X62 Y62 U62 V62 u201 W62 P62 mark X63 Y63 u201 W62 P62 X63 Y63 u201 U63 V63 W63 mark P63 u201 U63 V63 W63 P63 u201 active X64 Y64 U64 V64 u201 X64 Y64 U64 V64 u201 W64 active P64 X65 Y65 u201 W64 P64 X65 Y65 u201 U65 V65 active W65 P65 u201 U65 V65 W65 P65 u201 X66 Y66 U66 active V66 u201 X66 Y66 U66 V66 u202 mark W66 P66 X67 Y67 u202 W66 P66 X67 Y67 u202 U67 mark V67 W67 P67 u202 U67 V67 W67 P67 u202 X68 Y68 mark U68 V68 u202 X68 Y68 U68 V68 u202 W68 P68 X69 mark Y69 u202 W68 P68 X69 Y69 u202 active U69 V69 W69 P69 u202 U69 V69 W69 P69 u202 X70 active Y70 U70 V70 u202 X70 Y70 U70 V70 u202 W70 P70 active X71 Y71 u202 W70 P70 X71 Y71 u202 U71 V71 W71 active P71 u202 U71 V71 W71 P71 isNatural mark X72 isNatural X72 isNatural active Y72 isNatural Y72 u203 mark U72 V72 W72 P72 u203 U72 V72 W72 P72 u203 X73 mark Y73 U73 V73 u203 X73 Y73 U73 V73 u203 W73 P73 mark X74 Y74 u203 W73 P73 X74 Y74 u203 U74 V74 W74 mark P74 u203 U74 V74 W74 P74 u203 active X75 Y75 U75 V75 u203 X75 Y75 U75 V75 u203 W75 active P75 X76 Y76 u203 W75 P75 X76 Y76 u203 U76 V76 active W76 P76 u203 U76 V76 W76 P76 u203 X77 Y77 U77 active V77 u203 X77 Y77 U77 V77 u204 mark W77 P77 u204 W77 P77 u204 X78 mark Y78 u204 X78 Y78 u204 active U78 V78 u204 U78 V78 u204 W78 active P78 u204 W78 P78 u21 mark X79 Y79 U79 u21 X79 Y79 U79 u21 V79 mark W79 P79 u21 V79 W79 P79 u21 X80 Y80 mark U80 u21 X80 Y80 U80 u21 active V80 W80 P80 u21 V80 W80 P80 u21 X81 active Y81 U81 u21 X81 Y81 U81 u21 V81 W81 active P81 u21 V81 W81 P81 u22 mark X82 Y82 u22 X82 Y82 u22 U82 mark V82 u22 U82 V82 u22 active W82 P82 u22 W82 P82 u22 X83 active Y83 u22 X83 Y83 u211 mark U83 V83 u211 U83 V83 u211 W83 mark P83 u211 W83 P83 u211 active X84 Y84 u211 X84 Y84 u211 U84 active V84 u211 U84 V84 u212 mark W84 P84 u212 W84 P84 u212 X85 mark Y85 u212 X85 Y85 u212 active U85 V85 u212 U85 V85 u212 W85 active P85 u212 W85 P85 u221 mark X86 Y86 U86 u221 X86 Y86 U86 u221 V86 mark W86 P86 u221 V86 W86 P86 u221 X87 Y87 mark U87 u221 X87 Y87 U87 u221 active V87 W87 P87 u221 V87 W87 P87 u221 X88 active Y88 U88 u221 X88 Y88 U88 u221 V88 W88 active P88 u221 V88 W88 P88 u222 mark X89 Y89 U89 u222 X89 Y89 U89 u222 V89 mark W89 P89 u222 V89 W89 P89 u222 X90 Y90 mark U90 u222 X90 Y90 U90 u222 active V90 W90 P90 u222 V90 W90 P90 u222 X91 active Y91 U91 u222 X91 Y91 U91 u222 V91 W91 active P91 u222 V91 W91 P91 fst mark X92 fst X92 fst active Y92 fst Y92 u31 mark U92 V92 W92 u31 U92 V92 W92 u31 P92 mark X93 Y93 u31 P92 X93 Y93 u31 U93 V93 mark W93 u31 U93 V93 W93 u31 active P93 X94 Y94 u31 P93 X94 Y94 u31 U94 active V94 W94 u31 U94 V94 W94 u31 P94 X95 active Y95 u31 P94 X95 Y95 u32 mark U95 V95 u32 U95 V95 u32 W95 mark P95 u32 W95 P95 u32 active X96 Y96 u32 X96 Y96 u32 U96 active V96 u32 U96 V96 u41 mark W96 P96 u41 W96 P96 u41 X97 mark Y97 u41 X97 Y97 u41 active U97 V97 u41 U97 V97 u41 W97 active P97 u41 W97 P97 u42 mark X98 u42 X98 u42 active Y98 u42 Y98 u51 mark U98 V98 u51 U98 V98 u51 W98 mark P98 u51 W98 P98 u51 active X99 Y99 u51 X99 Y99 u51 U99 active V99 u51 U99 V99 u52 mark W99 u52 W99 u52 active P99 u52 P99 u61 mark X100 u61 X100 u61 active Y100 u61 Y100 u71 mark U100 u71 U100 u71 active V100 u71 V100 u81 mark W100 u81 W100 u81 active P100 u81 P100 u91 mark X101 u91 X101 u91 active Y101 u91 Y101 isPLNat mark U101 isPLNat U101 isPLNat active V101 isPLNat V101 tail mark W101 tail W101 tail active P101 tail P101 take mark X102 Y102 take X102 Y102 take U102 mark V102 take U102 V102 take active W102 P102 take W102 P102 take X103 active Y103 take X103 Y103 sel mark U103 V103 sel U103 V103 sel W103 mark P103 sel W103 P103 sel active X104 Y104 sel X104 Y104 sel U104 active V104 sel U104 V104 map %X A I104 %X nil nil app %Y A J104 %Y X105 J104 X105 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 V75 A W75 A P75 A X76 A Y76 A U76 A V76 A W76 A P76 A X77 A Y77 A U77 A V77 A W77 A P77 A X78 A Y78 A U78 A V78 A W78 A P78 A X79 A Y79 A U79 A V79 A W79 A P79 A X80 A Y80 A U80 A V80 A W80 A P80 A X81 A Y81 A U81 A V81 A W81 A P81 A X82 A Y82 A U82 A V82 A W82 A P82 A X83 A Y83 A U83 A V83 A W83 A P83 A X84 A Y84 A U84 A V84 A W84 A P84 A X85 A Y85 A U85 A V85 A W85 A P85 A X86 A Y86 A U86 A V86 A W86 A P86 A X87 A Y87 A U87 A V87 A W87 A P87 A X88 A Y88 A U88 A V88 A W88 A P88 A X89 A Y89 A U89 A V89 A W89 A P89 A X90 A Y90 A U90 A V90 A W90 A P90 A X91 A Y91 A U91 A V91 A W91 A P91 A X92 A Y92 A U92 A V92 A W92 A P92 A X93 A Y93 A U93 A V93 A W93 A P93 A X94 A Y94 A U94 A V94 A W94 A P94 A X95 A Y95 A U95 A V95 A W95 A P95 A X96 A Y96 A U96 A V96 A W96 A P96 A X97 A Y97 A U97 A V97 A W97 A P97 A X98 A Y98 A U98 A V98 A W98 A P98 A X99 A Y99 A U99 A V99 A W99 A P99 A X100 A Y100 A U100 A V100 A W100 A P100 A X101 A Y101 A U101 A V101 A W101 A P101 A X102 A Y102 A U102 A V102 A W102 A P102 A X103 A Y103 A U103 A V103 A W103 A P103 A X104 A Y104 A U104 A V104 A I104 A A J104 A A X105 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 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 u102 A A u11 A A A A u111 A A u12 A A A A u121 A A u131 A A A u132 A A u141 A A A u142 A A u151 A A A u152 A A u161 A A A u171 A A A A u172 A A A A u181 A A A u182 A A A u191 A A A u201 A A A A A u202 A A A A A u203 A A A A A u204 A A A u21 A A A A u211 A A A u212 A A A u22 A A A u221 A A A A u222 A A A A u31 A A A A u32 A A A u41 A A A u42 A A u51 A A A u52 A A u61 A A u71 A A u81 A A u91 A A FULL /tmp/tmpfile.afsm