SZS status Theorem for i/f/num/INV__SUC
