SZS status Theorem for i/f/numeral/iDUB__removal_c1
