TSTP Solution File: CSR116+16 by Nitpick---2016