appperfectp0falseappperfectpappsxappappappappfxapps0appsxappsxappappappappf0y0utrueappappappappf0yappszufalseappappappappfappsx0zuappappappappfxuappappminuszappsxuappappappappfappsxappsyzuappappappifappapplexyappappappappfappsxappappminusyxzuappappappappfxuzuappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxs2.0appfilter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2le0le0le1le2if0if0if1if2if3minus0minus0minus1minus2true0true0f0f0f1f2f3f4s0s0s1false0false00000perfectp0perfectp0perfectp1appperfectp0x6perfectp1x6apps0x10s1x10appf3x12x13x14x15f4x12x13x14x15appf2x12x13x14f3x12x13x14appf1x12x13f2x12x13appf0x12f1x12appminus1x18x19minus2x18x19appminus0x18minus1x18appif2x21x22x23if3x21x22x23appif1x21x22if2x21x22appif0x21if1x21apple1x25x26le2x25x26apple0x25le1x25appmap1x28x29map2x28x29appmap0x28map1x28appcons1x32x33cons2x32x33appcons0x32cons1x32appfilter1x35x36filter2x35x36appfilter0x35filter1x35appfilter23x38x39x40x41filter24x38x39x40x41appfilter22x38x39x40filter23x38x39x40appfilter21x38x39filter22x38x39appfilter20x38filter21x38perfectp100false0perfectp1s1xf4xs100s1xs1xf400y00utrue0f400ys1zufalse0f4s1x00zuf4xuminus2zs1xuf4s1xs1yzuif3le2xyf4s1xminus2yxzuf4xuzumap2funnil0nil0map2funcons2xxscons2appfunxmap2funxsfilter2funnil0nil0filter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxscons2xfilter2funxsfilter24false0funxxsfilter2funxsappperfectp0x6perfectp1x6apps0x10s1x10appf3x12x13x14x15f4x12x13x14x15appf2x12x13x14f3x12x13x14appf1x12x13f2x12x13appf0x12f1x12appminus1x18x19minus2x18x19appminus0x18minus1x18appif2x21x22x23if3x21x22x23appif1x21x22if2x21x22appif0x21if1x21apple1x25x26le2x25x26apple0x25le1x25appmap1x28x29map2x28x29appmap0x28map1x28appcons1x32x33cons2x32x33appcons0x32cons1x32appfilter1x35x36filter2x35x36appfilter0x35filter1x35appfilter23x38x39x40x41filter24x38x39x40x41appfilter22x38x39x40filter23x38x39x40appfilter21x38x39filter22x38x39appfilter20x38filter21x38perfectp1s1xf4xs100s1xs1xf4s1x00zuf4xuminus2zs1xuf4s1xs1yzuf4xuzuf4s1xs1yzuf4s1xminus2yxzumap2funcons2xxsmap2funxsmap2funcons2xxsappfunxfilter2funcons2xxsappfunxfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter24false0funxxsfilter2funxsappperfectp0x6perfectp1x6appf3x12x13x14x15f4x12x13x14x15appmap1x28x29map2x28x29appfilter1x35x36filter2x35x36appfilter23x38x39x40x41filter24x38x39x40x41truefilter24true0funxxsfilter2funxsfilter2funcons2xxsfilter24appfunxfunxxsfilter24false0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter23x38x39x40x41filter24x38x39x40x41appfilter1x35x36filter2x35x36appmap1x28x29map2x28x29map2funcons2xxsappfunxmap2funcons2xxsmap2funxstruemap222app22filter222filter2444filter24true0funxxsfilter2funxsfilter24false0funxxsfilter2funxsappfilter23x38x39x40x41filter24x38x39x40x41appfilter1x35x36filter2x35x36appmap1x28x29map2x28x29appmap1x28x29map2x28x29falseappfilter1x35x36filter2x35x36falseappfilter23x38x39x40x41filter24x38x39x40x41falsefilter24false0funxxsfilter2funxsfalsefilter24true0funxxsfilter2funxsfalseappperfectp0x6perfectp1x6falseperfectp1s1xf4xs100s1xs1xfalseappf3x12x13x14x15f4x12x13x14x15falsef4s1xs1yzuf4xuzuf4s1x00zuf4xuminus2zs1xutruef441f4s1xs1yzuf4s1xminus2yxzufalse