TSTP Solution File: LCL482+1 by Refute---2015