TSTP Solution File: LCL532+1 by SETHEO---3.3