SZS status Theorem for i/f/hrat/hrat__ABS__REP__CLASS_c0
