SZS status Theorem for i/f/patricia/ADD__ADD__SYM
