SZS status Theorem for i/f/extreal/DIV__IN__Q
