SZS status Theorem for i/f/semi_ring/semi__ring__accessors_c0
