TSTP Solution File: GEO211+2 by Refute---2015