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