TSTP Solution File: NUM683+4 by CiME---2.01