TSTP Solution File: GRP626+1 by Nitpick---2016