TSTP Solution File: ARI008_1 by SRASS---0.1