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