TSTP Solution File: CSR116+42 by cocATP---0.2.0