SZS status Theorem for i/f/ringNorm/ics__aux__def_c0
