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