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