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