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