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