SZS status Theorem for i/f/HolSmt/AND__IMP__INTRO__SYM
