SZS status Theorem for i/f/words/SHIFT__1__SUB__1
