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