SZS status Theorem for i/f/semi_ring/semi__ring__literal__11
