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