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