TSTP Solution File: ARI583_1 by SRASS---0.1