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