TSTP Solution File: GEO172+3 by Refute---2015