TSTP Solution File: NUM625+3 by Nitpick---2016