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