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