TSTP Solution File: CSR114+2 by CiME---2.01