TSTP Solution File: SWW779_1 by Isabelle---2016