SZS status Theorem for i/f/numRing/num__rewrites_c58
