TSTP Solution File: SEU514^2 by E-Darwin---1.5