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