TSTP Solution File: ARI130_1 by Satallax-MaLeS---1.3