appappminusx0xappappminusappsxappsyappappminusxyappdouble00appdoubleappsxappsappsappdoublexappappplus0yyappappplusappsxyappsappappplusxyappappplusappsxyappappplusxappsyappappplusappsxyappsappappplusappappminusxyappdoubleyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appfalse0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2plus0plus0plus1plus2double0double0double1s0s0s10000minus0minus0minus1minus2appminus1x4x5minus2x4x5appminus0x4minus1x4apps0x8s1x8appdouble0x10double1x10appplus1x12x13plus2x12x13appplus0x12plus1x12appmap1x15x16map2x15x16appmap0x15map1x15appcons1x19x20cons2x19x20appcons0x19cons1x19appfilter1x22x23filter2x22x23appfilter0x22filter1x22appfilter23x25x26x27x28filter24x25x26x27x28appfilter22x25x26x27filter23x25x26x27appfilter21x25x26filter22x25x26appfilter20x25filter21x25minus2x00xminus2s1xs1yminus2xydouble10000double1s1xs1s1double1xplus200yyplus2s1xys1plus2xyplus2s1xyplus2xs1yplus2s1xys1plus2minus2xydouble1ymap2fnil0nil0map2fcons2xxscons2appfxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsappminus1x4x5minus2x4x5appminus0x4minus1x4apps0x8s1x8appdouble0x10double1x10appplus1x12x13plus2x12x13appplus0x12plus1x12appmap1x15x16map2x15x16appmap0x15map1x15appcons1x19x20cons2x19x20appcons0x19cons1x19appfilter1x22x23filter2x22x23appfilter0x22filter1x22appfilter23x25x26x27x28filter24x25x26x27x28appfilter22x25x26x27filter23x25x26x27appfilter21x25x26filter22x25x26appfilter20x25filter21x25minus2s1xs1yminus2xydouble1s1xdouble1xplus2s1xyplus2xyplus2s1xyplus2xs1yplus2s1xydouble1yplus2s1xyminus2xyplus2s1xyplus2minus2xydouble1ymap2fcons2xxsmap2fxsmap2fcons2xxsappfxfilter2fcons2xxsappfxfilter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsfilter24false0fxxsfilter2fxsappminus1x4x5minus2x4x5appdouble0x10double1x10appplus1x12x13plus2x12x13appmap1x15x16map2x15x16appfilter1x22x23filter2x22x23appfilter23x25x26x27x28filter24x25x26x27x28truefilter24false0fxxsfilter2fxsfilter2fcons2xxsappfxappmap1x15x16map2x15x16map2fcons2xxsmap2fxsmap2fcons2xxsappfxappfilter1x22x23filter2x22x23filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsappfilter23x25x26x27x28filter24x25x26x27x28truemap222app22filter222filter2444filter24false0fxxsfilter2fxsappmap1x15x16map2x15x16appfilter1x22x23filter2x22x23filter24true0fxxsfilter2fxsappfilter23x25x26x27x28filter24x25x26x27x28appmap1x15x16map2x15x16falseappfilter1x22x23filter2x22x23falseappfilter23x25x26x27x28filter24x25x26x27x28falsefilter24true0fxxsfilter2fxsfalsefilter24false0fxxsfilter2fxsfalseappplus1x12x13plus2x12x13falseplus2s1xyplus2xyplus2s1xyplus2xs1yplus2s1xyplus2minus2xydouble1ytrueplus220double110s1100000minus220minus221000s111double111plus221minus2x00xminus2s1xs1yminus2xyplus2s1xyminus2xyfalseplus2s1xydouble1yfalseappdouble0x10double1x10falsedouble1s1xdouble1xtruedouble111appminus1x4x5minus2x4x5falseminus2s1xs1yminus2xytrueminus222