le0xtruelesx0falselesxsylexyappnilxxappconsxxsysconsxappxsyssplitxnilpairnilnilqsortnilnilsplitxconsyyspairxsconsyzssplitxyspairsxszslexytruesplitxconsyyspairconsyxszssplitxyspairsxszslexyfalseqsortconsxxsappqsortysconsxqsortzssplitxxspairyszsle200true0s1false0app2nil0cons2split2pair2qsort1pairs2ORIENTEDFULL./TRS/Ohl02/quicksort.trs