SZS status Theorem for i/f/prelim/ordering__distinct_c1
