minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxylownnilnillownaddmxif_lowlemnnaddmxif_lowtruenaddmxaddmlownxif_lowfalsenaddmxlownxhighnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxquicksortnilnilquicksortaddnxappquicksortlownxaddnquicksorthighnxminussxsyminusxyquotsxsyquotminusxysyquotsxsyminusxylesxsylexyappaddnxyappxylownaddmxif_lowlemnnaddmxlownaddmxlemnif_lowtruenaddmxlownxif_lowfalsenaddmxlownxhighnaddmxif_highlemnnaddmxhighnaddmxlemnif_hightruenaddmxhighnxif_highfalsenaddmxhighnxquicksortaddnxappquicksortlownxaddnquicksorthighnxquicksortaddnxquicksortlownxquicksortaddnxlownxquicksortaddnxquicksorthighnxquicksortaddnxhighnxtruequotsxsyquotminusxysytrue124578911121quot211s1111minus211000minusx0xminussxsyminusxyquotsxsyminusxyfalse3610minussxsyminusxytrue3691minus212s1111quicksortaddnxquicksorthighnxquicksortaddnxquicksortlownxtrue371quicksort111add2112high212low212nil00if_high313le20true00if_low313false00000s10highnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxlownnilnillownaddmxif_lowlemnnaddmxif_lowfalsenaddmxlownxif_lowtruenaddmxaddmlownxif_highfalsenaddmxaddmhighnxquicksortaddnxlownxfalse37lownaddmxif_lowlemnnaddmxif_lowtruenaddmxlownxif_lowfalsenaddmxlownxtrue361low2112add2112if_low313le20true00false00000s10if_lowtruenaddmxlownxif_lowfalsenaddmxlownxif_lowtruenaddmxlownxfalseif_lowfalsenaddmxlownxfalselownaddmxlemnfalse4quicksortaddnxhighnxfalse4highnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxhighnxtrue31high2112add2112if_high313le20true00false00000s10if_hightruenaddmxhighnxif_highfalsenaddmxhighnxif_hightruenaddmxhighnxfalseif_highfalsenaddmxhighnxfalsehighnaddmxlemnfalse3lesxsylexytrue1le212s1111quicksortaddnxappquicksortlownxaddnquicksorthighnxfalseappaddnxyappxytrue1app211add2112