SZS status Theorem for i/f/extreal/div__one
