appappminusx0xappappminusappsxappsyappappminusxyappappquot0appsy0appappquotappsxappsyappsappappquotappappminusxyappsyappappplus0yyappappplusappsxyappsappappplusxyappappplusappappminusxapps0appappminusyappsappszappappplusappappminusyappsappszappappminusxapps0appappplusappappplusxapps0appappplusyappsappszappappplusappappplusyappsappszappappplusxapps0appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appfalse0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2plus0plus0plus1plus2quot0quot0quot1quot2s0s0s10000minus0minus0minus1minus2appminus1x5x6minus2x5x6appminus0x5minus1x5apps0x9s1x9appquot1x11x12quot2x11x12appquot0x11quot1x11appplus1x14x15plus2x14x15appplus0x14plus1x14appmap1x17x18map2x17x18appmap0x17map1x17appcons1x21x22cons2x21x22appcons0x21cons1x21appfilter1x24x25filter2x24x25appfilter0x24filter1x24appfilter23x27x28x29x30filter24x27x28x29x30appfilter22x27x28x29filter23x27x28x29appfilter21x27x28filter22x27x28appfilter20x27filter21x27minus2x00xminus2s1xs1yminus2xyquot200s1y00quot2s1xs1ys1quot2minus2xys1yplus200yyplus2s1xys1plus2xyplus2minus2xs100minus2ys1s1zplus2minus2ys1s1zminus2xs100plus2plus2xs100plus2ys1s1zplus2plus2ys1s1zplus2xs100map2fnil0nil0map2fcons2xxscons2appfxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsappminus1x5x6minus2x5x6appminus0x5minus1x5apps0x9s1x9appquot1x11x12quot2x11x12appquot0x11quot1x11appplus1x14x15plus2x14x15appplus0x14plus1x14appmap1x17x18map2x17x18appmap0x17map1x17appcons1x21x22cons2x21x22appcons0x21cons1x21appfilter1x24x25filter2x24x25appfilter0x24filter1x24appfilter23x27x28x29x30filter24x27x28x29x30appfilter22x27x28x29filter23x27x28x29appfilter21x27x28filter22x27x28appfilter20x27filter21x27minus2s1xs1yminus2xyquot2s1xs1yminus2xyquot2s1xs1yquot2minus2xys1yplus2s1xyplus2xyplus2minus2xs100minus2ys1s1zplus2minus2ys1s1zminus2xs100plus2plus2xs100plus2ys1s1zplus2plus2ys1s1zplus2xs100map2fcons2xxsmap2fxsmap2fcons2xxsappfxfilter2fcons2xxsappfxfilter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsfilter24false0fxxsfilter2fxsappminus1x5x6minus2x5x6appquot1x11x12quot2x11x12appplus1x14x15plus2x14x15appmap1x17x18map2x17x18appfilter1x24x25filter2x24x25appfilter23x27x28x29x30filter24x27x28x29x30truefilter24false0fxxsfilter2fxsfilter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsfilter2fcons2xxsappfxappfilter23x27x28x29x30filter24x27x28x29x30appfilter1x24x25filter2x24x25appmap1x17x18map2x17x18map2fcons2xxsappfxmap2fcons2xxsmap2fxstruemap222app22filter222filter2444filter24false0fxxsfilter2fxsfilter24true0fxxsfilter2fxsappfilter23x27x28x29x30filter24x27x28x29x30appfilter1x24x25filter2x24x25appmap1x17x18map2x17x18appmap1x17x18map2x17x18falseappfilter1x24x25filter2x24x25falseappfilter23x27x28x29x30filter24x27x28x29x30falsefilter24true0fxxsfilter2fxsfalsefilter24false0fxxsfilter2fxsfalseappminus1x5x6minus2x5x6falseappquot1x11x12quot2x11x12falsequot2s1xs1yquot2minus2xys1ytruequot2s1xs1yminus2xyfalseminus2s1xs1yminus2xytrueminus222appplus1x14x15plus2x14x15falseplus2plus2xs100plus2ys1s1zplus2plus2ys1s1zplus2xs100plus2minus2xs100minus2ys1s1zplus2minus2ys1s1zminus2xs100plus2s1xyplus2xytrue