SZS status Theorem for i/f/words/LOG2__w2n__lt
