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