TSTP Solution File: LCL482+1 by Mace4---1109a