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