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