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