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