TSTP Solution File: NUM926+6 by Nitpick---2016