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