TSTP Solution File: SYO452^4 by CiME---2.01