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