TSTP Solution File: NUM256-2 by CiME---2.01