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'app'minusapp'sxapp'syapp'minusxapp'app'minusapp'sxapp'syapp'app'minusxyapp'app'minusapp'app'minusxyzapp'plusyapp'app'minusapp'app'minusxyzapp'app'plusyzapp'app'minusapp'app'minusxyzapp'app'minusxapp'app'plusyzapp'app'quotapp'sxapp'syapp'minusxapp'app'quotapp'sxapp'syapp'app'minusxyapp'app'quotapp'sxapp'syapp'quotapp'app'minusxyapp'app'quotapp'sxapp'syapp'app'quotapp'app'minusxyapp'syapp'app'quotapp'sxapp'syapp'sapp'app'quotapp'app'minusxyapp'syapp'app'plusapp'sxyapp'plusxapp'app'plusapp'sxyapp'app'plusxyapp'app'plusapp'sxyapp'sapp'app'plusxyapp'app'appapp'app'consxlkapp'applapp'app'appapp'app'consxlkapp'app'applkapp'app'appapp'app'consxlkapp'app'consxapp'app'applkapp'sumapp'app'consxapp'app'consylapp'plusxapp'sumapp'app'consxapp'app'consylapp'app'plusxyapp'sumapp'app'consxapp'app'consylapp'consapp'app'plusxyapp'sumapp'app'consxapp'app'consylapp'app'consapp'app'plusxylapp'sumapp'app'consxapp'app'consylapp'sumapp'app'consapp'app'plusxylapp'sumapp'app'applapp'app'consxapp'app'consykapp'sumapp'app'consxapp'app'consykapp'sumapp'app'applapp'app'consxapp'app'consykapp'app'applapp'sumapp'app'consxapp'app'consykapp'sumapp'app'applapp'app'consxapp'app'consykapp'sumapp'app'applapp'sumapp'app'consxapp'app'consykapp'app'mapfapp'app'consxxsapp'app'mapfxsapp'app'mapfapp'app'consxxsapp'fxapp'app'mapfapp'app'consxxsapp'consapp'fxapp'app'mapfapp'app'consxxsapp'app'consapp'fxapp'app'mapfxsapp'app'filterfapp'app'consxxsapp'fxapp'app'filterfapp'app'consxxsapp'filter2app'fxapp'app'filterfapp'app'consxxsapp'app'filter2app'fxfapp'app'filterfapp'app'consxxsapp'app'app'filter2app'fxfxapp'app'filterfapp'app'consxxsapp'app'app'app'filter2app'fxfxxsapp'app'app'app'filter2truefxxsapp'filterfapp'app'app'app'filter2truefxxsapp'app'filterfxsapp'app'app'app'filter2truefxxsapp'consxapp'app'app'app'filter2truefxxsapp'app'consxapp'app'filterfxsapp'app'app'app'filter2falsefxxsapp'filterfapp'app'app'app'filter2falsefxxsapp'app'filterfxstrueapp'app'filterfapp'app'consxxsapp'app'app'app'filter2app'fxfxxsapp'app'app'app'filter2falsefxxsapp'app'filterfxsapp'app'filterfapp'app'consxxsapp'fxapp'app'app'app'filter2truefxxsapp'app'filterfxsapp'app'mapfapp'app'consxxsapp'fxapp'app'mapfapp'app'consxxsapp'app'mapfxstrue211641app'200001100020000false00000true01000filter200000filter00000map00000sum00100cons00000nil01000app00000quot00100plus00000s00100001000app'200101110021100minus00000app'app'app'app'filter2falsefxxsapp'app'filterfxsapp'app'app'app'filter2truefxxsapp'app'filterfxsapp'app'app'app'filter2falsefxxsapp'app'filterfxsfalseapp'app'app'app'filter2truefxxsapp'app'filterfxsfalseapp'app'quotapp'sxapp'syapp'app'quotapp'app'minusxyapp'sytrueapp'app'2app'0false0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2map0map0map1map2sum0sum0sum1cons0cons0cons1cons2nil0nil0app0app0app1app2quot0quot0quot1quot2plus0plus0plus1plus2s0s0s10000minus0minus0minus1minus2app'minus1x396x397minus2x396x397app'minus0x396minus1x396app's0x400s1x400app'plus1x402x403plus2x402x403app'plus0x402plus1x402app'quot1x405x406quot2x405x406app'quot0x405quot1x405app'app1x408x409app2x408x409app'app0x408app1x408app'cons1x412x413cons2x412x413app'cons0x412cons1x412app'sum0x415sum1x415app'map1x417x418map2x417x418app'map0x417map1x417app'filter1x420x421filter2x420x421app'filter0x420filter1x420app'filter23x423x424x425x426filter24x423x424x425x426app'filter22x423x424x425filter23x423x424x425app'filter21x423x424filter22x423x424app'filter20x423filter21x423app'0quot1s1xs1yapp'0quot1minus2xys1yminus2x00xminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yzquot200s1y00quot2s1xs1ys1quot2minus2xys1yplus200yyplus2s1xys1plus2xyapp2nil0kkapp2lnil0lapp2cons2xlkcons2xapp2lksum1cons2xnil0cons2xnil0sum1cons2xcons2ylsum1cons2plus2xylsum1app2lcons2xcons2yksum1app2lsum1cons2xcons2ykmap2fnil0nil0map2fcons2xxscons2app'fxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24app'fxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsapp'minus1x396x397minus2x396x397app'minus0x396minus1x396app's0x400s1x400app'plus1x402x403plus2x402x403app'plus0x402plus1x402app'quot1x405x406quot2x405x406app'quot0x405quot1x405app'app1x408x409app2x408x409app'app0x408app1x408app'cons1x412x413cons2x412x413app'cons0x412cons1x412app'sum0x415sum1x415app'map1x417x418map2x417x418app'map0x417map1x417app'filter1x420x421filter2x420x421app'filter0x420filter1x420app'filter23x423x424x425x426filter24x423x424x425x426app'filter22x423x424x425filter23x423x424x425app'filter21x423x424filter22x423x424app'filter20x423filter21x423211641app'0210001001020000quot11011011100plus2200011000020100s111001101000000100minus2210011000021000minus2x00xminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yzapp'app'quotapp'sxapp'syapp'minusxfalseapp'app'quotapp'sxapp'syapp'app'minusxyfalseapp'app'minusapp'app'minusxyzapp'app'minusxapp'app'plusyzapp'app'minusapp'sxapp'syapp'app'minusxytrue211641app'210001001020000plus00100s01100000000app'211101100121100minus00000app'app'minusapp'app'minusxyzapp'app'minusxapp'app'plusyzapp'app'plus0yyapp'app'plusapp'sxyapp'sapp'app'plusxy211641app'210001001020000plus01000s01000000000app'211101100121000minus00100app'app'plus0yyapp'app'plusapp'sxyapp'sapp'app'plusxyapp'app'minusapp'sxapp'syapp'minusxfalseapp'app'minusapp'app'minusxyzapp'plusyfalseapp'app'minusapp'app'minusxyzapp'app'plusyzfalseapp'app'quotapp'sxapp'syapp'quotapp'app'minusxyfalseapp'app'quotapp'sxapp'syapp'sapp'app'quotapp'app'minusxyapp'syfalseapp'app'mapfapp'app'consxxsapp'consapp'fxfalseapp'app'mapfapp'app'consxxsapp'app'consapp'fxapp'app'mapfxsfalseapp'app'app'app'filter2truefxxsapp'filterffalseapp'app'app'app'filter2truefxxsapp'consxfalseapp'app'app'app'filter2truefxxsapp'app'consxapp'app'filterfxsfalseapp'app'app'app'filter2falsefxxsapp'filterffalseapp'app'filterfapp'app'consxxsapp'app'app'filter2app'fxfxfalseapp'app'filterfapp'app'consxxsapp'app'filter2app'fxffalseapp'app'filterfapp'app'consxxsapp'filter2app'fxfalseapp'sumapp'app'applapp'app'consxapp'app'consykapp'sumapp'app'applapp'sumapp'app'consxapp'app'consyktrueapp'app'2app'0false0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2map0map0map1map2sum0sum0sum1cons0cons0cons1cons2nil0nil0app0app0app1app2quot0quot0quot1quot2plus0plus0plus1plus2s0s0s10000minus0minus0minus1minus2app'minus1x560x561minus2x560x561app'minus0x560minus1x560app's0x564s1x564app'plus1x566x567plus2x566x567app'plus0x566plus1x566app'quot1x569x570quot2x569x570app'quot0x569quot1x569app'app1x572x573app2x572x573app'app0x572app1x572app'cons1x576x577cons2x576x577app'cons0x576cons1x576app'sum0x579sum1x579app'map1x581x582map2x581x582app'map0x581map1x581app'filter1x584x585filter2x584x585app'filter0x584filter1x584app'filter23x587x588x589x590filter24x587x588x589x590app'filter22x587x588x589filter23x587x588x589app'filter21x587x588filter22x587x588app'filter20x587filter21x587app'0sum0app2lcons2xcons2ykapp'0sum0app2lsum1cons2xcons2ykminus2x00xminus2s1xs1yminus2xyminus2minus2xyzminus2xplus2yzquot200s1y00quot2s1xs1ys1quot2minus2xys1yplus200yyplus2s1xys1plus2xyapp2nil0kkapp2lnil0lapp2cons2xlkcons2xapp2lksum1cons2xnil0cons2xnil0sum1cons2xcons2ylsum1cons2plus2xylsum1app2lcons2xcons2yksum1app2lsum1cons2xcons2ykmap2fnil0nil0map2fcons2xxscons2app'fxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24app'fxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsapp'minus1x560x561minus2x560x561app'minus0x560minus1x560app's0x564s1x564app'plus1x566x567plus2x566x567app'plus0x566plus1x566app'quot1x569x570quot2x569x570app'quot0x569quot1x569app'app1x572x573app2x572x573app'app0x572app1x572app'cons1x576x577cons2x576x577app'cons0x576cons1x576app'sum0x579sum1x579app'map1x581x582map2x581x582app'map0x581map1x581app'filter1x584x585filter2x584x585app'filter0x584filter1x584app'filter23x587x588x589x590filter24x587x588x589x590app'filter22x587x588x589filter23x587x588x589app'filter21x587x588filter22x587x588app'filter20x587filter21x587211641app'0210101100021000sum11001010100sum001100cons2200001100121100nil000000app2211111101121000plus2211111000020000s110000111000001100sum1cons2xcons2ylsum1cons2plus2xylsum1cons2xnil0cons2xnil0app2nil0kkapp2lnil0lapp2cons2xlkcons2xapp2lkapp'sumapp'app'applapp'app'consxapp'app'consykapp'app'applapp'sumapp'app'consxapp'app'consykfalseapp'app'appapp'app'consxlkapp'app'applktrue211641app'210101000020000cons01000app00100app'201111100021100app'app'appapp'app'consxlkapp'applfalseapp'app'appapp'app'consxlkapp'app'consxapp'app'applkfalseapp'sumapp'app'applapp'app'consxapp'app'consykapp'sumapp'app'consxapp'app'consykfalseapp'sumapp'app'consxapp'app'consylapp'sumapp'app'consapp'app'plusxyltrue211641app'200001001021000sum00000cons00100plus00000s00000001100app'200011100120000app'app'plus0yyapp'app'plusapp'sxyapp'sapp'app'plusxyapp'sumapp'app'consxapp'app'consylapp'plusxfalseapp'sumapp'app'consxapp'app'consylapp'app'plusxyfalseapp'app'plusapp'sxyapp'app'plusxytrue211641app'210001000021000plus00000s00100app'200011101020000app'app'plusapp'sxyapp'plusxfalseapp'app'plusapp'sxyapp'sapp'app'plusxyfalseapp'sumapp'app'consxapp'app'consylapp'consapp'app'plusxyfalseapp'sumapp'app'consxapp'app'consylapp'app'consapp'app'plusxylfalse