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