SZS status Theorem for i/f/intExtension/INT__ABS__NOT0POS
