SZS status Theorem for i/f/option/IS__NONE__EQ__NONE
