SZS status Theorem for i/f/integer/NUM__NEGINT__EXISTS
