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