SZS status Theorem for i/f/arithmetic/EQ__LESS__EQ
