TSTP Solution File: SWV775_5 by Isabelle---2016