TSTP Solution File: ITP259_3 by Isabelle---2016