SZS status Theorem for i/f/arithmetic/EXP__1_c1
