TSTP Solution File: NUM753^4 by CiME---2.01