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