TSTP Solution File: SWV771_5 by Isabelle---2016