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