TSTP Solution File: ITP015_3 by Isabelle---2016