TSTP Solution File: ARI125_1 by Mace4---1109a