SZS status Theorem for i/f/ringNorm/ivl__aux__def_c0
