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'filter23x34x35x36x37filter24x34x35x36x37truefilter24false0fxxsfilter2fxsfilter2fcons2xxsapp'fxapp'map1x28x29map2x28x29map2fcons2xxsmap2fxsmap2fcons2xxsapp'fxapp'filter1x31x32filter2x31x32filter2fcons2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxsapp'filter23x34x35x36x37filter24x34x35x36x37truemap222app'22filter222filter2444filter24false0fxxsfilter2fxsapp'map1x28x29map2x28x29app'filter1x31x32filter2x31x32filter24true0fxxsfilter2fxsapp'filter23x34x35x36x37filter24x34x35x36x37app'map1x28x29map2x28x29falseapp'filter1x31x32filter2x31x32falseapp'filter23x34x35x36x37filter24x34x35x36x37falsefilter24true0fxxsfilter2fxsfalsefilter24false0fxxsfilter2fxsfalseapp'sum0x26sum1x26falsesum1cons2xcons2ylsum1cons2plus2xylsum1app2lcons2xcons2yksum1cons2xcons2yksum1app2lcons2xcons2yksum1app2lsum1cons2xcons2yktruesum1app2lcons2xcons2yksum1app2lsum1cons2xcons2yktrue1641sum11414sum11011cons2201121nil000app2211320plus2241020s114140005sum1cons2xcons2ylsum1cons2plus2xylsum1cons2xnil0cons2xnil0app2nil0kkapp2lnil0lapp2cons2xlkcons2xapp2lksum1app2lcons2xcons2yksum1cons2xcons2ykfalsesum1cons2xcons2ylsum1cons2plus2xyltrue1sum11-510cons221324plus220120s111140004sum1app2lcons2xcons2ykapp2lsum1cons2xcons2ykfalsesum1cons2xcons2ylplus2xyfalseapp'app1x19x20app2x19x20falseapp2cons2xlkapp2lktrueapp221app'quot1x16x17quot2x16x17falsequot2s1xs1yquot2minus2xys1ytrue1quot22012plus2231326s111100002minus22012minus2x00xminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yzquot2s1xs1yminus2xyfalseapp'plus1x13x14plus2x13x14falseapp'minus1x7x8minus2x7x8falseminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yztrueminus221minus2minus2xyzplus2yzfalseplus2s1xyplus2xytrueplus221