SZS status Theorem for i/f/logroot/LOG__EQ__0
