TSTP Solution File: HWV121_2 by Isabelle---2016