TSTP Solution File: ALG233+4 by CiME---2.01