TSTP Solution File: HWV050_8 by Isabelle---2016