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