SZS status Theorem for i/f/numpair/invtri__le
