TSTP Solution File: CSR115+55 by Refute---2015