TSTP Solution File: ARI411_1 by SRASS---0.1