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