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