SZS status Theorem for i/f/prelim/ordering__case__def_c2
