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