le0YtruelesX0falselesXsYleXYappnilYYappconsNLYconsNappLYlowNnilnillowNconsMLiflowleMNNconsMLiflowtrueNconsMLconsMlowNLiflowfalseNconsMLlowNLhighNnilnilhighNconsMLifhighleMNNconsMLifhightrueNconsMLhighNLifhighfalseNconsMLconsMhighNLquicksortnilnilquicksortconsNLappquicksortlowNLconsNquicksorthighNLle200true0s1false0app2nil0cons2low2iflow3high2ifhigh3quicksort1INNERMOST./TRS/Rubio/quick.trs