app'app'minusx0xapp'app'minusapp'sxapp'syapp'app'minusxyapp'app'quot0app'sy0app'app'quotapp'sxapp'syapp'sapp'app'quotapp'app'minusxyapp'syapp'app'le0ytrueapp'app'leapp'sx0falseapp'app'leapp'sxapp'syapp'app'lexyapp'app'appnilyyapp'app'appapp'app'addnxyapp'app'addnapp'app'appxyapp'app'lownnilnilapp'app'lownapp'app'addmxapp'app'app'if_lowapp'app'lemnnapp'app'addmxapp'app'app'if_lowtruenapp'app'addmxapp'app'addmapp'app'lownxapp'app'app'if_lowfalsenapp'app'addmxapp'app'lownxapp'app'highnnilnilapp'app'highnapp'app'addmxapp'app'app'if_highapp'app'lemnnapp'app'addmxapp'app'app'if_hightruenapp'app'addmxapp'app'highnxapp'app'app'if_highfalsenapp'app'addmxapp'app'addmapp'app'highnxapp'quicksortnilnilapp'quicksortapp'app'addnxapp'app'appapp'quicksortapp'app'lownxapp'app'addnapp'quicksortapp'app'highnxapp'app'mapfnilnilapp'app'mapfapp'app'addxxsapp'app'addapp'fxapp'app'mapfxsapp'app'filterfnilnilapp'app'filterfapp'app'addxxsapp'app'app'app'filter2app'fxfxxsapp'app'app'app'filter2truefxxsapp'app'addxapp'app'filterfxsapp'app'app'app'filter2falsefxxsapp'app'filterfxs2.0app'filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2map0map0map1map2quicksort0quicksort0quicksort1if_high0if_high0if_high1if_high2if_high3high0high0high1high2if_low0if_low0if_low1if_low2if_low3low0low0low1low2add0add0add1add2nil0nil0app0app0app1app2false0false0true0true0le0le0le1le2quot0quot0quot1quot2s0s0s10000minus0minus0minus1minus2app'minus1x6x7minus2x6x7app'minus0x6minus1x6app's0x10s1x10app'quot1x12x13quot2x12x13app'quot0x12quot1x12app'le1x15x16le2x15x16app'le0x15le1x15app'app1x20x21app2x20x21app'app0x20app1x20app'add1x24x25add2x24x25app'add0x24add1x24app'low1x27x28low2x27x28app'low0x27low1x27app'if_low2x30x31x32if_low3x30x31x32app'if_low1x30x31if_low2x30x31app'if_low0x30if_low1x30app'high1x34x35high2x34x35app'high0x34high1x34app'if_high2x37x38x39if_high3x37x38x39app'if_high1x37x38if_high2x37x38app'if_high0x37if_high1x37app'quicksort0x41quicksort1x41app'map1x43x44map2x43x44app'map0x43map1x43app'filter1x46x47filter2x46x47app'filter0x46filter1x46app'filter23x49x50x51x52filter24x49x50x51x52app'filter22x49x50x51filter23x49x50x51app'filter21x49x50filter22x49x50app'filter20x49filter21x49minus2x00xminus2s1xs1yminus2xyquot200s1y00quot2s1xs1ys1quot2minus2xys1yle200ytrue0le2s1x00false0le2s1xs1yle2xyapp2nil0yyapp2add2nxyadd2napp2xylow2nnil0nil0low2nadd2mxif_low3le2mnnadd2mxif_low3true0nadd2mxadd2mlow2nxif_low3false0nadd2mxlow2nxhigh2nnil0nil0high2nadd2mxif_high3le2mnnadd2mxif_high3true0nadd2mxhigh2nxif_high3false0nadd2mxadd2mhigh2nxquicksort1nil0nil0quicksort1add2nxapp2quicksort1low2nxadd2nquicksort1high2nxmap2fnil0nil0map2fadd2xxsadd2app'fxmap2fxsfilter2fnil0nil0filter2fadd2xxsfilter24app'fxfxxsfilter24true0fxxsadd2xfilter2fxsfilter24false0fxxsfilter2fxsapp'minus1x6x7minus2x6x7app'minus0x6minus1x6app's0x10s1x10app'quot1x12x13quot2x12x13app'quot0x12quot1x12app'le1x15x16le2x15x16app'le0x15le1x15app'app1x20x21app2x20x21app'app0x20app1x20app'add1x24x25add2x24x25app'add0x24add1x24app'low1x27x28low2x27x28app'low0x27low1x27app'if_low2x30x31x32if_low3x30x31x32app'if_low1x30x31if_low2x30x31app'if_low0x30if_low1x30app'high1x34x35high2x34x35app'high0x34high1x34app'if_high2x37x38x39if_high3x37x38x39app'if_high1x37x38if_high2x37x38app'if_high0x37if_high1x37app'quicksort0x41quicksort1x41app'map1x43x44map2x43x44app'map0x43map1x43app'filter1x46x47filter2x46x47app'filter0x46filter1x46app'filter23x49x50x51x52filter24x49x50x51x52app'filter22x49x50x51filter23x49x50x51app'filter21x49x50filter22x49x50app'filter20x49filter21x49minus2s1xs1yminus2xyquot2s1xs1yminus2xyquot2s1xs1yquot2minus2xys1yle2s1xs1yle2xyapp2add2nxyapp2xylow2nadd2mxle2mnlow2nadd2mxif_low3le2mnnadd2mxif_low3true0nadd2mxlow2nxif_low3false0nadd2mxlow2nxhigh2nadd2mxle2mnhigh2nadd2mxif_high3le2mnnadd2mxif_high3true0nadd2mxhigh2nxif_high3false0nadd2mxhigh2nxquicksort1add2nxhigh2nxquicksort1add2nxquicksort1high2nxquicksort1add2nxlow2nxquicksort1add2nxquicksort1low2nxquicksort1add2nxapp2quicksort1low2nxadd2nquicksort1high2nxmap2fadd2xxsmap2fxsmap2fadd2xxsapp'fxfilter2fadd2xxsapp'fxfilter2fadd2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxsfilter24false0fxxsfilter2fxsapp'minus1x6x7minus2x6x7app'quot1x12x13quot2x12x13app'le1x15x16le2x15x16app'app1x20x21app2x20x21app'low1x27x28low2x27x28app'if_low2x30x31x32if_low3x30x31x32app'high1x34x35high2x34x35app'if_high2x37x38x39if_high3x37x38x39app'quicksort0x41quicksort1x41app'map1x43x44map2x43x44app'filter1x46x47filter2x46x47app'filter23x49x50x51x52filter24x49x50x51x52truefilter24false0fxxsfilter2fxsfilter2fadd2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxsfilter2fadd2xxsapp'fxapp'filter23x49x50x51x52filter24x49x50x51x52app'filter1x46x47filter2x46x47app'map1x43x44map2x43x44map2fadd2xxsapp'fxmap2fadd2xxsmap2fxstrue211641filter244000010010200003000041000filter2200101000021000app'200101000020000map2200101000021000filter244000010000210003000040000filter2330000100112000030100filter22200001000020000filter211000010000filter2000000filter2200001010120000filter11001111100filter001100map2200001100120000map11000111100map000000quicksort11010110000quicksort001100if_high331000100002101130000if_high2200001000020100if_high11000010000if_high000000high2211001000021000high11000010000high000000if_low330001110002101030000if_low2200001000021100if_low11000010000if_low000000low2200001110020000low11000010000low000000add2200001010121100add11000010000add000000nil000000app2200001100020000app11000010000app000000false001000true000000le2200011001021100le11000010000le000100quot2210011001120000quot11000010000quot001100s11110010100s0011000000100minus2200001000121100minus11000011100minus000000app'201011000020000filter24false0fxxsfilter2fxsfilter2fadd2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxsapp'filter23x49x50x51x52filter24x49x50x51x52app'filter1x46x47filter2x46x47app'map1x43x44map2x43x44map2fadd2xxsmap2fxsapp'map1x43x44map2x43x44falsemap2fadd2xxsmap2fxstrue211641map2200001001020000add2200001000120100app'filter1x46x47filter2x46x47falseapp'filter23x49x50x51x52filter24x49x50x51x52falsefilter24false0fxxsfilter2fxsfilter2fadd2xxsfilter24app'fxfxxsfilter24true0fxxsfilter2fxstrue211641filter244000010010200003001041000filter2200101001020000filter244001010000210003000041000filter2330000110002001030000filter22200001000020000filter211100011000filter2000000filter2200001010020100filter11000010000filter000000map2210111110120100map11000011000map000000quicksort11010111100quicksort001000if_high331000100112000031000if_high2200001000020000if_high11100010000if_high001000high2200001000021000high11001010000high000000if_low330100100002100031000if_low2200001000020000if_low11000011000if_low000000low2201001010020000low11000011000low000000add2200001101121100add11000010000add000000nil000100app2200011001020100app11000010000app000000false000100true000100le2210011001021000le11000011000le000000quot2210101100021000quot11000010000quot000000s11010011000s0010000001100minus2201001110021100minus11100011000minus001000app'210001010021000filter2fadd2xxsfilter24app'fxfxxsfilter2fadd2xxsfilter24app'fxfxxsfalseapp'minus1x6x7minus2x6x7falseapp'quot1x12x13quot2x12x13falsequot2s1xs1yquot2minus2xys1ytrue211641quot2210001000020000s111011110000000000minus2210111000020000minus2x00xminus2s1xs1yminus2xyquot2s1xs1yminus2xyfalseminus2s1xs1yminus2xytrue211641minus2200001101020000s11111110100app'le1x15x16le2x15x16falseapp'app1x20x21app2x20x21falseapp'low1x27x28low2x27x28falseapp'if_low2x30x31x32if_low3x30x31x32falseapp'high1x34x35high2x34x35falseapp'if_high2x37x38x39if_high3x37x38x39falseapp'quicksort0x41quicksort1x41falsequicksort1add2nxquicksort1low2nxquicksort1add2nxquicksort1high2nxtrue211641quicksort11001010000if_high330000100002000130100high2200001000120100if_low330000110102000130000low2210101000120000add2200001000120100nil000000false000000true000000le2201101000020000s110001100000001100quicksort1add2nxquicksort1high2nxlow2nnil0nil0low2nadd2mxif_low3le2mnnadd2mxif_low3true0nadd2mxadd2mlow2nxif_low3false0nadd2mxlow2nxhigh2nnil0nil0high2nadd2mxif_high3le2mnnadd2mxif_high3true0nadd2mxhigh2nxif_high3false0nadd2mxadd2mhigh2nx211641quicksort11100010000if_high330010100112011030000high2200111110020000add2200111110021000nil000000false000100true001000le2210101001021100s111111111000000000high2nnil0nil0high2nadd2mxif_high3le2mnnadd2mxif_high3true0nadd2mxhigh2nxif_high3false0nadd2mxadd2mhigh2nxle200ytrue0le2s1x00false0le2s1xs1yle2xyquicksort1add2nxhigh2nxfalsehigh2nadd2mxif_high3le2mnnadd2mxif_high3false0nadd2mxhigh2nxif_high3true0nadd2mxhigh2nxtrue211641if_high331010100102100031000high2200101101021000add2200111101020100false000000true001100le2200011000021000s110101101000000100high2nadd2mxif_high3le2mnnadd2mxif_high3false0nadd2mxhigh2nxle200ytrue0le2s1x00false0le2s1xs1yle2xy211641if_high330000100002001031000high2200001100020000add2200111111021000false000000true000000le2200001000021000s110000100000000000high2nadd2mxif_high3le2mnnadd2mxhigh2nadd2mxif_high3le2mnnadd2mxfalsehigh2nadd2mxle2mnfalsequicksort1add2nxlow2nxfalselow2nadd2mxif_low3le2mnnadd2mxif_low3false0nadd2mxlow2nxif_low3true0nadd2mxlow2nxtrue211641if_low331010100102100031000low2200101101021000add2200111101020100false000000true001100le2200011000021000s110101101000000100low2nadd2mxif_low3le2mnnadd2mxif_low3false0nadd2mxlow2nxle200ytrue0le2s1x00false0le2s1xs1yle2xy211641if_low330000100002001031000low2200001100020000add2200111111021000false000000true000000le2200001000021000s110000100000000000low2nadd2mxif_low3le2mnnadd2mxlow2nadd2mxif_low3le2mnnadd2mxfalselow2nadd2mxle2mnfalsele2s1xs1yle2xytrue211641le2200001101020000s11111110100quicksort1add2nxapp2quicksort1low2nxadd2nquicksort1high2nxfalseapp2add2nxyapp2xytrue211641app2200101000020000add2200001000120100