TSTP Solution File: HWV125+1 by Refute---2015