TSTP Solution File: GEO534+1 by Nitpick---2016