SZS status Theorem for i/f/ASCIInumbers/n2s__compute
