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