TSTP Solution File: GRP618+4 by Nitpick---2016