TSTP Solution File: LCL525+1 by Nitpick---2016