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