SZS status Theorem for i/f/ASCIInumbers/STRCAT__toString__inj
