TSTP Solution File: PRO012+1 by CiME---2.01