SZS status Theorem for i/f/sum/INR__INL__11_c1
