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