TSTP Solution File: HWV110_2 by Isabelle---2016