SZS status Theorem for i/f/hrat/TRAT__MUL__SYM
