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