SZS status Theorem for i/f/poly/POLY__DIFF__AUX__NEG
