TSTP Solution File: NUM664^4 by E-Darwin---1.5