TSTP Solution File: CSR116+37 by Refute---2015