appappminus0y0appappminusappsx0appsxappappminusappsxappsyappappminusxyappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappappiftruexyxappappappiffalsexyyappperfectp0falseappperfectpappsxappappappappfxapps0appsxappsxappappappappf0y0utrueappappappappf0yappszufalseappappappappfappsx0zuappappappappfxuappappminuszappsxuappappappappfappsxappsyzuappappappifappapplexyappappappappfappsxappappminusyxzuappappappappfxuzuappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxs2.0appfilter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2f0f0f1f2f3f4perfectp0perfectp0perfectp1if0if0if1if2if3false0false0true0true0le0le0le1le2s0s0s10000minus0minus0minus1minus2appminus1x6x7minus2x6x7appminus0x6minus1x6apps0x10s1x10apple1x12x13le2x12x13apple0x12le1x12appif2x17x18x19if3x17x18x19appif1x17x18if2x17x18appif0x17if1x17appperfectp0x21perfectp1x21appf3x23x24x25x26f4x23x24x25x26appf2x23x24x25f3x23x24x25appf1x23x24f2x23x24appf0x23f1x23appmap1x28x29map2x28x29appmap0x28map1x28appcons1x32x33cons2x32x33appcons0x32cons1x32appfilter1x35x36filter2x35x36appfilter0x35filter1x35appfilter23x38x39x40x41filter24x38x39x40x41appfilter22x38x39x40filter23x38x39x40appfilter21x38x39filter22x38x39appfilter20x38filter21x38minus200y00minus2s1x00s1xminus2s1xs1yminus2xyle200ytrue0le2s1x00false0le2s1xs1yle2xyif3true0xyxif3false0xyyperfectp100false0perfectp1s1xf4xs100s1xs1xf400y00utrue0f400ys1zufalse0f4s1x00zuf4xuminus2zs1xuf4s1xs1yzuif3le2xyf4s1xminus2yxzuf4xuzumap2funnil0nil0map2funcons2xxscons2appfunxmap2funxsfilter2funnil0nil0filter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxscons2xfilter2funxsfilter24false0funxxsfilter2funxsappminus1x6x7minus2x6x7appminus0x6minus1x6apps0x10s1x10apple1x12x13le2x12x13apple0x12le1x12appif2x17x18x19if3x17x18x19appif1x17x18if2x17x18appif0x17if1x17appperfectp0x21perfectp1x21appf3x23x24x25x26f4x23x24x25x26appf2x23x24x25f3x23x24x25appf1x23x24f2x23x24appf0x23f1x23appmap1x28x29map2x28x29appmap0x28map1x28appcons1x32x33cons2x32x33appcons0x32cons1x32appfilter1x35x36filter2x35x36appfilter0x35filter1x35appfilter23x38x39x40x41filter24x38x39x40x41appfilter22x38x39x40filter23x38x39x40appfilter21x38x39filter22x38x39appfilter20x38filter21x38minus2s1xs1yminus2xyle2s1xs1yle2xyperfectp1s1xf4xs100s1xs1xf4s1x00zuminus2zs1xf4s1x00zuf4xuminus2zs1xuf4s1xs1yzuf4xuzuf4s1xs1yzuminus2yxf4s1xs1yzuf4s1xminus2yxzuf4s1xs1yzule2xyf4s1xs1yzuif3le2xyf4s1xminus2yxzuf4xuzumap2funcons2xxsmap2funxsmap2funcons2xxsappfunxfilter2funcons2xxsappfunxfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter24false0funxxsfilter2funxsappminus1x6x7minus2x6x7apple1x12x13le2x12x13appif2x17x18x19if3x17x18x19appperfectp0x21perfectp1x21appf3x23x24x25x26f4x23x24x25x26appmap1x28x29map2x28x29appfilter1x35x36filter2x35x36appfilter23x38x39x40x41filter24x38x39x40x41truefilter24false0funxxsfilter2funxsfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter23x38x39x40x41filter24x38x39x40x41appfilter1x35x36filter2x35x36appmap1x28x29map2x28x29map2funcons2xxsappfunxmap2funcons2xxsmap2funxstrue1641filter244011203040filter2211020app211020map2211020filter244010203040filter2331112030filter22201020filter211010filter2000filter2201020filter11110filter000cons2201020cons11010cons000nil000map2201020map11111map000f44010213041f330102030f2201020f11010f000perfectp11010perfectp000if330102030if2201020if11010if000false000true000le2201020le11010le000s11011s0000000minus2201021minus11010minus000app201021filter24false0funxxsfilter2funxsfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter23x38x39x40x41filter24x38x39x40x41appfilter1x35x36filter2x35x36map2funcons2xxsappfunxmap2funcons2xxsmap2funxsmap2funcons2xxsmap2funxstrue1641map2201120cons2201121map2funcons2xxsappfunxfalsefilter24false0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter1x35x36filter2x35x36filter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsappfilter23x38x39x40x41filter24x38x39x40x41true1641filter244011203041filter2211021app211021filter244010203041filter2330112031filter22201020filter211010filter2000filter2201120filter11111filter000cons2201020cons11010cons000nil001map2201120map11010map000f44011203140f330102030f2201020f11010f000perfectp11010perfectp000if330102030if2201020if11010if000false000true000le2201020le11010le000s11011s0000000minus2211021minus11010minus000app201020filter24false0funxxsfilter2funxsfilter2funcons2xxsappfunxfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter24false0funxxsfilter2funxsfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxstrue1641filter244010203141filter2201120filter244010203040filter2330102030filter22201020filter211010filter2000filter2201021filter11010filter000cons2201121cons11010cons000nil000map2201021map11010map000f44010213040f330102030f2201020f11010f000perfectp11010perfectp000if330102030if2201020if11010if000false000true000le2201020le11010le000s11111s0000001minus2201020minus11010minus000app201020filter2funcons2xxsfilter24appfunxfunxxsfilter2funcons2xxsfilter24appfunxfunxxsfalsefilter2funcons2xxsappfunxfalseappminus1x6x7minus2x6x7falseapple1x12x13le2x12x13falseappif2x17x18x19if3x17x18x19falseappperfectp0x21perfectp1x21falseperfectp1s1xf4xs100s1xs1xfalseappf3x23x24x25x26f4x23x24x25x26falsef4s1xs1yzuf4s1xminus2yxzuf4s1xs1yzuf4xuzuf4s1x00zuf4xuminus2zs1xutrue1641f44110203041s111110000minus2201020f4s1xs1yzuf4s1xminus2yxzu1641f44011203040s111110000minus2211020minus200y00minus2s1x00s1xminus2s1xs1yminus2xyf4s1x00zuminus2zs1xfalsef4s1xs1yzuminus2yxfalseminus2s1xs1yminus2xytrue1641minus2211020s11111f4s1xs1yzule2xyfalsele2s1xs1yle2xytrue1641le2211020s11111f4s1xs1yzuif3le2xyf4s1xminus2yxzuf4xuzufalse