SZS status Theorem for i/f/words/l2w__w2l
