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