SZS status Theorem for i/f/string/STRCAT__EQNS_c1
