TSTP Solution File: LCL410-1 by SInE---0.4