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