SZS status Theorem for i/f/hrat/TRAT__MUL__WELLDEFINED2
