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