SZS status Theorem for i/f/poly/POLY__EXP__PRIME__EQ__0
