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