TSTP Solution File: LCL655+1.001 by CiME---2.01