TSTP Solution File: TOP034+4 by SInE---0.4