SZS status Theorem for i/f/prelim/ordering__eq__dec_c6
