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