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