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