TSTP Solution File: HWV098_2 by Isabelle-HOT---2016