TSTP Solution File: RNG085+2 by CiME---2.01