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