SZS status Theorem for i/f/toto/cpn2num__ONTO
