TSTP Solution File: RNG003-1 by CiME---2.01