appappminus0y0appappminusappsx0appsxappappminusappsxappsyappappminusxyappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappappiftruexyxappappappiffalsexyyappperfectp0falseappperfectpappsxappappappappfxapps0appsxappsxappappappappf0y0utrueappappappappf0yappszufalseappappappappfappsx0zuappappappappfxuappappminuszappsxuappappappappfappsxappsyzuappappappifappapplexyappappappappfappsxappappminusyxzuappappappappfxuzuappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxs2.0appappminusappsxappsyappminusxappappminusappsxappsyappappminusxyappappleappsxappsyapplexappappleappsxappsyappapplexyappperfectpappsxapps0appperfectpappsxappfxappperfectpappsxappappfxapps0appperfectpappsxappappappfxapps0appsxappperfectpappsxappappappappfxapps0appsxappsxappappappappfappsx0zuappminuszappappappappfappsx0zuappappminuszappsxappappappappfappsx0zuappfxappappappappfappsx0zuappappfxuappappappappfappsx0zuappappappfxuappappminuszappsxappappappappfappsx0zuappappappappfxuappappminuszappsxuappappappappfappsxappsyzuappfxappappappappfappsxappsyzuappappfxuappappappappfappsxappsyzuappappappfxuzappappappappfappsxappsyzuappappappappfxuzuappappappappfappsxappsyzuappminusyappappappappfappsxappsyzuappappminusyxappappappappfappsxappsyzuappappfappsxappappminusyxappappappappfappsxappsyzuappappappfappsxappappminusyxzappappappappfappsxappsyzuappappappappfappsxappappminusyxzuappappappappfappsxappsyzuapplexappappappappfappsxappsyzuappapplexyappappappappfappsxappsyzuappifappapplexyappappappappfappsxappsyzuappappifappapplexyappappappappfappsxappappminusyxzuappappappappfappsxappsyzuappappappifappapplexyappappappappfappsxappappminusyxzuappappappappfxuzuappappmapfunappappconsxxsappappmapfunxsappappmapfunappappconsxxsappfunxappappmapfunappappconsxxsappconsappfunxappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunappappconsxxsappfunxappappfilterfunappappconsxxsappfilter2appfunxappappfilterfunappappconsxxsappappfilter2appfunxfunappappfilterfunappappconsxxsappappappfilter2appfunxfunxappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappfilterfunappappappappfilter2truefunxxsappappfilterfunxsappappappappfilter2truefunxxsappconsxappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappfilterfunappappappappfilter2falsefunxxsappappfilterfunxstrueappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2falsefunxxsappappfilterfunxsappappfilterfunappappconsxxsappfunxappappappappfilter2truefunxxsappappfilterfunxsappappmapfunappappconsxxsappfunxappappmapfunappappconsxxsappappmapfunxstrueapp22appappappappfilter2falsefunxxsappappfilterfunxsappappappappfilter2truefunxxsappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxsfalseappappappappfilter2truefunxxsappappfilterfunxsfalseappappmapfunappappconsxxsappconsappfunxfalseappappmapfunappappconsxxsappappconsappfunxappappmapfunxsfalseappappappappfilter2truefunxxsappfilterfunfalseappappappappfilter2truefunxxsappconsxfalseappappappappfilter2truefunxxsappappconsxappappfilterfunxsfalseappappappappfilter2falsefunxxsappfilterfunfalseappappfilterfunappappconsxxsappappappfilter2appfunxfunxfalseappappfilterfunappappconsxxsappappfilter2appfunxfunfalseappappfilterfunappappconsxxsappfilter2appfunxfalseappperfectpappsxappappappappfxapps0appsxappsxfalseappappappappfappsxappsyzuappappappappfappsxappappminusyxzuappappappappfappsxappsyzuappappappappfxuzuappappappappfappsx0zuappappappappfxuappappminuszappsxutrueappapp2app0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2f0f0f1f2f3f4perfectp0perfectp0perfectp1if0if0if1if2if3false0false0true0true0le0le0le1le2s0s0s10000minus0minus0minus1minus2appminus1x304x305minus2x304x305appminus0x304minus1x304apps0x308s1x308apple1x310x311le2x310x311apple0x310le1x310appif2x315x316x317if3x315x316x317appif1x315x316if2x315x316appif0x315if1x315appperfectp0x319perfectp1x319appf3x321x322x323x324f4x321x322x323x324appf2x321x322x323f3x321x322x323appf1x321x322f2x321x322appf0x321f1x321appmap1x326x327map2x326x327appmap0x326map1x326appcons1x330x331cons2x330x331appcons0x330cons1x330appfilter1x333x334filter2x333x334appfilter0x333filter1x333appfilter23x336x337x338x339filter24x336x337x338x339appfilter22x336x337x338filter23x336x337x338appfilter21x336x337filter22x336x337appfilter20x336filter21x336app0f3s1xs1yzuapp0f3s1xminus2yxzuapp0f3s1xs1yzuapp0f3xuzuapp0f3s1x00zuapp0f3xuminus2zs1xuminus200y00minus2s1x00s1xminus2s1xs1yminus2xyle200ytrue0le2s1x00false0le2s1xs1yle2xyif3true0xyxif3false0xyyperfectp100false0perfectp1s1xf4xs100s1xs1xf400y00utrue0f400ys1zufalse0f4s1x00zuf4xuminus2zs1xuf4s1xs1yzuif3le2xyf4s1xminus2yxzuf4xuzumap2funnil0nil0map2funcons2xxscons2appfunxmap2funxsfilter2funnil0nil0filter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxscons2xfilter2funxsfilter24false0funxxsfilter2funxsappminus1x304x305minus2x304x305appminus0x304minus1x304apps0x308s1x308apple1x310x311le2x310x311apple0x310le1x310appif2x315x316x317if3x315x316x317appif1x315x316if2x315x316appif0x315if1x315appperfectp0x319perfectp1x319appf3x321x322x323x324f4x321x322x323x324appf2x321x322x323f3x321x322x323appf1x321x322f2x321x322appf0x321f1x321appmap1x326x327map2x326x327appmap0x326map1x326appcons1x330x331cons2x330x331appcons0x330cons1x330appfilter1x333x334filter2x333x334appfilter0x333filter1x333appfilter23x336x337x338x339filter24x336x337x338x339appfilter22x336x337x338filter23x336x337x338appfilter21x336x337filter22x336x337appfilter20x336filter21x3362app0filter244filter240filter233filter230filter222filter220filter211filter210filter200filter200filter22filter20filter11filter10filter00filter00cons22cons20cons11cons10cons00cons00nil00nil00map22map20map11map10map00map00f44f40f33f30f3_app{0,#}_1f22f20f11f10f00f00perfectp11perfectp10perfectp00perfectp00if33if30if22if20if11if10if00if00false00false00true00true00le22le20le11le10le00le00s11s10s00s00000000minus22minus20minus11minus10minus00minus00app2app0f3_app{0,#}_1s10xs10yzuf3_app{0,#}_1s10xminus20yxzuf3_app{0,#}_1s10xs10yzuf3_app{0,#}_1xuzuf3_app{0,#}_1s10x000zuf3_app{0,#}_1xuminus20zs10xuminus20000y000minus20s10x000s10xminus20s10xs10yminus20xyle20000ytrue00le20s10x000false00le20s10xs10yle20xyif30true00xyxif30false00xyyperfectp10000false00perfectp10s10xf40xs10000s10xs10xf40000y000utrue00f40000ys10zufalse00f40s10x000zuf40xuminus20zs10xuf40s10xs10yzuif30le20xyf40s10xminus20yxzuf40xuzumap20funnil00nil00map20funcons20xxscons20app0funxmap20funxsfilter20funnil00nil00filter20funcons20xxsfilter240app0funxfunxxsfilter240true00funxxscons20xfilter20funxsfilter240false00funxxsfilter20funxsapp0minus10x304x305minus20x304x305app0minus00x304minus10x304app0s00x308s10x308app0le10x310x311le20x310x311app0le00x310le10x310app0if20x315x316x317if30x315x316x317app0if10x315x316if20x315x316app0if00x315if10x315app0perfectp00x319perfectp10x319app0f30x321x322x323x324f40x321x322x323x324app0f20x321x322x323f30x321x322x323app0f10x321x322f20x321x322app0f00x321f10x321app0map10x326x327map20x326x327app0map00x326map10x326app0cons10x330x331cons20x330x331app0cons00x330cons10x330app0filter10x333x334filter20x333x334app0filter00x333filter10x333app0filter230x336x337x338x339filter240x336x337x338x339app0filter220x336x337x338filter230x336x337x338app0filter210x336x337filter220x336x337app0filter200x336filter210x336f3_app{0,#}_141f3_app{0,#}_1s10xs10yzuf3_app{0,#}_1s10xminus20yxzuminus20filter2404filter2400filter2303filter2300filter2202filter2200filter2101filter2100filter2000filter2000filter202filter200filter101filter100filter000filter000cons202cons200cons101cons100cons000cons000nil000nil000map202map200map101map100map000map000f404f400f3_app{0,#}_14f3_app{0,#}_10f303f300f202f200f101f100f000f000perfectp101perfectp100perfectp000perfectp000if303if300if202if200if101if100if000if000false000false000true000true000le202le200le101le100le000le000s101s100s101s000s000000000000001minus101minus100minus000minus000app02app00minus200000x3820001x382minus20s100x384x385s101x384x385f3_app{0,#}_10s100xs100yzuf3_app{0,#}_10s100xminus20yxzu0001y0000s101x0000s100xs101xs100yminus20xyle2000000ytrue000le200s100x0000false000le200s100xs100yle200xyif300true000xyxif300false000xyyperfectp1000000false000perfectp100s100xf400xs1000000s100xs100xf4000000y0000utrue000f4000000ys100zufalse000f400s100x0000zuf400xuminus20zs100xuf400s100xs100yzuif300le200xyf400s100xminus20yxzuf400xuzumap200funnil000nil000map200funcons200xxscons200app00funxmap200funxsfilter200funnil000nil000filter200funcons200xxsfilter2400app00funxfunxxsfilter2400true000funxxscons200xfilter200funxsfilter2400false000funxxsfilter200funxsapp00minus100x304x305minus20x304x305app00minus000x304minus100x304app00s000x308s100x308app00le100x310x311le200x310x311app00le000x310le100x310app00if200x315x316x317if300x315x316x317app00if100x315x316if200x315x316app00if000x315if100x315app00perfectp000x319perfectp100x319app00f300x321x322x323x324f400x321x322x323x324app00f200x321x322x323f300x321x322x323app00f100x321x322f200x321x322app00f000x321f100x321app00map100x326x327map200x326x327app00map000x326map100x326app00cons100x330x331cons200x330x331app00cons000x330cons100x330app00filter100x333x334filter200x333x334app00filter000x333filter100x333app00filter2300x336x337x338x339filter2400x336x337x338x339app00filter2200x336x337x338filter2300x336x337x338app00filter2100x336x337filter2200x336x337app00filter2000x336filter2100x336minus200000x3820001x382minus20s100x384x385s101x384x3854f3_app{0,#}_10filter24004filter24000filter23003filter23000filter22002filter22000filter21001filter21000filter20000filter20000filter2002filter2000filter1001filter1000filter0000filter0000cons2002cons2000cons1001cons1000cons0000cons0000nil0000nil0000map2002map2000map1001map1000map0000map0000f4004f4000f3003f3000f2002f2000f1001f1000f0000f0000perfectp1001perfectp1000perfectp0000perfectp0000if3003if3000if2002if2000if1001if1000if0000if0000false0000false0000true0000true0000le2002le2000le1001le1000le0000le0000s1012s1010s1001s1000s{1,0,0}_f3_app{0,#}_1{0,#}_1s0000s000000011000100000000000minus1001minus1000minus0000minus0000app002app000minus202minus200s{1,0,0}_f3_app{0,#}_1{0,#}_1xs1000yzus{1,0,0}_f3_app{0,#}_1{0,#}_1xminus200yxzu00010y00000s1010x00000s1000xs1010xs1000yminus200xyle200000000ytrue0000le2000s1000x00000false0000le2000s1000xs1000yle2000xyif3000true0000xyxif3000false0000xyyperfectp100000000false0000perfectp1000s1000xf4000xs100000000s1000xs1000xf400000000y00000utrue0000f400000000ys1000zufalse0000f4000s1000x00000zuf4000xuminus200zs1000xuf4000s1000xs1000yzuif3000le2000xyf4000s1000xminus200yxzuf4000xuzumap2000funnil0000nil0000map2000funcons2000xxscons2000app000funxmap2000funxsfilter2000funnil0000nil0000filter2000funcons2000xxsfilter24000app000funxfunxxsfilter24000true0000funxxscons2000xfilter2000funxsfilter24000false0000funxxsfilter2000funxsapp000minus1000x304x305minus200x304x305app000minus0000x304minus1000x304app000s0000x308s1000x308app000le1000x310x311le2000x310x311app000le0000x310le1000x310app000if2000x315x316x317if3000x315x316x317app000if1000x315x316if2000x315x316app000if0000x315if1000x315app000perfectp0000x319perfectp1000x319app000f3000x321x322x323x324f4000x321x322x323x324app000f2000x321x322x323f3000x321x322x323app000f1000x321x322f2000x321x322app000f0000x321f1000x321app000map1000x326x327map2000x326x327app000map0000x326map1000x326app000cons1000x330x331cons2000x330x331app000cons0000x330cons1000x330app000filter1000x333x334filter2000x333x334app000filter0000x333filter1000x333app000filter23000x336x337x338x339filter24000x336x337x338x339app000filter22000x336x337x338filter23000x336x337x338app000filter21000x336x337filter22000x336x337app000filter20000x336filter21000x336minus20000000x38200010x382minus200s1000x384x385s1010x384x385minus200filter240004filter240000filter230003filter230000filter220002filter220000filter210001filter210000filter200000filter200000filter20002filter20000filter10001filter10000filter00000filter00000cons20002cons20000cons10001cons10000cons00000cons00000nil00000nil00000map20002map20000map10001map10000map00000map00000f40004f40000f30003f30000f20002f20000f10001f10000f00000f00000perfectp10001perfectp10000perfectp00000perfectp00000if30003if30000if20002if20000if10001if10000if00000if00000false00000false00000true00000true00000le20002le20000le10001le10000le00000le00000s10102s10100s{1,0,0}_f3_app{0,#}_1{0,#}_14s{1,0,0}_f3_app{0,#}_1{0,#}_10s10001s10000s10001s00000s00000000101000100000000000000000001minus10001minus10000minus00000minus00000app0002app0000minus200000000x479000001x479minus200s10000x484x485s10001x484x485s{1,0,0}_f3_app{0,#}_1{0,#}_10xs10000yzus{1,0,0}_f3_app{0,#}_1{0,#}_10xminus200yxzu000100y000000s10100x000000s10000xs10100xs10000yminus200xyle20000000000ytrue00000le20000s10000x000000false00000le20000s10000xs10000yle20000xyif30000true00000xyxif30000false00000xyyperfectp10000000000false00000perfectp10000s10000xf40000xs10000000000s10000xs10000xf40000000000y000000utrue00000f40000000000ys10000zufalse00000f40000s10000x000000zuf40000xuminus200zs10000xuf40000s10000xs10000yzuif30000le20000xyf40000s10000xminus200yxzuf40000xuzumap20000funnil00000nil00000map20000funcons20000xxscons20000app0000funxmap20000funxsfilter20000funnil00000nil00000filter20000funcons20000xxsfilter240000app0000funxfunxxsfilter240000true00000funxxscons20000xfilter20000funxsfilter240000false00000funxxsfilter20000funxsapp0000minus10000x304x305minus200x304x305app0000minus00000x304minus10000x304app0000s00000x308s10000x308app0000le10000x310x311le20000x310x311app0000le00000x310le10000x310app0000if20000x315x316x317if30000x315x316x317app0000if10000x315x316if20000x315x316app0000if00000x315if10000x315app0000perfectp00000x319perfectp10000x319app0000f30000x321x322x323x324f40000x321x322x323x324app0000f20000x321x322x323f30000x321x322x323app0000f10000x321x322f20000x321x322app0000f00000x321f10000x321app0000map10000x326x327map20000x326x327app0000map00000x326map10000x326app0000cons10000x330x331cons20000x330x331app0000cons00000x330cons10000x330app0000filter10000x333x334filter20000x333x334app0000filter00000x333filter10000x333app0000filter230000x336x337x338x339filter240000x336x337x338x339app0000filter220000x336x337x338filter230000x336x337x338app0000filter210000x336x337filter220000x336x337app0000filter200000x336filter210000x336000001x382000100x382s10001x384x385s10100x384x385minus200000000x479000001x479minus200s10000x484x485s10001x484x485appappappappfappsx0zuappminuszfalseappappappappfappsx0zuappappminuszappsxfalseappappappappfappsx0zuappfxfalseappappappappfappsx0zuappappfxufalseappappappappfappsx0zuappappappfxuappappminuszappsxfalseappappappappfappsxappsyzuappfxfalseappappappappfappsxappsyzuappappfxufalseappappappappfappsxappsyzuappappappfxuzfalseappappappappfappsxappsyzuappminusyfalseappappappappfappsxappsyzuappappminusyxfalseappappminusappsxappsyappappminusxytrueapp22appappminusappsxappsyappminusxfalseappappappappfappsxappsyzuappappfappsxappappminusyxfalseappappappappfappsxappsyzuappappappfappsxappappminusyxzfalseappappappappfappsxappsyzuapplexfalseappappappappfappsxappsyzuappapplexyfalseappappleappsxappsyappapplexytrueapp22appappleappsxappsyapplexfalseappappappappfappsxappsyzuappifappapplexyfalseappappappappfappsxappsyzuappappifappapplexyappappappappfappsxappappminusyxzufalseappappappappfappsxappsyzuappappappifappapplexyappappappappfappsxappappminusyxzuappappappappfxuzufalseappperfectpappsxappappappfxapps0appsxfalseappperfectpappsxappappfxapps0falseappperfectpappsxapps0falseappperfectpappsxappfxfalse