TSTP Solution File: NUM730^1 by Refute---2015