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