TSTP Solution File: ARI625_2 by SRASS---0.1