SZS status Theorem for i/f/patricia/QSORT__MEM__EQ
