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