TSTP Solution File: NUM440+6 by Refute---2015