le0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxylownnilnillownaddmxif_lowlemnnaddmxif_lowtruenaddmxaddmlownxif_lowfalsenaddmxlownxhighnnilnilhighnaddmxif_highlemnnaddmxif_hightruenaddmxhighnxif_highfalsenaddmxaddmhighnxheadaddnxntailaddnxxisemptyniltrueisemptyaddnxfalsequicksortxif_qsisemptyxlowheadxtailxheadxhighheadxtailxif_qstruexnynilif_qsfalsexnyappquicksortxaddnquicksortyle200true0s1false0app2nil0add2low2if_low3high2if_high3head1tail1isempty1quicksort1if_qs4INNERMOST./TRS/Thiemann/quicksort.trs