SZS status Theorem for i/f/integer/LE__NUM__OF__INT
