% SZS status Timeout for semi__ring__literal__nchoto
