TSTP Solution File: LCL644+1.001 by SETHEO---3.3