TSTP Solution File: HWV116_2 by Isabelle---2016