SZS status Theorem for i/f/ASCIInumbers/toString__inj
