TSTP Solution File: GRP626+1 by Refute---2015