TSTP Solution File: LCL501+1 by DCTP---1.31