TSTP Solution File: GRP625+3 by Refute---2015