TSTP Solution File: GEO209+3 by Refute---2015