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