SZS status Theorem for i/f/words/word__bit__0__word__T
