TSTP Solution File: NUM752+4 by Nitpick---2016