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