TSTP Solution File: NUM695+4 by Nitpick---2016