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