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