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