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