SZS status Theorem for i/f/prelim/ordering__EQ__ordering
