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