SZS status Theorem for i/f/real/neg__rat_c0
