TSTP Solution File: NUM607+1 by Mace4---1109a