SZS status Theorem for i/f/intExtension/INT__NOT0__SGNNOT0
