TSTP Solution File: NUM420-1.000 by Satallax-MaLeS---1.3