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