TSTP Solution File: GEO256+3 by Mace4---1109a