TSTP Solution File: LCL710^1 by E-Darwin---1.5