SZS status Theorem for i/f/bit/DIVMOD__2EXP0
