TSTP Solution File: SEU584^2 by SRASS---0.1