TSTP Solution File: CSR115+71 by Nitpick---2016