TSTP Solution File: SYO382^5 by CiME---2.01