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