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