TSTP Solution File: GRA007+2 by Nitpick---2016