TSTP Solution File: GRP182-1 by SInE---0.4