TSTP Solution File: CSR255+1 by Nitpick---2016