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