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