TSTP Solution File: NUM608+1 by Nitpick---2016