app'app'minusx0xapp'app'minusapp'sxapp'syapp'app'minusxyapp'app'minusapp'app'minusxyzapp'app'minusxapp'app'plusyzapp'app'quot0app'sy0app'app'quotapp'sxapp'syapp'sapp'app'quotapp'app'minusxyapp'syapp'app'plus0yyapp'app'plusapp'sxyapp'sapp'app'plusxyapp'app'appnilkkapp'app'applnillapp'app'appapp'app'consxlkapp'app'consxapp'app'applkapp'sumapp'app'consxnilapp'app'consxnilapp'sumapp'app'consxapp'app'consylapp'sumapp'app'consapp'app'plusxylapp'sumapp'app'applapp'app'consxapp'app'consykapp'sumapp'app'applapp'sumapp'app'consxapp'app'consykapp'app'mapfnilnilapp'app'mapfapp'app'consxxsapp'app'consapp'fxapp'app'mapfxsapp'app'filterfnilnilapp'app'filterfapp'app'consxxsapp'app'app'app'filter2app'fxfxxsapp'app'app'app'filter2truefxxsapp'app'consxapp'app'filterfxsapp'app'app'app'filter2falsefxxsapp'app'filterfxs2.0app'false0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2map0map0map1map2sum0sum0sum1cons0cons0cons1cons2nil0nil0app0app0app1app2quot0quot0quot1quot2plus0plus0plus1plus2s0s0s10000minus0minus0minus1minus2app'minus1x7x8minus2x7x8app'minus0x7minus1x7app's0x11s1x11app'plus1x13x14plus2x13x14app'plus0x13plus1x13app'quot1x16x17quot2x16x17app'quot0x16quot1x16app'app1x19x20app2x19x20app'app0x19app1x19app'cons1x23x24cons2x23x24app'cons0x23cons1x23app'sum0x26sum1x26app'map1x28x29map2x28x29app'map0x28map1x28app'filter1x31x32filter2x31x32app'filter0x31filter1x31app'filter23x34x35x36x37filter24x34x35x36x37app'filter22x34x35x36filter23x34x35x36app'filter21x34x35filter22x34x35app'filter20x34filter21x34minus2x00xminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yzquot200s1y00quot2s1xs1ys1quot2minus2xys1yplus200yyplus2s1xys1plus2xyapp2nil0kkapp2lnil0lapp2cons2xlkcons2xapp2lksum1cons2xnil0cons2xnil0sum1cons2xcons2ylsum1cons2plus2xylsum1app2lcons2xcons2yksum1app2lsum1cons2xcons2ykmap2fnil0nil0map2fcons2xxscons2app'fxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24app'fxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsapp'minus1x7x8minus2x7x8app'minus0x7minus1x7app's0x11s1x11app'plus1x13x14plus2x13x14app'plus0x13plus1x13app'quot1x16x17quot2x16x17app'quot0x16quot1x16app'app1x19x20app2x19x20app'app0x19app1x19app'cons1x23x24cons2x23x24app'cons0x23cons1x23app'sum0x26sum1x26app'map1x28x29map2x28x29app'map0x28map1x28app'filter1x31x32filter2x31x32app'filter0x31filter1x31app'filter23x34x35x36x37filter24x34x35x36x37app'filter22x34x35x36filter23x34x35x36app'filter21x34x35filter22x34x35app'filter20x34filter21x34minus2s1xs1yminus2xyminus2minus2xyzplus2yzminus2minus2xyzminus2xplus2yzquot2s1xs1yminus2xyquot2s1xs1yquot2minus2xys1yplus2s1xyplus2xyapp2cons2xlkapp2lksum1cons2xcons2ylplus2xysum1cons2xcons2ylsum1cons2plus2xylsum1app2lcons2xcons2yksum1cons2xcons2yksum1app2lcons2xcons2ykapp2lsum1cons2xcons2yksum1app2lcons2xcons2yksum1app2lsum1cons2xcons2ykmap2fcons2xxsmap2fxsmap2fcons2xxsapp'fxfilter2fcons2xxsapp'fxfilter2fcons2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxsfilter24false0fxxsfilter2fxsapp'minus1x7x8minus2x7x8app'plus1x13x14plus2x13x14app'quot1x16x17quot2x16x17app'app1x19x20app2x19x20app'sum0x26sum1x26app'map1x28x29map2x28x29app'filter1x31x32filter2x31x32app'filter23x34x35x36x37filter24x34x35x36x37truefilter24false0fxxsfilter2fxsfilter2fcons2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxsfilter2fcons2xxsapp'fxapp'filter23x34x35x36x37filter24x34x35x36x37app'filter1x31x32filter2x31x32app'map1x28x29map2x28x29map2fcons2xxsapp'fxmap2fcons2xxsmap2fxstrue1641filter244011213140filter2211120app'211121map2211121false000true000filter244010203040filter2330112130filter22201020filter211010filter2000filter2201020filter11110filter001map2201021map11111map000sum11011sum000cons2211121cons11011cons001nil001app2201021app11010app000quot2201121quot11010quot000plus2201020plus11010plus000s11111s0000000minus2201020minus11010minus000app'211020filter24false0fxxsfilter2fxsfilter24true0fxxsfilter2fxsfilter2fcons2xxsapp'fxfilter24true0fxxsfilter2fxsfalsefilter24false0fxxsfilter2fxsfalsefilter2fcons2xxsapp'fxfalseapp'minus1x7x8minus2x7x8falseapp'plus1x13x14plus2x13x14falseapp'quot1x16x17quot2x16x17falsequot2s1xs1yquot2minus2xys1ytrue1641quot2211020plus2201020s111110000minus2211020minus2x00xminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yzquot2s1xs1yminus2xyfalseminus2minus2xyzminus2xplus2yzminus2s1xs1yminus2xytrue1641minus2211020plus2201021s111110000minus2211020minus2minus2xyzminus2xplus2yz1641minus2211020plus2201020s110100000minus2211021minus2minus2xyzplus2yzfalseapp'app1x19x20app2x19x20falseapp'sum0x26sum1x26falsesum1app2lcons2xcons2yksum1app2lsum1cons2xcons2yktrue1641sum11111sum11011cons2201121nil000app2211120plus2201020s110110000sum1cons2xcons2ylsum1cons2plus2xylsum1cons2xnil0cons2xnil0app2nil0kkapp2lnil0lapp2cons2xlkcons2xapp2lksum1app2lcons2xcons2yksum1cons2xcons2ykfalsesum1cons2xcons2ylsum1cons2plus2xyltrue1641sum11111cons2201121plus2211021s110100001sum1cons2xcons2ylplus2xyfalseplus2s1xyplus2xytrue1641plus2211020s11111sum1app2lcons2xcons2ykapp2lsum1cons2xcons2ykfalseapp2cons2xlkapp2lktrue1641app2211020cons2201121