TSTP Solution File: TOP025+3 by Refute---2015