TSTP Solution File: CSR024+1.010 by Gandalf---c-2.6