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