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