TSTP Solution File: CSR065+4 by Gandalf---c-2.6