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