TSTP Solution File: CSR064+4 by Refute---2015