TSTP Solution File: LCL642+1.010 by DCTP---1.31