TSTP Solution File: NUM615+3 by CiME---2.01