SZS status Theorem for i/f/numpair/ncons__not__nnil
