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