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