TSTP Solution File: GRP128-2.006 by CiME---2.01