minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxylownnilnillownaddmxif_lowlemnnaddmxif_lowtruenaddmxaddmlownxif_lowfalsenaddmxlownxhighnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxquicksortnilnilquicksortaddnxappquicksortlownxaddnquicksorthighnxminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysylesxsylexyappaddnxyappxylownaddmxlemnlownaddmxif_lowlemnnaddmxif_lowtruenaddmxlownxif_lowfalsenaddmxlownxhighnaddmxlemnhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxhighnxquicksortaddnxhighnxquicksortaddnxquicksorthighnxquicksortaddnxlownxquicksortaddnxquicksortlownxquicksortaddnxappquicksortlownxaddnquicksorthighnxtruequotsxsyquotminusxysytrue1quot211021s1412minus241021000minusx0xminussxsyminusxyquotsxsyminusxyfalseminussxsyminusxytrueminus22quicksortaddnxquicksorthighnxquicksortaddnxquicksortlownxtrue1quicksort1210if_high30182131high281121if_low30112130low211120add281121nil08false00true00le281020s1014004quicksortaddnxquicksorthighnxhighnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxlownnilnillownaddmxif_lowlemnnaddmxif_lowtruenaddmxaddmlownxif_lowfalsenaddmxlownx1quicksort1110if_high30102430high201420add201821nil08false00true00le201020s1010000highnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxquicksortaddnxappquicksortlownxaddnquicksorthighnxfalseappaddnxyappxytrueapp21quicksortaddnxlownxfalselownaddmxif_lowlemnnaddmxif_lowtruenaddmxlownxif_lowfalsenaddmxlownxtruelow22if_low33lownaddmxif_lowlemnnaddmxlownaddmxif_lowlemnnaddmxfalselownaddmxlemnfalsequicksortaddnxhighnxfalsehighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxhighnxtruehigh22if_high33highnaddmxif_highlemnnaddmxhighnaddmxif_highlemnnaddmxfalsehighnaddmxlemnfalselesxsylexytruele22