TSTP Solution File: GEO170+3 by Refute---2015