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