SZS status Theorem for i/f/hreal/HRAT__LT__REFL
