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