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