TSTP Solution File: NUM577+3 by Mace4---1109a