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