SZS status Theorem for i/f/prelim/ordering2num__ONTO
