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