TSTP Solution File: ITP022_3 by Isabelle---2016