appappminusx0xappappminusappsxappsyappappminusxyappf0apps0appfappsxappappminusappsxappgappfxappg00appgappsxappappminusappsxappfappgxappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxs2.0appfalse0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2g0g0g1f0f0f1s0s0s10000minus0minus0minus1minus2appminus1x4x5minus2x4x5appminus0x4minus1x4apps0x8s1x8appf0x10f1x10appg0x12g1x12appmap1x14x15map2x14x15appmap0x14map1x14appcons1x18x19cons2x18x19appcons0x18cons1x18appfilter1x21x22filter2x21x22appfilter0x21filter1x21appfilter23x24x25x26x27filter24x24x25x26x27appfilter22x24x25x26filter23x24x25x26appfilter21x24x25filter22x24x25appfilter20x24filter21x24minus2x00xminus2s1xs1yminus2xyf100s100f1s1xminus2s1xg1f1xg10000g1s1xminus2s1xf1g1xmap2funnil0nil0map2funcons2xxscons2appfunxmap2funxsfilter2funnil0nil0filter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxscons2xfilter2funxsfilter24false0funxxsfilter2funxsappminus1x4x5minus2x4x5appminus0x4minus1x4apps0x8s1x8appf0x10f1x10appg0x12g1x12appmap1x14x15map2x14x15appmap0x14map1x14appcons1x18x19cons2x18x19appcons0x18cons1x18appfilter1x21x22filter2x21x22appfilter0x21filter1x21appfilter23x24x25x26x27filter24x24x25x26x27appfilter22x24x25x26filter23x24x25x26appfilter21x24x25filter22x24x25appfilter20x24filter21x24minus2s1xs1yminus2xyf1s1xf1xf1s1xg1f1xf1s1xminus2s1xg1f1xg1s1xg1xg1s1xf1g1xg1s1xminus2s1xf1g1xmap2funcons2xxsmap2funxsmap2funcons2xxsappfunxfilter2funcons2xxsappfunxfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter24false0funxxsfilter2funxsappminus1x4x5minus2x4x5appf0x10f1x10appg0x12g1x12appmap1x14x15map2x14x15appfilter1x21x22filter2x21x22appfilter23x24x25x26x27filter24x24x25x26x27truefilter24false0funxxsfilter2funxsfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter23x24x25x26x27filter24x24x25x26x27appfilter1x21x22filter2x21x22appmap1x14x15map2x14x15map2funcons2xxsappfunxmap2funcons2xxsmap2funxstrue211641filter244000010010200003000040000filter2200101000020000app200101000020000map2200101000020000false000000true000000filter244000010000200003000041000filter2331000100012000031000filter22200001000020000filter211000011100filter2001100filter2200001000020000filter11001110000filter000000cons2200001000020000cons11000010000cons001000nil001100map2200001010120000map11000111100map000000g11101110100g001100f11100110000f000100s11011110000s0000000001100minus2210011110020000minus11000010000minus001000app211101000021000filter24false0funxxsfilter2funxsfilter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter23x24x25x26x27filter24x24x25x26x27appfilter1x21x22filter2x21x22map2funcons2xxsappfunxmap2funcons2xxsmap2funxsmap2funcons2xxsmap2funxstrue211641map2200001001020000cons2200001000120100map2funcons2xxsappfunxfalsefilter24false0funxxsfilter2funxsfilter2funcons2xxsappfunxappfilter1x21x22filter2x21x22filter2funcons2xxsfilter24appfunxfunxxsfilter24true0funxxsfilter2funxsappfilter23x24x25x26x27filter24x24x25x26x27true211641filter244000011000200003101040000filter2210001101020000app210001101020000false000000true000000filter244000010101201013000041000filter2331000110002000030100filter22200011000021100filter211000010000filter2000000filter2200001010120000filter11100011000filter001100cons2210111111021100cons11000011100cons001100nil001100map2200101000020000map11000010000map000000g11110010000g000100f11001010000f000000s11000010000s0001000000000minus2200001100021000minus11000011100minus000000app210111001020100filter24false0funxxsfilter2funxsfilter24true0funxxsfilter2funxsappfilter23x24x25x26x27filter24x24x25x26x27appfilter23x24x25x26x27filter24x24x25x26x27falsefilter24true0funxxsfilter2funxsfalsefilter24false0funxxsfilter2funxsfalseappminus1x4x5minus2x4x5falseappf0x10f1x10falseappg0x12g1x12falseg1s1xf1g1xf1s1xg1f1xg1s1xg1xf1s1xf1xtrue211641g11100011000f11001011000g11011110000f11101111100s111111101000000000minus2210011000021000g1s1xf1g1xf1s1xg1f1xg1s1xg1xg10000g1s1xminus2s1xf1g1xminus2x00xminus2s1xs1yminus2xyf100s100f1s1xminus2s1xg1f1x211641g11100010000f11100010000g11110111100f11110111000s111001111000001000minus2211011000020000g1s1xf1g1xf1s1xg1f1xg10000g1s1xminus2s1xf1g1xminus2x00xminus2s1xs1yminus2xyf100s100f1s1xminus2s1xg1f1x211641g11100010000f11001011000g11101110000f11101110100s110111110000001000minus2210111000020000g1s1xf1g1xg10000g1s1xminus2s1xf1g1xminus2x00xminus2s1xs1yminus2xyf100s100f1s1xminus2s1xg1f1xg1s1xf1g1xfalsef1s1xminus2s1xg1f1xfalseg1s1xminus2s1xf1g1xfalseminus2s1xs1yminus2xytrue211641minus2200001101020000s11111110100