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