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