TSTP Solution File: GRP624+4 by Refute---2015