TSTP Solution File: ARI405_1 by SInE---0.4