apppredappsxxappappminusx0xappappminusxappsyapppredappappminusxyappappquot0appsy0appappquotappsxappsyappsappappquotappappminusxyappsyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appfalse0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2quot0quot0quot1quot20000minus0minus0minus1minus2s0s0s1pred0pred0pred1apppred0x4pred1x4apps0x6s1x6appminus1x8x9minus2x8x9appminus0x8minus1x8appquot1x12x13quot2x12x13appquot0x12quot1x12appmap1x15x16map2x15x16appmap0x15map1x15appcons1x19x20cons2x19x20appcons0x19cons1x19appfilter1x22x23filter2x22x23appfilter0x22filter1x22appfilter23x25x26x27x28filter24x25x26x27x28appfilter22x25x26x27filter23x25x26x27appfilter21x25x26filter22x25x26appfilter20x25filter21x25pred1s1xxminus2x00xminus2xs1ypred1minus2xyquot200s1y00quot2s1xs1ys1quot2minus2xys1ymap2fnil0nil0map2fcons2xxscons2appfxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsapppred0x4pred1x4apps0x6s1x6appminus1x8x9minus2x8x9appminus0x8minus1x8appquot1x12x13quot2x12x13appquot0x12quot1x12appmap1x15x16map2x15x16appmap0x15map1x15appcons1x19x20cons2x19x20appcons0x19cons1x19appfilter1x22x23filter2x22x23appfilter0x22filter1x22appfilter23x25x26x27x28filter24x25x26x27x28appfilter22x25x26x27filter23x25x26x27appfilter21x25x26filter22x25x26appfilter20x25filter21x25minus2xs1yminus2xyminus2xs1ypred1minus2xyquot2s1xs1yminus2xyquot2s1xs1yquot2minus2xys1ymap2fcons2xxsmap2fxsmap2fcons2xxsappfxfilter2fcons2xxsappfxfilter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsfilter24false0fxxsfilter2fxsapppred0x4pred1x4appminus1x8x9minus2x8x9appquot1x12x13quot2x12x13appmap1x15x16map2x15x16appfilter1x22x23filter2x22x23appfilter23x25x26x27x28filter24x25x26x27x28truefilter24false0fxxsfilter2fxsfilter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsfilter2fcons2xxsappfxappfilter23x25x26x27x28filter24x25x26x27x28appfilter1x22x23filter2x22x23appmap1x15x16map2x15x16map2fcons2xxsappfxmap2fcons2xxsmap2fxstruemap222app22filter222filter2444filter24false0fxxsfilter2fxsfilter24true0fxxsfilter2fxsappfilter23x25x26x27x28filter24x25x26x27x28appfilter1x22x23filter2x22x23appmap1x15x16map2x15x16appmap1x15x16map2x15x16falseappfilter1x22x23filter2x22x23falseappfilter23x25x26x27x28filter24x25x26x27x28falsefilter24true0fxxsfilter2fxsfalsefilter24false0fxxsfilter2fxsfalseapppred0x4pred1x4falseappminus1x8x9minus2x8x9falseappquot1x12x13quot2x12x13falsequot2s1xs1yquot2minus2xys1ytruequot2s1xs1yminus2xyfalseminus2xs1yminus2xytrueminus222minus2xs1ypred1minus2xyfalse