SZS status Theorem for i/f/ring/ring__literal__11
