TSTP Solution File: NUM637^4 by Nitpick---2016