TSTP Solution File: GEO117+1 by Refute---2015