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