TSTP Solution File: GEO124-1 by Refute---2015