TSTP Solution File: LCL656+1.010 by Mace4---1109a