TSTP Solution File: LCL414^7 by Mace4---1109a