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