le0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxylownnilnillownaddmxif_lowlemnnaddmxif_lowtruenaddmxaddmlownxif_lowfalsenaddmxlownxhighnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxheadaddnxntailaddnxxisemptyniltrueisemptyaddnxfalsequicksortxif_qsisemptyxlowheadxtailxheadxhighheadxtailxif_qstruexnynilif_qsfalsexnyappquicksortxaddnquicksortylesxsylexyappaddnxyappxylownaddmxlemnlownaddmxif_lowlemnnaddmxif_lowtruenaddmxlownxif_lowfalsenaddmxlownxhighnaddmxlemnhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxhighnxquicksortxhighheadxtailxquicksortxtailxquicksortxheadxquicksortxlowheadxtailxquicksortxisemptyxquicksortxif_qsisemptyxlowheadxtailxheadxhighheadxtailxif_qsfalsexnyquicksortyif_qsfalsexnyquicksortxif_qsfalsexnyappquicksortxaddnquicksortytrueif_qsfalsexnyquicksortxquicksortxif_qsisemptyxlowheadxtailxheadxhighheadxtailxif_qsfalsexnyquicksortytrue1if_qs4-4102-73040quicksort1011isempty1110tail1-310head1417if_high3-71203-16high21020if_low3-81203low2102-8add201424nil04false05s121-9true00le22125000if_qsfalsexnyquicksortxif_qsfalsexnyquicksortyhighnnilnilhighnaddmxif_highlemnnaddmxtailaddnxxheadaddnxnif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxle0ytruelesx0falselesxsylexylownnilnillownaddmxif_lowlemnnaddmxif_lowtruenaddmxaddmlownxif_lowfalsenaddmxlownxisemptyniltrueisemptyaddnxfalseif_qsfalsexnyquicksortyfalseif_qsfalsexnyquicksortxfalseif_qsfalsexnyappquicksortxaddnquicksortyfalseappaddnxyappxytrueapp21quicksortxisemptyxfalsequicksortxlowheadxtailxfalselownaddmxif_lowlemnnaddmxif_lowtruenaddmxlownxif_lowfalsenaddmxlownxtruelow22if_low33lownaddmxif_lowlemnnaddmxlownaddmxif_lowlemnnaddmxfalselownaddmxlemnfalsequicksortxheadxfalsequicksortxtailxfalsequicksortxhighheadxtailxfalsehighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxhighnxtruehigh22if_high33highnaddmxif_highlemnnaddmxhighnaddmxif_highlemnnaddmxfalsehighnaddmxlemnfalselesxsylexytruele22