TSTP Solution File: GEO202+2 by Refute---2015