TSTP Solution File: ARI557_1 by CiME---2.01