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