TSTP Solution File: LCL252-1 by SRASS---0.1