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