SZS status Theorem for i/f/realax/real__ABS__REP__CLASS_c1
