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