TSTP Solution File: KRS208+1 by CiME---2.01