TSTP Solution File: ARI625_1 by SInE---0.4