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