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