SZS status Theorem for i/f/integer/int__of__num1_c0
