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