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